MODULAR FEEDBACK LOGIC FOR DISCRETE EVENT SYSTEMS.

P. J. Ramadge, W. M. Wonham

Research output: Contribution to journalArticle

249 Scopus citations

Abstract

We examine a modular approach to the synthesis of state feedback controls for the problem of maintaining a predicate on the state set of a discrete dynamic system invariant. Dynamical systems are modeled by automata together with a mechanism for enabling and disabling a subset of state transitions. The basic problem of interest is to ensure by appropriate control action that a given predicate on the state set of the process remains invariantly true whenever it is initially satisfied. Assuming the predicate can be decomposed into the conjunction or disjunction of component predicates, we determine conditions under which it is possible to synthesize the appropriate control in a modular fashion.

Original languageEnglish (US)
Pages (from-to)l202-1218
JournalSIAM Journal on Control and Optimization
Volume25
Issue number5
DOIs
StatePublished - 1987

All Science Journal Classification (ASJC) codes

  • Control and Optimization
  • Applied Mathematics

Fingerprint Dive into the research topics of 'MODULAR FEEDBACK LOGIC FOR DISCRETE EVENT SYSTEMS.'. Together they form a unique fingerprint.

  • Cite this