We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynami...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!