早稲田大学大学院 / 基幹理工学研究科 情報理工・情報通信専攻
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI
Hybrid systems are dynamical systems that include both continuous and discrete changes. Modeling and simulation of hybrid systems can be challenging due to various kinds of subtleties of their...