Theorem of abstraction for equivalent controllers in hybrid systems

Information Sciences

Volumn 173, Issue 1-3, 2005, Pages 181-195

  Lin, Feng ^a,b  

^a Wayne State University   (United States)

^b TONGJI UNIVERSITY   (China)

Author keywords

Abstraction; Control; Discrete event systems; Hybrid systems

Indexed keywords

ABSTRACTING; CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; FORMAL LANGUAGES; PROBLEM SOLVING; REAL TIME SYSTEMS; SYSTEMS ENGINEERING; THEOREM PROVING;

ABSTRACTION; CONTINUOUS DYNAMICS; DISCRETE EVENT SYSTEMS; HYBRID SYSTEMS;

INFORMATION THEORY;

EID: 18844436202     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2004.07.012     Document Type: Article

References (21)

1. R. Alur, D. Dill, Automata for modeling real-time systems, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, 1990, pp. 322-336
2. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems Hybrid Systems Lecture Notes in Computer Science 736 1993 Springer-Verlag 209 229
3. P.J. Antsaklis, J.A. Stiver, and M. Lemmon Hybrid system modeling and autonomous control systems Hybrid Systems Lecture Notes in Computer Science 736 1993 Springer-Verlag 366 392
4. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A.L. Sangiovanni-Vincentelli Controller synthesis for hybrid systems with a lower bound on event separation International Journal of Control 76 12 2003 1171 1200
5. A. Bemporad, N. Giorgetti, A logic-based hybrid solver for optimal control of hybrid systems, Proceedings of the IEEE Conference on Decision and Control, 2003, pp. 640-645
6. S.L. Chung, S. Lafortune, and F. Lin Limited lookahead policies in supervisory control of discrete event systems IEEE Transactions on Automatic Control 37 12 1992 1921 1935
7. G.N. Galbraith, and R.B. Vinter Optimal control of hybrid systems with an infinite set of discrete states Journal of Dynamical and Control Systems 9 4 2003 563 584
8. T. Henzinger, P. Kopke, A. Puri, P. Varaiya, What's decidable about hybrid automata, Proceedings of the 27th Annual ACM Symposium on the Theory of Computing, 1995
9. M. Heymann, F. Lin, G. Meyer, Synthesis of minimally restrictive legal controllers for a class of hybrid systems, Proceedings of Hybrid Systems '96: 4th International Conference, 1997, pp. 134-159
10. M. Heymann, F. Lin, and G. Meyer Synthesis and viability of minimally interventive legal controllers for hybrid systems Discrete Event Dynamic Systems: Theory and Applications 8 2 1998 105 135
11. M. Heymann, F. Lin, G. Meyer, Control synthesis for a class of hybrid systems subject to configuration based safety constraints, NASA Technical Memorandum 112196, 1997
12. M. Heymann, F. Lin, and G. Meyer Control of rate-bounded hybrid systems with liveness specifications F. Colonius U. Helmke D. Pratzel-Wolters F. Wirth Advances in Mathematical Systems Theory 2001 Birkhauser Publishers 151 168
13. F. Lin, and W.M. Wonham On observability of discrete event systems Information Sciences 44 3 1988 173 198
14. F. Lin, and W.M. Wonham Decentralized control and coordination of discrete event systems with partial observation IEEE Transactions on Automatic Control 35 12 1990 1330 1337
15. F. Lin, and W.M. Wonham Supervisory control of timed discrete event systems under partial observation IEEE Transactions on Automatic Control 40 3 1994 558 562
16. O. Maler, Z. Manna, and A. Pnueli From timed to hybrid systems Real Time: Theory in Practice Lecture Notes in Computer Science 600 1991 Springer Verlag 447 484
17. R.J. Ramadge, and W.M. Wonham Supervisory control of a class of discrete event processes SIAM Journal of Control and Optimization 25 1 1987 206 230
18. P.J. Ramadge, and W.M. Wonham The control of discrete event systems Proceedings of IEEE 77 1 1989 81 98
19. M.S. Shaikh, P.E. Caines, On the optimal control of hybrid systems: optimization of switching times and combinatoric location schedules, Proceedings of the American Control Conference, 2003, pp. 2773-2778
20. O. Shakernia, G.J. Pappas, S. Sastry, Semidecidable controller synthesis for classes of linear hybrid systems, Proceedings of the 39th IEEE Conference on Decision and Control, vol. 2, 2000, pp. 1834-1839
21. P. Tabuada, G.J. Pappas, and P. Lima Compositional abstractions of hybrid control systems Discrete Event Dynamic Systems: Theory and Applications 14 2 2004 203 238