Abstract
The class of hybrid control systems considered here contain a discrete event system controller and a continuous-time plant modeled as an integrator, x = c, c ∈ R n, c ≠ 0. A design procedure based on the natural invariants of the plant, which was developed for a more general class of hybrid systems, is applied to this more tractable class. It is shown that the invariant based approach provides a straightforward procedure for designing an interface and controller for this class of hybrid systems.
Preview
Unable to display preview. Download preview PDF.
References
P. J. Antsaklis, M. D. Lemmon, and J. A. Stiver, “Learning to be autonomous: Intelligent supervisory control”, In Intelligent Control: Theory and Applications, M. Gupta and N. Sinha, Eds., chapter 2, pp. 28–62. IEEE Press, 1996.
S. Di Gennaro, C. Horn, S. Kulkarni, and P. Ramadge, “Reduction of timed hybrid systems”, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4215–4220, Lake Buena Vista, FL, December 1994.
A. Gollu, A. Puri, and P. Varaiya, “Discretization of timed automata”, In Proceedings of the 33rd Conference on Decision and Control, pp. 957–960, Lake Buena Vista, FL, December 1994.
J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, “Digital control from a hybrid perspective”, In Proceedings of the 33rd Conference on Decision and Control, pp. 4241–4246, Lake Buena Vista, FL, December 1994.
J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, “A Logical DES Approach to the Design of Hybrid Systems”, Mathematical and Computer Modeling, 1995, To appear.
J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, “Interface and controller design for hybrid control systems”, In Hybrid Systems II, P. Antsaklis, W. Kohn, A. Nerode and S. Sastry, Eds., Lecture Notes in Computer Science. Springer-Verlag, 1995, To appear.
J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, “Interface Design for Hybrid Control Systems”, Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-95-001, University of Notre Dame, January 1995.
M. Tittus and B. Egardt, “Control-law synthesis for linear hybrid systems”, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961–966, Lake Buena Vista, FL, December 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stiver, J.A., Antsaklis, P.J., Lemmon, M.D. (1996). An invariant based approach to the design of hybrid control systems containing clocks. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020968
Download citation
DOI: https://doi.org/10.1007/BFb0020968
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive