Controller synthesis for hybrid systems with a lower bound on event separation

International Journal of Control

Volumn 76, Issue 12, 2003, Pages 1171-1200

  Balluchi, Andrea ^a   Benvenuti, Luca ^b   Villa, Tiziano ^a,c   Wong Toi, Howard ^d   Sangiovanni Vincentelli, Alberto L ^a,e  

^a PARADES   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c UNIVERSITY OF UDINE   (Italy)

^d Jasper Design Automation   (United States)

^e UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; ITERATIVE METHODS; MATHEMATICAL MODELS;

CONTROLLER SYNTHESIS;

FEEDBACK CONTROL;

EID: 0142137702     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/0020717031000123616     Document Type: Article

References (13)

1. ASARIN, E., MALER, O., PNUELI, A., and SIFAKIS, J., 1998, Controller synthesis for timed automata. In Proceedings of System Structure and Control. IFAC, Elsevier, July.
2. BALLUCHI, A., BENVENUTI, L., VILLA, T., WONG-TOI, H., and SANGIOVANNI-VINCENTELLI, A., 2003, Maximal controllers for hybrid systems with multiple time event separations. Memorandum UCB/ERL MO3/8, Berkeley CA, 11 April 2003.
3. BALLUCHI, A., BENVENUTI, L., VILLA, T., WONG-TOI, H., and SANGIOVANNI-VINCENTELLI, A. L., 1999 b, A case study of hybrid controller synthesis of a heating system. In Proceedings of the 5th European Control Conference, Karlsruhe, Germany, September.
4. ISAACS, R., 1967, Differential Games (New York: Wiley).
5. JOHANSSON, K., EGERSTEDT, M., LYGEROS, J., and SASTRY, S., 1999, On the regularization of zeno hybrid automata. System and Control Letters, 38, 141-150.
6. LYGEROS, J., TOMLIN, C., and SASTRY, S., 1998, On controller synthesis for nonlinear hybrid systems. In Proceedings of the 37th IEEE Conference on Decision and Control, pp. 2101-2106.
7. LYGEROS, J., TOMLIN, C., and SASTRY, S., 1999, Controllers for reachability specifications for hybrid systems. Automatica, 35, 349-370.
8. MORSE, A., 1996, Supervisory control of families of linear set-point controllers - part 1: Exact matching. IEEE Transactions on Automatic Control, 41, 1413-1431.
9. SUSSMANN, H. J., 1983, Lie brackets, real analyticity and geometric control. In R. W. Brockett, R. S. Millman and H. J. Sussmann (Eds) Differential Geometric Control Theory, volume 27 of Progress in Mathematics (Boston-Basel-Stuttgart: Birkhäuser), pp. 1-117.
10. TOMLIN, C., LYGEROS, J., and SASTRY, S., 1998, Synthesizing controllers for nonlinear hybrid systems. In T. Henzinger and S. Sastry (Eds), First International Workshop, HSCC'98 Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1386, pp. 360-373.
11. TOMLIN, C., LYGEROS, J., and SASTRY, S., 1999, Computing controllers for nonlinear hybrid systems. In F. W. Vaandrager and J. H. van Schuppen (Eds) Second International Workshop, HSCC'99, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1569 (Springer-Verlag), pp. 238-255.
12. VINCENT, T. L., and GRANTHAM, W. J., 1997, Nonlinear and Optimal Control Systems (New York: Wiley).
13. WONG-TOI, H., 1997, The synthesis of controllers for linear hybrid automata. In Proceedings of the 36th Conference on Decision and Control, San Diego CA, pp. 4607-4612.