TY - GEN

T1 - STORMED hybrid systems

AU - Vladimerou, Vladimeros

AU - Prabhakar, Pavithra

AU - Viswanathan, Mahesh

AU - Dullerud, Geir

PY - 2008/8/14

Y1 - 2008/8/14

N2 - We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps. STORMED hybrid systems require flows which are monotonic with respect to some vector in the continuous space and can be characterised as bounded-horizon systems in terms of their discrete transitions. We demonstrate that such systems admit a finite bisimulation, which can be effectively constructed provided the o-minimal theory used to describe the system is decidable. As a consequence, many verification problems for such systems have effective decision algorithms.

AB - We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps. STORMED hybrid systems require flows which are monotonic with respect to some vector in the continuous space and can be characterised as bounded-horizon systems in terms of their discrete transitions. We demonstrate that such systems admit a finite bisimulation, which can be effectively constructed provided the o-minimal theory used to describe the system is decidable. As a consequence, many verification problems for such systems have effective decision algorithms.

UR - http://www.scopus.com/inward/record.url?scp=49049107553&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=49049107553&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-70583-3_12

DO - 10.1007/978-3-540-70583-3_12

M3 - Conference contribution

AN - SCOPUS:49049107553

SN - 3540705821

SN - 9783540705826

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 136

EP - 147

BT - Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings

T2 - 35th International Colloquium on Automata, Languages and Programming, ICALP 2008

Y2 - 7 July 2008 through 11 July 2008

ER -