Analysis of Zeno behaviors in a class of hybrid systems

IEEE Transactions on Automatic Control

Volumn 50, Issue 3, 2005, Pages 376-383

  Heymann, Michael ^a   Lin, Feng ^b,c   Meyer, George ^d   Resmerita, Stefan ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b WAYNE STATE UNIVERSITY   (United States)

^c TONGJI UNIVERSITY   (China)

^d NASA AMES RESEARCH CENTER   (United States)

Author keywords

Control; Hybrid systems; Zenoness

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; INVARIANCE; ITERATIVE METHODS; MATRIX ALGEBRA; STATE SPACE METHODS; VECTORS;

HYBRID SYSTEMS; ZENONESS;

CONTROL SYSTEM SYNTHESIS;

EID: 16244414374     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.843874     Document Type: Article

References (16)

1. E. Azarin, O. Maler, and A. Pnueli, "Symbolic controller synthesis for discrete and timed systems," in Hybrid Systems II. New York: Springer-Verlag, 1995, vol. 999, Lecture Notes in Computer Science, pp. 1-20.
2. J. E. R. Cury, B. H. Krogh, and T. Niinomi, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 564-568, Apr. 1998.
3. M. Heymann, F. Lin, and G. Meyer, "Control synthesis for a class of hybrid systems subject to configuration based safety constraints," NASA, Tech. Mem. 112196, 1997.
4. M. Heymann, F. Lin, and G. Meyer, "Synthesis of minimally restrictive controllers for a class of hybrid systems," in Hybrid Systems IV, A. Nerode, Ed: Springer-Verlag, 1997, vol. 1273, Lecture Notes in Computer Science, pp. 134-159.
5. M. Heymann, F. Lin, and G. Meyer, "Viability of controllers for hybrid machines," in Proc. 36th IEEE Conf. Decision and Control, San Diego, CA, Dec. 10-12, 1997, pp. 714-719.
6. M. Heymann, F. Lin, and G. Meyer, "Synthesis and viability of minimally interventive legal controllers for hybrid systems," Discrete Event Dyna. Syst.: Theory Appl., vol. 8, no. 2, pp. 105-135, 1998.
7. M. Heymann, F. Lin, and G. Meyer, "Control of rate-bounded hybrid systems with liveness specifications," in Advances in Mathematical Systems Theory, F. Colonius, U. Helmke, D. Pratzel-Wolters, and F. Wirth, Eds. Boston, MA: Birkhäuser, 2001, pp. 151-168.
8. K.H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry, "On the regularization of Zeno hybrid automata," Syst. Control Len., vol. 38, pp. 141-150, 1999.
9. D. Kapur and R. K. Shyamasundar, Synthesizing Controllers for Hybrid Systems. New York: Springer-Verlag, 1997, vol. 1201, Lecture Notes in Computer Science, pp. 361-375.
10. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
11. J. Lygeros, K. H. Johansson, S. N. Simic, J. Zhang, and S. Sastry, "Dynamical properties of hybrid automata," IEEE. Trans. Autom. Control, vol. 48, no. 1, pp. 2-17, Jan. 2003.
12. O. Maler, A. Pnueli, and J. Sifakis, On the Synthesis of Discrete Controllers for Timed Systems. New York: Springer-Verlag, 1995, vol. 900, Lecture Notes in Computer Science, pp. 229-242.
13. A. Puri, V. Borkar, and P. Varaiya, "ε-approximation of differential inclusions," in Proc. 34th IEEE Conf. Decision and Control, 1995, pp. 2892-2897.
14. A. V. Savkin and A. S. Matveev, "Cyclic linear differential automata: a simple class of hybrid dynamical systems," Automatica, vol. 36, pp. 727-734, 2000.
15. S. Simic, K. H. Johansson, S. Sastry, and J. Lygeros, "Toward a geometric theory of hybrid systems," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, LNCS, pp. 421-436.
16. J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry, "Zeno hybrid systems," Int. J. Robust Nonlinear Control, vol. 11, no. 5, pp. 435-451, 2001.