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
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;
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
DOI :
10.1109/CACSD-CCA-ISIC.2006.4776622