We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint. By a hybrid system, we mean a collection of continuous nonlinear control systems associated with a discrete finite state automaton. The automaton switches between the continuous control systems, and this switching is a function of the discrete input symbols that it receives.
Specifically, REF provides a purely algebraic view of realization where the switching is a function of discrete input symbols.
An Algebraic Approach to Hybrid Systems
Theoretical Computer Science
Mathematics Computer Science