Optimal control of discrete-time hybrid automata under safety and liveness constraints

Nonlinear Analysis, Theory, Methods and Applications

Volumn 65, Issue 6, 2006, Pages 1188-1210

  Seatzu, Carla ^a   Gromov, Dmitry ^b   Raisch, Jörg ^b,c   Corona, Daniele ^a   Giua, Alessandro ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

^c MAX PLANCK INSTITUTE FOR DYNAMICS OF COMPLEX TECHNICAL SYSTEMS   (Germany)

Author keywords

Hybrid automata; Liveness constraints; Safety constraints; Switched systems

Indexed keywords

CONSTRAINT THEORY; CONTROL EQUIPMENT; DEGREES OF FREEDOM (MECHANICS); DISCRETE TIME CONTROL SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

HYBRID AUTOMATA; LIVENESS CONSTRAINTS; SAFETY CONSTRAINTS; SWITCHED SYSTEMS;

AUTOMATA THEORY;

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

References (25)

1. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science (1994)
2. 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)
3. P.E. Caines, R. Greiner, S. Wang, Dynamical logic observers for finite automata, in: Proceedings of the 27th Conference on Decision and Control, Austin, Texas, 1988, pp. 226-233
4. Corona D., Giua A., and Seatzu C. Optimal control of hybrid automata: an application to the design of a semiactive suspension. Control Engineering Practice 12 (2004) 1305-1318
5. D. Corona, A. Giua, C. Seatzu, Optimal feedback switching laws for autonomous hybrid automata, in: Proc. IEEE Int. Sym. on Intelligent Control, Taipei, Taiwan, 2004
6. D. Corona, A. Giua, C. Seatzu, Stabilization of switched system via optimal control, in: Proceedings of 16th IFAC World Congress, Praga, Czech Republic, 2005
7. D. Corona, C. Seatzu, A. Giua, D. Gromov, E. Mayer, J. Raisch, Optimal hybrid control for switched affine systems under safety and liveness constraints, in: Proceedings of CACSD'05, Taipei, Taiwan, 2004
8. Cury J.E.R., Krogh B.H., and Niinomi T. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control 43 4 (1998) 564-568
9. D. Gromov, E. Mayer, J. Raisch, D. Corona, C. Seatzu, A. Giua, Optimal control of discrete time hybrid automata under safety and liveness constraints, in: ISIC, Limassol, Cyprus, June 2005
10. Hedlund S., and Rantzer A. Convex dynamic programming for hybrid systems. IEEE Transactions on Automatic Control 47 9 (2002) 1536-1540
11. Moor T., and Raisch J. Supervisory control of hybrid systems within a behavioural framework. Hybrid Control Systems, Systems and Control Letters 38 (1999) 157-166 (special issue)
12. Nicollin X., Olivero A., Sifakis J., and Yovine S. An approach to the description and analysis of hybrid systems. Hybrid Systems. LNCS vol. 736 (1993), Springer Verlag
13. Özveren CneytM., and Willsky AllanS. Observability of discrete event dynamic systems. IEEE Transaction on Automatic Control 35 7 (1990) 797-806
14. B. Piccoli, Necessary conditions for hybrid optimization, in: Proc. 38th IEEE Conf. on Decision and Control, Phoenix, Arizona USA, December 1999
15. Raisch J. Discrete abstractions of continuous systems - an input/output point of view. Discrete Event Models of Continuous Systems, Mathematical and Computer Modelling of Dynamical Systems 6 (2000) 6-29 (special issue)
16. Raisch J., and O'Young S. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control 43 4 (1998) 569-573
17. P.J. Ramadge, W.M. Wonham, The control of discrete event systems, Discrete Event Dynamic Systems. Proceedings of the IEEE 77 (1) (1989) 81-98 (special issue)
18. P. Riedinger, F. Kratz, C. Iung, C. Zanne, Linear quadratic optimization for hybrid systems, in: Proc. 38th IEEE Conf. on Decision and Control, Phoenix, USA, December 1999, pp. 3059-3064
19. Schröder J. Modelling, State Observation and Diagnosis of Quantised Systems (2002), Springer-Verlag
20. C. Seatzu, D. Corona, A. Giua, A. Bemporad, Optimal control of continuous-time switched affine systems, IEEE Transactions on Automatic Control (2005) (in press)
21. M.S. Shaikh, P.E. Caines, On the optimal control of hybrid systems: analysis and algorithms for trajectory and scheduled optimization, Hawaii, USA, December 2003, pp. 2144-2149
22. H.J. Sussmann, A maximum principle for hybrid optimal control problems, in: Proc. 38th IEEE Conf. on Decision and Control, Phoenix, USA, December 1999, pp. 425-430
23. Willems J.C. Models for dynamics. Dynamics Reported 2 (1989)
24. X. Xu, P.J. Antsaklis, An approach to switched systems optimal control based on parameterization of the switching instants, in: Proc. IFAC World Congress, Barcelona, Spain, 2002
25. X. Xu, P.J. Antsaklis, Results and perspectives on computational methods for optimal control of switched systems, in: Hybrid Systems, Computation and Control, Prague, Czech Republic, 2003