New Tools for Hybrid Systems

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, 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 02, 2007
Accession Number
ADA467021

Entities

People

  • Alexandre Megretski
  • Munther A. Dahleh

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Closed Loop Systems
  • Computer Science
  • Electrical Engineering
  • Engineering
  • Feedback
  • Gain
  • Geographic Regions
  • Hidden Markov Models
  • Hybrid Systems
  • Information Theory
  • Load Monitoring
  • Machines
  • Markov Models
  • Models
  • Stochastic Processes

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Robotics and Automation.
  • Systems Analysis and Design