Target control for hybrid systems
World Congress, Volume # 15 | Part# 1
Anastasios Trontis; Hao Xia; Yan Pang; Michael P. Spathopoulos
Digital Object Identifier (DOI)
hybrid systems,target control,reachabilty,discrete event systems,supervisory control
This paper is concerned with the supervisory target control problem for hybrid systems modeled by hybrid automata. The problem is studied in a straightforward manner through reachability analysis. A switching controller is proposed such that all the trajectories of the controlled automaton, that initiate from a given initial set in the state space, reach a target set. At the same time a cost function, specified by weighting the discrete-event transitions of the automaton, is minimized. Emphasis is given to the control synthesis under event uncertainty modeled by uncontrollable transitions.
 Asarin, E., O. Bournez, T. Dang, O. Maler and A. Pnueli (2000). Effective synthesis of switching controllers for linear systems. IEEE Proceedings (88), 1011-1025.  Asarin, E., S. Bansal, B. Espiau, T. Dang and O. Maler (2001). On hybrid control of underactuated mechanical systems. In: Hybrid Systems: Computation and Control. LNCS 2034. Springer.  Dang, T. (2000). Verification and Synthesis of Hybrid Systems. PhD thesis. VERIMAG. Grenoble.  Martins, E., M. Pascoal and J. Dos Santos (1998). The k shortest paths problem. Technical report. Department of Mathematics, Coimbra University. Portugal.  Martins, E., M. Pascoal and J. Dos Santos (2000). Labelling algorithms for ranking shortest paths. Technical report. Department of Mathematics, Coimbra University. Portugal.  Tittus, M. and B. Egardt (1998). Control design for integrator hybrid systems. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43(4), 491-500.  Tomlin, C., J. Lygeros and S. Sastry (1999). Controllers for reachability specifications for hybrid systems. Automatica 35(3), 349-370.  Trontis, A. and M. Spathopoulos (2001a). Target control for hybrid systems with linear continuous dynamics. Proceedings of the 40th CDC.  Trontis, A. and M. Spathopoulos (2001b). Target control for linear hybrid systems. Proceedings of the ECC01.  Wong-Toi, H. (1997). The synthesis of controllers for linear hybrid automata. Proceedings of the 36th CDC.