Stability of deterministic finite state machines

We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming b...

Full description

Saved in:
Bibliographic Details
Main Authors: Tarraf, D.C., Dahleh, M.A., Megretskr, A.
Format: Conference Proceeding
Language:English
Subjects:
Asymptotic stability
Automata
Discrete event systems
Lyapunov method
Nonlinear systems
Robust control
Robust stability
Space technology
Stability analysis
Sufficient conditions
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming based algorithms for verifying stability of a system, or lack thereof, in the finite gain input/output and the external sense. We show that for this class of systems, incremental input/output stability and external stability are equivalent notions, stronger than the notion of finite gain input/output stability.
ISSN:0743-1619
2378-5861
DOI:10.1109/ACC.2005.1470590