The Theory of Rectangular Hybrid Automata
No Access Until
Permanent Link(s)
Collections
Other Titles
Author(s)
Abstract
A {\em hybrid automaton/} consists of a finite automaton interacting with a dynamical system. Hybrid automata are used to model embedded controllers and other systems that consist of interacting discrete and continuous components. A hybrid automaton is {\em rectangular/} if each of its continuous variables~