» Download Article

Authors
Anastasios Trontis; Hao Xia; Yan Pang; Michael P. Spathopoulos

Digital Object Identifier (DOI)
10.3182/20020721-6-ES-1901.00524

Page Numbers:
522-522

Index Terms
hybrid systems,target control,reachabilty,discrete event systems,supervisory control

Abstract
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.

References

[1] 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.
[2] 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.
[3] Dang, T. (2000). Verification and Synthesis of
    Hybrid Systems. PhD thesis. VERIMAG.
    Grenoble.
[4] Martins, E., M. Pascoal and J. Dos Santos (1998).
    The k shortest paths problem. Technical report.
     Department of Mathematics, Coimbra
    University. Portugal.
[5] Martins, E., M. Pascoal and J. Dos Santos (2000).
    Labelling algorithms for ranking shortest
    paths. Technical report. Department of Mathematics,
     Coimbra University. Portugal.
[6] 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.
[7] Tomlin, C., J. Lygeros and S. Sastry (1999).
    Controllers for reachability specifications for
    hybrid systems. Automatica 35(3), 349-370.
[8] Trontis, A. and M. Spathopoulos (2001a). Target
    control for hybrid systems with linear continuous
     dynamics. Proceedings of the 40th CDC.
[9] Trontis, A. and M. Spathopoulos (2001b). Target
    control for linear hybrid systems. Proceedings
    of the ECC01.
[10] Wong-Toi, H. (1997). The synthesis of controllers
     for linear hybrid automata. Proceedings of the
     36th CDC.