Algorithmic and abstraction-based design of discrete controllers for hybrid automata;Algorithmischer und abstraktionsbasierter entwurf diskreter steuerungen für hybride automaten

At-Automatisierungstechnik

Volumn 54, Issue 9, 2006, Pages 450-458

  Stursberg, Olaf ^a   Tran, Thanh Ha ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Controller synthesis; Discrete event control; Hybrid systems; Model abstraction; Switched dynamics

Indexed keywords

EID: 79960919974     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.2006.54.9.450     Document Type: Article

References (28)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, volume 736 of LNCS, pages 209-229, Springer, 1993.
2. R. Alur, T. Dang, and F. Ivancic. Reachability analysis of hybrid systems via predicate abstraction. In Hybrid Systems: Comp. and Control, volume 2289 of LNCS, pages 35-48, 2002.
3. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. Proc. of the IEEE, 88(7): 1011-1025, 2000.
4. A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K.H. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A.L. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg. Hybrid control of networked embedded systems. European Journal of Control, Special Issue: Fundamental Issues in Control, 11(4-5): 478-508, 2005.
5. A. Chutinan and B.H. Krogh. Verification of polyhedralinvariant hybrid automata using polygonal flowpipeapproximation. In Hybrid Systems: Comp. and Control, volume 1569 of LNCS, pages 76-90, Springer, 1999.
6. E. Clarke, A. Fehnker, Z. Han, B.H. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. Journ. of Found. of Comp. Science, 14(4): 583-604, 2003.
7. J.E.R. Cury, B.H. Krogh, and T. Niinomi. Supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Automatic Control, 43: 564-568, 1998.
8. T. Dang and O. Maler. Reachability analysis via face lifting. In Hybrid Systems - Computation and Control, volume 1386 of LNCS, pages 96-109. Springer, 1998.
9. D. Franke, T. Moor, and J. Raisch. Discrete supervisory control of switched linear systems. at-Automatisierungstechnik, 48(9): 461-467, 2000.
10. Z. Han and B.H. Krogh. Reachability analysis of hybrid systems using reduced-order models. In Proc. American Control Conf., pages 1183-1189, 2004.
11. T.A. Henzinger. The theory of hybrid automata. In Proc. 11th IEEE Symp. on Logic in Comp. Science, pages 278-292, 1996.
12. T.E. Hodrus, M. Buchholz, and V. Krebs. Control of discretetime piecewise affine systems. In Proc. 16th IFAC World Congress, number Fr-M02-TP/5, 2005.
13. Int. Electrotechn. Commission (Techn. Com. No. 65). Programmable Controllers - Programming Languages, IEC 61131-3. 2003.
14. S.I. Kamau and J. Lunze. Controller synthesis for linear switched systems. In IFAC Conf. Analysis and Design of Hybrid Systems, pages 141-146, 2003.
15. X. Koutsoukos, P.J. Antsaklis, J.A. Stiver, and M.D. Lemmon. Supervisory control of hybrid systems. Proc. of the IEEE, 88(7): 1026-1049, 2000.
16. A. Kurzhanski and I. Valyi. Ellipsoidal Calculus for Estimation and Control. Birkhaeuser, 1997.
17. G. Lafferriere, G.J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, volume 1569 of LNCS, pages 137-151, Springer, 2000.
18. M.D. Lemmon, K.X. He, and I. Markovsky. Supervisory hybrid systems. IEEE Control Systems Magazine, 19(8): 42-55, 1999.
19. N. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1): 105-157, 2003.
20. T. Moor, J.M. Davoren, and J. Raisch. Strategic refinements in abstraction based supervisory control of hybrid systems. In Proc. 6th Int. Workshop on Discrete Event Systems, pages 329-334, 2002.
21. T. Moor, J. Raisch, and S.D. O’Young. Discrete supervisory control of hybrid systems based on l-complete approximations. J. of Discrete Event Dyn. Sys., 12(1): 83-107, 2002.
22. S. Prajna and A. Jadbabaie. Safety verification of hybrid systems using barrier certificates. In Hybrid Systems -Comp. and Control, volume 2993 of LNCS, pages 477-492, Springer, 2004.
23. O. Stursberg. Synthesis of supervisory controllers for hybrid systems using abstraction refinement. In Proc. 16th IFAC World Congress, number We-M12-TO/2, 2005.
24. O. Stursberg. Supervisory control of hybrid systems based on model abstraction and guided search. Nonlinear Analysis - Hybrid Systems and Applications, 65(6): 1168-1187, 2006.
25. O. Stursberg and B.H. Krogh. Efficient representation and computation of reachable sets for hybrid systems. In Hybrid Systems - Comp. and Control, volume 2623 of LNCS, pages 482-497. Springer, 2003.
26. C. Tomlin, J. Lygeros, and S. Sastry. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88(7): 949-970, 2000.
27. C.J. Tomlin, I. Mitchell, A.M. Bayen, and M. Oishi. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE, 91(7): 986-1001, 2003.
28. A. Trontis and M.P. Spathopoulos. Supervisory target control for hybrid systems. Int. J. of Control, 76(11): 1142-1158, 2003.