Abstract
A class of rectangular hybrid systems is presented whose reach set is computable. The class is specified in terms of a controllability condition. That condition can be verified.
Research supported by NSF Grant ECS9417370 and ARO Contract DAAH04-94-G-0026.
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, L. Fix and T.A. Henzinger. A Determinizable Class of Timed Automata. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 1–13.
A. Olivero, J. Sifakis and S. Yovine. Using Abstractions for the Verification of Linear Hybrid Systems. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 81–94.
A. Puri and P. Varaiya. Decidability of Hybrid Systems with Rectangular Differential Inclusions. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 95–104.
T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What's decidable about hybrid automata?. STOCS, 1995.
A. Puri, V. Borkar and P. Varaiya. ε-approximation of differential inclusions. Hybrid Systems III. verification and control, LNCS 1066, Springer-Verlag, 1996.
A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. Hybrid Systems II, Springer-Verlag, 1995. pp. 128–147.
M. Kourjanski and P. Varaiya. Stability of Hybrid Systems. Hybrid Systems III. verification and control, LNCS 1066, Springer-Verlag, 1996. pp. 413–423.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kourjanski, M., Varaiya, P. (1997). A class of rectangular hybrid systems with computable reach set. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031563
Download citation
DOI: https://doi.org/10.1007/BFb0031563
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63358-7
Online ISBN: 978-3-540-69523-3
eBook Packages: Springer Book Archive