New Tools for Hybrid Systems
Final technical rept. 1 Feb 2004-31 Jan 2007
MASSACHUSETTS INST OF TECH CAMBRIDGE
Pagination or Media Count:
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, inputoutput stability, external stability and incremental inputoutput 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 inputoutput and the external sense. We show that for a class of systems, incremental IO stability and external stability are equivalent notions, stronger than the notion of IO stability.
- Numerical Mathematics
- Theoretical Mathematics
- Computer Hardware