Abstract
We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.
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
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.
J-P. Aubin and H. Frankowska. Set-Valued Analysis. Birkhäuser, Boston, 1990.
J. M. Davoren and T. Moor. Logic-based design and synthesis of controllers for hybrid systems. Technical report, RSISE, Australian National University, July 2000. Submitted for publication.
J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985–1010, July 2000.
B. A. Krogh J. E. R. Cury and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, Special issue on hybrid systems, 43:564–568, 1998.
X. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026–1049, July 2000.
K. Kuratowski. Topology, volume 1. Academic Press, New York, 1966.
T. Moor and J. M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS, pages 433–446. Springer-Verlag, 2001.
T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157–166, 1999.
T. Moor, J. Raisch, and S. D. O’Young. Discrete supervisory control of hybrid systems based on l-complete approximations. in print, scheduled2002.
A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. Grossman et al., editor, Hybrid Systems, LNCS 736, pages 297–316. Springer-Verlag, 1993.
J. Raisch and S. D. O’Young. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, Special issue on hybrid systems, 43:569–573, 1998.
P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems.SIAM J. Control and Optimization, 25:206–230, 1987.
P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81–98, 1989.
J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. Interface and controller design for hybrid systems. In P.J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pages 462–492. Springer-Verlag, 1995.
J. C. Willems. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control, 36:258–294, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Davoren, J.M., Moor, T., Nerode, A. (2002). Hybrid Control Loops, A/D Maps, and Dynamic Specifications. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_14
Download citation
DOI: https://doi.org/10.1007/3-540-45873-5_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43321-7
Online ISBN: 978-3-540-45873-9
eBook Packages: Springer Book Archive