New Tools for Hybrid Systems
Munther A. Dahleh, Alexandre Megretski · 2007
The ultimate goal of our research is to find a procedure that would enable us to generate, for a class of systems, nominal finite state machine models with guaranteed error bounds that are usable for robust controller synthesis. We consider three notions of stability, input/output stability, external stability and incremental input/output stability, as they apply to deterministic finite state machine systems. We propose LP based algorithms for verifying stability of a system, or lack thereof, in the input/output and the external sense. We show that for a class of systems, incremental I/O stability and external stability are equivalent notions, stronger than the notion of I/O stability.