This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D.L. Dill, ed., Computer-Aided Verification, LNCS 818, pp. 95–104, Springer-Verlag, 1994.
R. Alur and D. L. Dill. Automata for modeling real-time systems. In “Proc. 17th ICALP: Automata, Languages and Programming”, LNCS 443, Springer-Verlag, 1990.
R. Alur, D. L. Dill. A theory of timed automata. Theoretical Computer Science, no. 126, pp. 183–235, 1994.
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. Hybrid Automaton: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems I, LNCS 736, pp. 209–229, Springer-Verlag, 1993.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, no. 138, pp. 3–34, 1995.
T. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proc. 27th Annual Symp. Theory of Computing Science, pp. 373–382, ACM Press, 1995.
T. Henzinger and P. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, ed., Computer Aided Verification, LNCS 939, pp. 225–238, Springer-Verlag, 1995.
T. Henzinger. Hybrid automata with finite bisimulations. In “Proc. 22nd ICALP: Automata, Languages and Programming”, LNCS 944, pp. 324–335, Springer-Verlag, 1995.
T. Henzinger. The theory of hybrid automata. In Proc. 11 th IEEE Symposium on Logic in Computer Science, pp. 278–292, New Brunswick, NJ, 1996.
Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems I, LNCS 736, pp. 179–208, Springer-Verlag, 1993.
A. Nerode and W. Kohn. Multiple agent hybrid control architecture. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems I, LNCS 736, pp. 297–316, Springer-Verlag, 1993.
A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems I, LNCS 736, pp. 317–356, Springer-Verlag, 1993.
X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems I, LNCS 736, pp. 149–178, Springer-Verlag, 1993.
A. Puri, M. Broucke, and P. Varaiya. On the trajectories of hybrid systems. Presented at Int. Conf. Hybrid Systems, Cornell University, Ithaca, NY, October 1996.
A. Puri, and P. Varaiya. Decidable hybrid systems. Mathematical and Computer Modeling, vol. 23, no. 11–12, pp. 191–202, June 1996.
A. Puri. Theory of hybrid systems and discrete event systems. University of California, Berkeley, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broucke, M., Varaiya, P. (1997). Decidability of hybrid systems with linear and nonlinear differential inclusions. 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/BFb0031556
Download citation
DOI: https://doi.org/10.1007/BFb0031556
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