Accession Number:

ADA459490

Title:

Output Stabilizability of Discrete Event Dynamic Systems

Descriptive Note:

Technical rept.

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR INFORMATION AND DECISION SYSTEMS

Personal Author(s):

Report Date:

1989-06-21

Pagination or Media Count:

50.0

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.

Subject Categories:

  • Electrical and Electronic Equipment
  • Operations Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE