Citation
Aaron Ames, Robert Gregg, Haiyang Zheng, Shankar Sastry. "Is There Life After Zeno? Taking Executions past the Breaking (Zeno) Point". 2007 American Control Conference, ACS, 23, June, 2006; Presented in conjunction with BEARS 2006.

Abstract
In this paper we propose a technique to extend the simulation of a Zeno hybrid system beyond its Zeno time point. A Zeno hybrid system model is a hybrid system with an execution that takes an infinite number of discrete transitions during a finite time interval. We argue that the presence of Zeno behavior indicates that the hybrid system model is incomplete by considering some classical Zeno models that incompletely describe the dynamics of the system being modeled. This motivates the systematic development of a method for completing hybrid system models through the introduction of new post-Zeno states, where the completed hybrid system transitions to these post-Zeno states at the Zeno time point. In practice, simulating a Zeno hybrid system is challenging in that simulation effectively halts near the Zeno time point. Moreover, due to unavoidable numerical errors, it is not practical to exactly simulate a Zeno hybrid system. Therefore, we propose a method for constructing approximations of Zeno models by leveraging the completed hybrid system model. Using these approximation, we can simulate a Zeno hybrid system model beyond its Zeno point and reveal the complete dynamics of the system being modeled.

Electronic downloads

• ames-zeno-poster.ppt · application/vnd.ms-powerpoint · 1656 kbytes
• http://ptolemy.eecs.berkeley.edu/publications/papers/06/lifeafterZeno/
• http://dx.doi.org/10.1109/ACC.2006.1656623

• HTML

  Aaron Ames, Robert Gregg, Haiyang Zheng, Shankar Sastry.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/22.html"
  >Is There Life After Zeno? Taking Executions past the
  Breaking (Zeno) Point</a>, 2007 American Control
  Conference, ACS, 23, June, 2006; Presented in conjunction
  with BEARS 2006.

• Plain text

  Aaron Ames, Robert Gregg, Haiyang Zheng, Shankar Sastry.
  "Is There Life After Zeno? Taking Executions past the
  Breaking (Zeno) Point". 2007 American Control
  Conference, ACS, 23, June, 2006; Presented in conjunction
  with BEARS 2006.

• BibTeX

  @inproceedings{AmesGreggZhengSastry06_IsThereLifeAfterZenoTakingExecutionsPastBreakingZeno,
      author = {Aaron Ames and Robert Gregg and Haiyang Zheng and
                Shankar Sastry},
      title = {Is There Life After Zeno? Taking Executions past
                the Breaking (Zeno) Point},
      booktitle = {2007 American Control Conference},
      organization = {ACS},
      day = {23},
      month = {June},
      year = {2006},
      note = {Presented in conjunction with BEARS 2006.},
      abstract = {In this paper we propose a technique to extend the
                simulation of a Zeno hybrid system beyond its Zeno
                time point. A Zeno hybrid system model is a hybrid
                system with an execution that takes an infinite
                number of discrete transitions during a finite
                time interval. We argue that the presence of Zeno
                behavior indicates that the hybrid system model is
                incomplete by considering some classical Zeno
                models that incompletely describe the dynamics of
                the system being modeled. This motivates the
                systematic development of a method for completing
                hybrid system models through the introduction of
                new post-Zeno states, where the completed hybrid
                system transitions to these post-Zeno states at
                the Zeno time point. In practice, simulating a
                Zeno hybrid system is challenging in that
                simulation effectively halts near the Zeno time
                point. Moreover, due to unavoidable numerical
                errors, it is not practical to exactly simulate a
                Zeno hybrid system. Therefore, we propose a method
                for constructing approximations of Zeno models by
                leveraging the completed hybrid system model.
                Using these approximation, we can simulate a Zeno
                hybrid system model beyond its Zeno point and
                reveal the complete dynamics of the system being
                modeled.},
      URL = {http://chess.eecs.berkeley.edu/pubs/22.html}
  }
  

Posted by Jonathan Sprinkle on 27 Feb 2006.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.