Language Stability and Stabilizability of Discrete Event Dynamical Systems

Abstract

This paper studies the stability and stabilizability of Discrete Event Dynamical Systems (DEDS's) modeled by state machines. We define stability and stabilizability in terms of the behavior of the DEDS's, i.e. the language generated by the state machines (SM's). This generalizes earlier work where they were defined in terms of legal and illegal states rather than strings. The notion of reversal of languages is used to obtain algorithms for determining the stability and stabilizability of a given system. The notion of stability is then generalized to define the stability of infinite or sequential behavior of a DEDS modeled by a Buechi automaton. The relationship between the stability of finite and stability of infinite behavior is obtained and a test for stability of infinite behavior is obtained in terms of the test for stability of finite behavior. We present an algorithm of linear complexity for computing the regions of attraction, which is used for determining the stability and stabilizability of a given system defined in terms of legal states. This algorithm is then used to obtain efficient tests for checking sufficient conditions for language stability and stabilizability.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 21, 1992
Accession Number
ADA454858

Entities

People

  • Ratnesh Kumar
  • Steven I Marcus
  • Vijay Garg

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Electrical Engineering
  • Engineering
  • Information Operations
  • Language
  • Machines
  • Universities

Readers

  • Control Systems Engineering.
  • Mathematical Modeling and Probability Theory.