Output Stabilizability of Discrete Event Dynamic Systems
Abstract
In this paper, we investigate the problem of designing stabilizing feedback compensators for Discrete Event Dynamic Systems (DEDS). The DEDS model used is a finite-state automaton in which some transition events are controllable and some events are observed. The problem of output stabilization is defined as the construction of a compensator such that the closed loop system is stable, in the sense that all state trajectories go through a given set E infinitely often. We define a stronger notion of output stabilizability which requires that we also have perfect knowledge of the state in E through which the trajectory passes on each of its visits to E. Necessary and sufficient conditions are presented for both notions. The complexity of these tests is polynomial in the cardinality of the state space of the observer. A number of sufficient conditions for the weaker notion are also presented. Corresponding tests for these sufficient conditions are shown to be polynomial in the cardinality of the state space of the system. Finally, a problem of resilient output stabilizability is addressed.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 21, 1989
- Accession Number
- ADA459490
Entities
People
- Alan S. Willsky
- Cuneyt M. Ozveren
Organizations
- Massachusetts Institute of Technology