Automatic synthesis of switching controllers for linear hybrid systems: Safety control

Theoretical Computer Science

Volumn 493, Issue , 2013, Pages 116-138

  Benerecetti, Massimo ^a   Faella, Marco ^a   Minopoli, Stefano ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Controller synthesis; Hybrid automata; Safety games

Indexed keywords

AUTOMATIC SYNTHESIS; CONTROLLER SYNTHESIS; HYBRID AUTOMATONS; LINEAR HYBRID AUTOMATA; LINEAR HYBRID SYSTEMS; SOLUTION PROCEDURE; SOUND AND COMPLETE; SWITCHING CONTROLLERS;

ITERATIVE METHODS; LINEAR SYSTEMS;

AUTOMATA THEORY;

EID: 84879224980     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2012.10.042     Document Type: Conference Paper

References (23)

1. R. Alur, T.A. Henzinger, and P.-H. Ho Automatic symbolic verification of embedded systems IEEE Transactions on Software Engineering 22 March 1996 181 201
2. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli Effective synthesis of switching controllers for linear systems Proceedings of the IEEE 88 7 2000 1011 1025
3. E. Asarin, T. Dang, and O. Maler The d/dt tool for verification of hybrid systems Computer Aided Verification Lect. Notes in Comp. Sci. vol. 2404 2002 Springer 746 770
4. R. Bagnara, P.M. Hill, and E. Zaffanella The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems Science of Computer Programming 72 1-2 2008 3 21
5. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. Sangiovanni-Vincentelli Controller synthesis for hybrid systems with a lower bound on event separation International Journal of Control 76 12 2003 1171 1200
6. N.V. Chernikova Algorithm for discovering the set of all the solutions of a linear programming problem USSR Computational Mathematics and Mathematical Physics 8 6 1968 282 293
7. L. deAlfaro, M. Faella, T.A. Henzinger, R. Majumdar, and M. Stoelinga The element of surprise in timed games CONCUR 03: Concurrency Theory. 14th Int. Conf. Lect. Notes in Comp. Sci. vol. 2761 2003 Springer 144 158
8. R.G. Deshpande, D.J. Musliner, J.E. Tierno, S.G. Pratt, and R.P. Goldman Modifying hytech to automatically synthesize hybrid controllers Proc. of 40th IEEE Conf. on Decision and Control 2001 IEEE Computer Society Press 1223 1228
9. G. Frehse PHAVer: algorithmic verification of hybrid systems past hyTech Proc. of Hybrid Systems: Computation and Control (HSCC), 8th International Workshop Lect. Notes in Comp. Sci. vol. 3414 2005 Springer 258 273
10. L.C.G.J.M. Habets, P.J. Collins, and J.H. van Schuppen Reachability and control synthesis for piecewise-affine hybrid systems on simplices IEEE Transactions on Automatic Control 51 2006
11. N. Halbwachs, Y.-E. Proy, and P. Roumanoff Verification of real-time systems using linear relation analysis Formal Methods in System Design 11 1997 157 185
12. W.P.M.H. Heemels, D. Lehmann, J. Lunze, and B. DeSchutter Introduction to hybrid systems Handbook of Hybrid Systems Control-Theory, Tools, Applications 2009 Cambridge University Press Cambridge, UK 3 30
13. T.A. Henzinger The theory of hybrid automata 11th IEEE Symp. Logic in Comp. Sci. 1996 278 292
14. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi HyTech: a model checker for hybrid systems Software Tools for Tech. Transfer 1 1997 110 122
15. T.A. Henzinger, B. Horowitz, and R. Majumdar Rectangular hybrid games CONCUR 99: Concurrency Theory. 10th Int. Conf. Lect. Notes in Comp. Sci. vol. 1664 1999 Springer 320 335
16. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya What's decidable about hybrid automata? Proc. of the 27th annual ACM symposium on Theory of computing, STOC '95 1995 ACM 373 382
17. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya What's decidable about hybrid automata? J. of Computer and System Sciences 57 1 1998 94 124
18. O. Maler Control from computer science Annual Reviews in Control 26 2 2002 175 187
19. O. Maler, A. Pnueli, and J. Sifakis On the synthesis of discrete controllers for timed systems 12th Annual Symp. on Theor. Asp. of Comp. Sci. Lect. Notes in Comp. Sci. vol. 900 1995 Springer
20. P.J. Ramadge, and W.M. Wonham Supervisory control of a class of discrete-event processes SIAM Journal of Control and Optimization 25 1987 206 230
21. C.J. Tomlin, J. Lygeros, and S. ShankarSastry A game theoretic approach to controller design for hybrid systems Proceedings of the IEEE 88 7 2000 949 970
22. H. Le Verge, A note on Chernikova's algorithm. Technical Report 635, IRISA, Rennes, 1992.
23. H. Wong-Toi The synthesis of controllers for linear hybrid automata 36th IEEE Conf. on Decision and Control 1997 IEEE San Diego, CA 4607 4612