Accession Number:

ADA467021

Title:

New Tools for Hybrid Systems

Descriptive Note:

Final technical rept. 1 Feb 2004-31 Jan 2007

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE

Report Date:

2007-05-02

Pagination or Media Count:

9.0

Abstract:

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.

Subject Categories:

  • Numerical Mathematics
  • Theoretical Mathematics
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE