Analysis of zeno behaviors in hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2002, Pages 2379-2384

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

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b Wayne State University   (United States)

^c NASA AMES RESEARCH CENTER   (United States)

Author keywords

Control; Hybrid systems; Zenoness

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONSTRAINT THEORY; HYBRID COMPUTERS; ITERATIVE METHODS; NONLINEAR CONTROL SYSTEMS;

EQUIVALENT CONTINUOUS SYSTEM; HYBRID SYSTEMS; ZENO BEHAVIOR; ZENONESS;

CONTROL SYSTEM ANALYSIS;

EID: 0242417095     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. E. Azarin, O. Maler, and A. Pnueli, 1995. Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II, Lecture Notes in Computer Science, 999, Springer Verlag, pp. 1-20.
2. A. Balluchi, L. Benvenetu, T. Villa, H. Wong-Toi, A.L. Sangiovanni-Vincentelli, 1999. "Controller synthesis for hybrid systems with lower bounds of event separation", Proceedings 38th Conference on Decision and Control, Phoenix Az., pp. 3984-3989.
3. A. Balluchi, L. Benvenetu, A.L. Sangiovanni-Vincentelli, T. Villa, H. Wong-Toi, 2000. "Non-Zeno controller synthesis for hybrid systems", preprint.
4. J.E.R. Cury, B. H. Krogh, and T. Niinomi, 1998. Synthesis of Supervisory Controllers for Hybrid Systems Based on Approximating Automata. IEEE Transactions on Automatic Control, 43(4), pp. 564-568.
5. T. A. Henzinger and P. W. Kopke, 1997. Discrete time control for rectangular hybrid automata. Proc. of 24th International Colloquium on Automata, Languages and Programming.
6. M. Heymann, F. Lin and G. Meyer, 1997. Control synthesis for a class of hybrid systems subject to configuration based safety constraints. NASA Technical Nemorandum 112196.
7. M. Heymann, F. Lin and G. Meyer, 1998. Synthesis and viability of minimally interventive legal controllers for hybrid systems. Discrete Event Dynamic Systems: Theory and Applications, 8(2), pp. 105-135.
8. K. H. Johansson, M. Egerstedt, J. Lygeros and S. Sastry, 1999. On the regularization of Zeno hybrid automata System & Control Letters, 38, pp. 141-150.
9. D. Kapur and R. K. Shyamasundar, 1997. Synthesizing Controllers for Hybrid Systems. Lecture Notes in Computer Science 1201, Springer Verlag, pp. 361-375.
10. O. Maler, A. Pnueli and J. Sifakis, 1995. On the synthesis of discrete controllers for timed systems. Lecture Notes in Computer Science 900, Springer-Verlag, pp. 229-242.
11. H. Wong-Toi, 1997. The synthesis of controllers for linear hybrid automata. Proc. of 36th IEEE Conference on Decision and Control, pp. 4607-4613.