DocumentCode
2640760
Title
Deriving simulators for hybrid Chi models
Author
van Beek, D.A. ; Man, K.L. ; Reniers, M.A. ; Rooda, J.E. ; Schiffelers, R.R.H.
Author_Institution
Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513 5600 MB, The Netherlands
fYear
2006
fDate
4-6 Oct. 2006
Firstpage
42
Lastpage
49
Abstract
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.
Keywords
Algebra; Analytical models; Circuit simulation; Computational modeling; Computer science; Computer simulation; Control system synthesis; Differential equations; Manufacturing industries; Mathematical model;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE
Conference_Location
Munich, Germany
Print_ISBN
0-7803-9797-5
Electronic_ISBN
0-7803-9797-5
Type
conf
DOI
10.1109/CACSD-CCA-ISIC.2006.4776622
Filename
4776622
Link To Document