A unified framework for modeling and implementation of hybrid systems with synchronous controllers

Avinash Malik, Partha Roop

This paper presents a novel approach to including non-instantaneous discrete control transitions in the linear hybrid automaton approach to simulation and verification of hybrid co…