×

Decidable hybrid systems. (English) Zbl 0858.93008

The authors study an interesting class of dynamic systems combining discrete evolution and continuous evolution. (These systems are called hybrid systems). The continuous part of the dynamics is modeled by a differential inclusion. The target problem is investigated. For a certain class of hybrid systems, the authors show that the reachability problem can be decided in a finite number of steps.

MSC:

93B03 Attainable sets, reachability
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alur, R.; Dill, D., Automata for modeling real-time systems, (Proc. \(17^{th}\) ICALP, Lecture Notes in Computer Science, Vol. 443 (1990), Springer-Verlag) · Zbl 0765.68150
[2] Kopke, P.; Henzinger, T.; Puri, A.; Varaiya, P., What’s decidable about hybrid automata, STOCS (1995) · Zbl 0978.68534
[3] Puri, A.; Varaiya, P., Decidability of hybrid systems with rectangular differential inclusions, (Proc. \(6^{th}\) Workshop on Computer-Aided Verification, LNCS, Vol. 818 (1994), Springer-Verlag) · Zbl 0858.93008
[4] Milner, R., Communication and Concurrency (1989), Prentice Hall · Zbl 0683.68008
[5] Alur, R.; Courcoubetis, C.; Henzinger, T. A.; Ho, P.-H., Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems, (Hybrid Systems, LNCS, Vol. 736 (1993), Springer-Verlag) · Zbl 0874.68206
[6] Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S., An approach to the description and analysis of hybrid systems, (Hybrid Systems, LNCS, Vol. 736 (1993), Springer-Verlag) · Zbl 0823.68067
[7] Puri, A.; Varaiya, P., Verification of hybrid systems using abstractions, (Hybrid Systems II, LNCS, Vol. 999 (1995), Springer-Verlag) · Zbl 0858.93008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.