Hybrid systems are dynamical systems with continuous changes of states and discrete changes of states and governing equations. HydLa is a constraint-based modeling language for hybrid systems, and its implementation aims for system verification by means of simulation with guaranteed accuracy. However, how to simulate HydLa programs with initial values given as ranges or with symbolic parameters has not been clarified. This paper gives anondeterministic execution algorithm that correctly handles discrete and continuous changes in HydLa programs.
|出版ステータス||Published - 2011|
ASJC Scopus subject areas