Abstract
The topic of this paper is the synthesis of discrete supervisory control for hybrid systems Σ with discrete external signals. Such systems are in general neither l-complete nor can they be represented by finite state machines. Our solution to the control problem is as follows: we find the strongest l-complete approximation (abstraction) Σl for Σ, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists on the approximation level, we synthesize the maximally permissive supervisor for Σ l . We show that it also solves the control problem for the underlying hybrid system Σ. If no solution exists, approximation accuracy can be increased by computing the strongest k-complete abstraction Σ k , k > l. The basic ideas regarding the approximation step are explained within the framework of Willems' behavioral systems theory. Implementation issues are treated in a state space framework, and the main results are interpreted from a traditional control engineering point of view.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P.-H. 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Grossman et al. Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 209–229.
Alur, R., Henzinger, T. A., and Sontag, E. D., editors. 1996. Hybrid Systems III, Lecture Notes in Computer Sciences, vol. 1066, Springer-Verlag.
Antsaklis, P. J., Stiver, J. A., and Lemmon, M. 1993. Hybrid system modeling and autonomous control systems. In Grossman et al., Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 366–392.
Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors. 1995. Hybrid Systems II, Lecture Notes in Computer Sciences, vol. 999, Springer-Verlag.
Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors. 1997. Hybrid Systems IV, Lecture Notes in Computer Sciences, vol. 1273, Springer-Verlag.
Antsaklis, P. J., Kohn, W., Lemmon, M., Nerode, A., and Sastry, S., editors. 1999. Hybrid Systems V, Lecture Notes in Computer Sciences, vol. 1567, Springer-Verlag.
Antsaklis, P. J., and Nerode, A., editors. 1998. IEEE Transactions on Automatic Control, 43(4), Special issue on hybrid systems.
Chutinan, A., and Krogh, B. H. 1998. Computing polyhedral approximations to flow pipes for dynamic systems. Proceedings of the 37rd IEEE Conference on Decision and Control.
Chutinan, A., and Krogh, B. H. 1999. Computing Approximating Automata for a Class of Linear Hybrid Systems. In Antsaklis et al., Hybird Systems V, Lecture Notes in Computer Sciences, pp. 16–38.
Cury, J. E. R., Krogh, B. A., and Niinomi, T. 1998. Synthesis of supervisory controllers for hybrid systems based on approximating automata. In Antsaklis and Nerode, 1998, IEEE Transactions on Automatic Control, pp. 564–568.
Dang, T., and Maler, O. 1998. Reachability analysis via face lifting. In Henzinger, T. A. and Sastry, S., editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Sciences, Springer-Verlag, 1386, pp. 96–109
Evans, R. J., and Savkin, A. V., editors. 1999. Systems and Control Letters, 38(3), Special issue on hybrid control systems.
Franke, D., and Moor, T. 1998. Combined rule-and model-based design of a hybrid thermal process. In Proc. CESA98, Nabeul-Hammamet, Tunesia, pp. 630–634.
Grossman, R. L., Nerode, A., Ravn, A. P., and Rischel, H., editors. 1993. Hybrid Systems IV, Lecture Notes in Computer Sciences, Springer-Verlag, 736.
Klein, E., and Raisch, J. 1998a. Safety enforcement in process control cystems—a batch evaporator example. Proc. WODES'98—International Workshop on Discrete Event Systems, IEEE, pp. 327–333.
Klein, E., Kienle, A., and Raisch, J. 1998b. Synthesizing a supervisory control scheme for the start-up procedure of a distillation column—An approach based on approximating continuous dynamics by DES models. Proc. LSS'98—8th IFAC Colloquium on Large Scale Systems, pp. 716–721.
Lunze, J. 1995. Stabilization of nonlinear systems by qualitative feedback controllers. International Journal of Control 62, 109–128.
Lunze, J. 1994. Qualitative modeling of linear dynamical systems with quantized state measurements. Automatica 30, 417–431.
Moor, T. 1998a. Event driven control of switched-integrator-systems. 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France, pp. 271–277.
Moor, T., Raisch, J., and O'Young, S. D. 1998b. Supervisory control of hybrid systems via l-complete approximations. In Giua, A., Smedinga, R. and Spathopoulos, M., editors, Proc. WODES'98—International Workshop on Discrete Event Systems, IEEE, pp. 426–431.
Moor, T., and Raisch, J. 1998c. Estimating reachable states of hybrid systems via l-complete approximations. In Bajic, V. B., editor, Proc. SSCC'98—Advances in Systems, Signals Control and Computers, IAAMSAD and the South African Branch of the Academy of Nonlinear Sciences, 3, 30–34.
Moor, T., and Raisch, J. 1999a. Discrete control of switched linear systems. Proceedings of the European Control Conference 1999.
Moor, T., and Raisch, J. 1999b. Supervisory control of hybrid systems within a behavioral framework. In Evans and Savkin, Systems and Control Letters, pp. 157–166.
O'Young, S. D. 1998. Hybrid RTSS. Faculty of Engineering, Memorial University of Newfoundland, Internal Report.
Puri, A., Varaiya, P., and Borkar, V. 1996. Epsilon approximations of differential inclusions. In Alur et al., Hybird Systems III, Lecture Notes in Computer Sciences, pp. 362–376.
Raisch, J., and O'Young, S. D. 1997. A totally ordered set of discrete abstractions for a given hybrid or continuous system. In Antsaklis et al., Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 342–360.
Raisch, J. 1998a. A hierarchy of discrete abstractions for a given hybrid plant. In 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France, pp. 55–62.
Raisch, J., and O'Young, S. D. 1998b. Discrete approximation and supervisory control of continuous systems. In Antsaklis and Nerode, IEEE Systems on Automatic Control, pp. 569–573.
Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization 25, 206–230.
Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of the IEEE, 77, 81–98.
Tittus, M., and Egardt, B. 1994. Control-law synthesis for linear hybrid systems. Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961–966.
Willems, J. C. 1989. Models for dynamics. Dynamics Reported 2, 172–269.
Willems, J. C. 1991. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control 36(3), 258–294.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Moor, T., Raisch, J. & O'Young, S. Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. Discrete Event Dynamic Systems 12, 83–107 (2002). https://doi.org/10.1023/A:1013339920783
Issue Date:
DOI: https://doi.org/10.1023/A:1013339920783