Abstract
This talk will present two detailed examples of hybrid systems, covering design, simulation and implementation. The first concerns an Automated Highway System. The second application deals with a collection of autonomous unmanned aircraft. The paper provides a background about hybrid systems.
Research supported by National Science Foundation and Office of Naval Research.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Varaiya, “Smart cars on smart roads: Problems of control,” IEEE Transactions on Automatic Control, vol. 38, pp. 195–207, February 1993.
R. Alur and D. L. Dill, “Automata for modeling real-time systems,” in Proceedings 17th ICALP: Automata, languages and programming, vol. 443, Lecture Notes in Computer Sciences, Springer, 1990.
T. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in ICALP 92: Automata, Languages, and Programming (W. Kuich, ed.), Lecture Notes in Computer Science 623, pp. 545–558, Springer-Verlag, 1992.
A. Gollu, A. Puri, and P. Varaiya, “Discretization of timed automata,” in Proceedings of the 33rd Conference on Decision and Control, (Lake Buena Vista, FL), December 14-16 1994.
A. Puri and P. Varaiya, “Decidability of hybrid systems with rectangular inclusions,” in Computer Aided Verification, CAV’ 94 (D. Dill, ed.), vol. LNCS 818, pp. 95–104, Springer, 1994.
T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proc. 27th Symposium on the Theory of Computing, pp. 373–382, 1995.
A. Puri and P. Varaiya, “Driving safely in smart cars,” in Proceedings of the American Control Conference, pp. 3597–3599, June 1995.
A. Puri and P. Varaiya, “Verification of hybrid systems using abstraction,” in Hybrid Systems II, pp. 359–369, LNCS 999, Springer, 1995.
A. Puri and P. Varaiya, “∈-approximation of differential inclusions,” Hybrid Systems III: Verification and Control, vol. LNCS 1066, pp. 362–376, 1996.
C. Daws, A. Olivero, S. Tripakis, and S. Yovine, “The tool KRONOS,” Hybrid Systems III: Verification and Control, vol. LNCS 1066, pp. 208–219, 1996.
T. Henzinger and P.-H. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in Hybrid Systems II, pp. 265–294, LNCS 999, Springer, 1995.
A. Deshpande, A. Gollu, and L. Semenzato, “The SHIFT programming language and run-time system for dynamic networks of hybrid systems.” IEEE Transactions on Automatic Control, vol. 43, pp. 584–587, February 1998.
See: http://www-shift.eecs.berkeley.edu/downloads.html for the NT version and http://www.path.berkeley.edu/shift for the UNIX version, tutorials and examples.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Varaiya, P. (1999). Design, Simulation, and Implementation of Hybrid Systems. In: Donatelli, S., Kleijn, J. (eds) Application and Theory of Petri Nets 1999. ICATPN 1999. Lecture Notes in Computer Science, vol 1639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48745-X_1
Download citation
DOI: https://doi.org/10.1007/3-540-48745-X_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66132-0
Online ISBN: 978-3-540-48745-6
eBook Packages: Springer Book Archive