Applying automated control synthesis methods to condition systems requiring state observers

Research output: Contribution to journalConference articlepeer-review


Automated control synthesis methods have been presented in (Holloway et al. , 2000) for a class of fu lly observed plants modeled by condition systems. a class of discrete event systems. For plants which are not fully observed , an automated method to synthesize a state observer was presented in (Gong and Holloway, 2000). In this paper, we show how to apply automated control synthesis methods to plants which feed a state observer. In particular we transform the original plant model into an intermediate form on Which automated control synthesis methods are applied. We prove that the control thus generated is then effective at achieving high level control objectives when then applied to the original plant composed with a state observer.

Original languageEnglish
Pages (from-to)399-404
Number of pages6
JournalIFAC Proceedings Volumes (IFAC-PapersOnline)
Issue number18
StatePublished - 2004
Event7th International Workshop on Discrete Event Systems, WODES 2004 - Reims, France
Duration: Sep 22 2004Sep 24 2004

Bibliographical note

Publisher Copyright:
© 2004 IFAC.


  • Condition systems
  • Control
  • Discrete event systems
  • Observer

ASJC Scopus subject areas

  • Control and Systems Engineering


Dive into the research topics of 'Applying automated control synthesis methods to condition systems requiring state observers'. Together they form a unique fingerprint.

Cite this