TY - GEN
T1 - Deriving simulators for hybrid chi models
AU - Van Beek, D. A.
AU - Man, K. L.
AU - Reniers, M. A.
AU - Rooda, J. E.
AU - Schiffelers, R. R.H.
PY - 2007
Y1 - 2007
N2 - The hybrid Chi language is a formalism for modeling, simulation and verification of hybrid systems. The formal semantics of hybrid Chi allows the definition of provably correct implementations for simulation, verification and real-time control. This paper discusses the principles of deriving an implementation for simulation and verification directly from the semantics, and presents an implementation based on a symbolic solver. The simulator is illustrated by means of a case study.
AB - The hybrid Chi language is a formalism for modeling, simulation and verification of hybrid systems. The formal semantics of hybrid Chi allows the definition of provably correct implementations for simulation, verification and real-time control. This paper discusses the principles of deriving an implementation for simulation and verification directly from the semantics, and presents an implementation based on a symbolic solver. The simulator is illustrated by means of a case study.
UR - http://www.scopus.com/inward/record.url?scp=43049153015&partnerID=8YFLogxK
U2 - 10.1109/CACSD.2006.285442
DO - 10.1109/CACSD.2006.285442
M3 - Conference Proceeding
AN - SCOPUS:43049153015
SN - 0780397975
SN - 9780780397972
T3 - Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD
SP - 42
EP - 49
BT - Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD
T2 - Joint 2006 IEEE Conference on Control Applications (CCA), Computer-Aided Control Systems Design Symposium (CACSD) and International Symposium on Intelligent Control (ISIC)
Y2 - 4 October 2006 through 6 October 2006
ER -