TY - GEN
T1 - Semi-algebraic constant reset hybrid automata - SACoRe
AU - Casagrande, Alberto
AU - Piazza, Carla
AU - Mishra, Bud
PY - 2005
Y1 - 2005
N2 - In this paper we introduce and study a special class of hybrid automata, Semi-Algebraic Constant Reset hybrid automata (SACoRe). SACoRe automata are an extension of O-minimal semi-algebraic automata over the reals in the case of flows obtained from non-autonomous systems of differential inclusions. Even though SACoRe automata do not have the finite bisimulation property, they do admit decision procedures for reachability and model checking for a limited fragment of CTL, by combining Tarski's decidability result over the reals and Michael's selection theorem.
AB - In this paper we introduce and study a special class of hybrid automata, Semi-Algebraic Constant Reset hybrid automata (SACoRe). SACoRe automata are an extension of O-minimal semi-algebraic automata over the reals in the case of flows obtained from non-autonomous systems of differential inclusions. Even though SACoRe automata do not have the finite bisimulation property, they do admit decision procedures for reachability and model checking for a limited fragment of CTL, by combining Tarski's decidability result over the reals and Michael's selection theorem.
UR - http://www.scopus.com/inward/record.url?scp=33847214958&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33847214958&partnerID=8YFLogxK
U2 - 10.1109/CDC.2005.1582234
DO - 10.1109/CDC.2005.1582234
M3 - Conference contribution
AN - SCOPUS:33847214958
SN - 0780395689
SN - 9780780395688
T3 - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
SP - 678
EP - 683
BT - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
T2 - 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Y2 - 12 December 2005 through 15 December 2005
ER -