Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Beyond Zeno: Get on with it! Haiyang Zheng, Edward A. Lee, and Aaron D. Ames
 

Summary: Beyond Zeno: Get on with it!
Haiyang Zheng, Edward A. Lee, and Aaron D. Ames
Center for Hybrid and Embedded Software Systems (CHESS)
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley, 94720, U.S.A.
hyzheng@eecs.berkeley.edu, eal@eecs.berkeley.edu,
adames@eecs.berkeley.edu
Abstract. In this paper we propose a technique to extend the sim-
ulation 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 practi-

  

Source: Ames, Aaron - Department of Mechanical Engineering, Texas A&M University
California at Berkeley, University of - Department of Electrical Engineering and Computer Sciences, Ptolemy Project

 

Collections: Computer Technologies and Information Sciences; Engineering