Supervisory control of hybrid systems based on model abstraction and guided search

Nonlinear Analysis, Theory, Methods and Applications

Volumn 65, Issue 6, 2006, Pages 1168-1187

  Stursberg, Olaf ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Abstraction; Automaton; Discrete event systems; Model refinement; Reachability; Synthesis

Indexed keywords

ABSTRACTING; AUTOMATION; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; SPACE RESEARCH; SYNTHESIS (CHEMICAL);

ABSTRACTION; DISCRETE EVENT SYSTEMS; MODEL REFINEMENT; REACHABILITY;

NONLINEAR SYSTEMS;

EID: 33744792924     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.na.2005.12.023     Document Type: Article

References (32)

1. Asarin E., Bournez O., Dang T., Maler O., and Pnueli A. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE 88 7 (2000) 1011-1025
2. Asarin E., Maler O., and Pnueli A. Symbolic controller synthesis for discrete and timed systems. Hybrid Systems II. LNCS vol. 999 (1995), Springer 1-20
3. Bayen A.M., Crueck E., and Tomlin C. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems. Hybrid Systems - Comp. and Control. LNCS vol. 2289 (2002), Springer 90-104
4. Tomlin C., Lygeros J., and Sastry S. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE 88 7 (2000) 949-970
5. Chutinan A., and Krogh B.H. Verification of hybrid systems using polygonal flowpipe approximations. Hybrid Systems: Computation and Control. LNCS vol. 1569 (1999), Springer 76-90
6. Clarke E.M., Fehnker A., Han Z., Krogh B.H., Stursberg O., and Theobald M. Verification of hybrid systems based on counterexample-guided abstraction refinement. Tools and Algor. for the Constr. and Analysis of Systems. LNCS vol. 2619 (2003), Springer 192-207
7. Cury J.E.R., Krogh B.H., and Niinomi T. Supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control 43 (1998) 564-568
8. Dang T., and Maler O. Reachability analysis via face lifting. Hybrid Systems: Computation and Control. LNCS vol. 1386 (1998), Springer 96-109
9. Franke D., Moor T., and Raisch J. Discrete supervisory control of switched linear systems. at-Automatisierungstechnik 48 9 (2000) 461-467
10. Gonzalez J.M.E., Cunha A.E.C., Cury J.E.R., and Krogh B.H. Supervision of event-driven hybrid systems: Modeling and synthesis. Hybrid Systems - Comp. and Control. LNCS vol. 2034 (2001), Springer 247-260
11. Koo T.-J., Pappas G.J., and Sastry S. Mode switching synthesis for reachability specifications. Hybrid Systems - Comp. and Control. LNCS vol. 2034 (2001), Springer 333-346
12. Koutsoukos X., Antsaklis P.J., Stiver J.A., and Lemmon M.D. Supervisory control of hybrid systems. Proceedings of the IEEE 88 7 (2000) 1026-1049
13. A. Kurzhanski, I. Valyi, Ellipsoidal calculus for estimation and control, 1997
14. Lafferriere G., Pappas G.J., and Yovine S. A new class of decidable hybrid systems. Hybrid Systems: Computation and Control. LNCS vol. 1569 (2000), Springer 137-151
15. Lemmon M.D., He K.X., and Markovsky I. Supervisory hybrid systems. IEEE Control Systems Magazine 19 8 (1999) 42-55
16. Lin F., and Wonham W.M. Supervisory control of timed discrete event systems under partial observation. IEEE Transactions on Automatic Control 40 3 (1995) 558-562
17. Maler O., Pnueli A., and Sifakis J. On the synthesis of discrete controllers for timed systems. 12th Symp. Theoretical Aspects of Computer Science. LNCS vol. 900 (1995), Springer 229-242
18. Moor T., Raisch J., and O'Young S.D. Discrete supervisory control of hybrid systems based on l-complete approximations. Journal of Discrete Event Dynamic Systems 12 1 (2002) 83-107
19. T. Moor, J.M. Davoren, J. Raisch, Strategic refinements in abstraction based supervisory control of hybrid systems, in: Proc. 6th Int. Workshop on Discrete Event Systems, 2002, pp. 329-334
20. Ramadge P.J.G., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-98
21. Shakernia O., Pappas G.J., and Sastry S. Decidable controller synthesis for classes of linear systems. Hybrid Systems: Computation and Control. LNCS vol. 1790 (2000), Springer 407-420
22. O. Stursberg, A graph-search algorithm for optimal control of hybrid systems, in: Proc. 43rd IEEE Conf. on Decision and Control, 2004, pp. 1412-1417
23. O. Stursberg, Synthesis of supervisory controllers for hybrid systems using abstraction refinement, in: Proc. 16th IFAC World Congress, 2005, number We-M12-TO/2
24. O. Stursberg, A. Fehnker, Z. Han, B.H. Krogh, Specification-guided analysis of hybrid systems using a hierarchy of validation methods, in: Proc. 15th IFAC Conf. Analysis and Design of Hybrid Sys., 2003, pp. 289-295
25. Stursberg O., Fehnker A., Han Z., and Krogh B.H. Verification of a cruise control system using counterexample-guided search. Control Engineering Practice 12 10 (2004) 1291-1303
26. Stursberg O., and Krogh B.H. Efficient representation and computation of reachable sets for hybrid systems. Hybrid Systems - Comp. and Control. LNCS vol. 2623 (2003), Springer 482-497
27. O. Stursberg, S. Lohmann, Synthesizing safe supervisory controllers for hybrid nonlinear systems, in: Proc. 17th IMACS World Congress Scientific Computation, Applied Mathematics and Simulation, 2005, number T5-I-76-0654
28. Stursberg O., Panek S., Till J., and Engell S. Generation of optimal control policies for systems with switched hybrid dynamics. Model., Analysis, and Des. of Hybrid Sys. LNCIS vol. 279 (2002), Springer 337-352
29. Trontis A., and Spathopoulos M.P. Hybrid control synthesis for eventuality specifications using level set methods. International Journal of Control 76 16 (2003) 1599-1627
30. Trontis A., and Spathopoulos M.P. Supervisory target control for hybrid systems. International Journal of Control 76 11 (2003) 1142-1158
31. H. Wong-Toi, The synthesis of controllers for linear hybrid automata, in: Proc. 36th IEEE Conf. Decision and Control, 1997, pp. 4607-4612
32. H. Xia, Y. Pang, A. Trontis, M. Spathopoulos, Eventuality synthesis for controlled linear automata, in: Proc. American Control Conf., 2002, pp. 160-165