Fault recovering taskblocks and control synthesis for a class of condition systems

Jeff Ashley, Lawrence E. Holloway, Nathalie Dangoumau

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


in this paper, we define fault recovery in terms of condition system languages, and show how to modify a component model to represent a fault that limits the functionality of a component. We also show under what conditions a control can be synthesized to work around such a fault. Finally, we consider the propagation of faulty behavior throughout the system and present an algorithm to evaluate whether some target specification is achievable by utilizing existing control synthesis techniques.

Original languageEnglish
Title of host publicationProceedings of the 16th IFAC World Congress, IFAC 2005
Number of pages6
StatePublished - 2005

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
ISSN (Print)1474-6670

Bibliographical note

Funding Information:
This work has been supported in part by the National Science Foundation grant ECS-0115694, Office of Naval Research N000140110621, and the Center for Manufacturing at the University of Kentucky.


  • Control system synthesis
  • Discrete-event systems
  • Fault diagnosis
  • Fault-tolerant systems
  • Intelligent manufacturing systems
  • Petri-nets

ASJC Scopus subject areas

  • Control and Systems Engineering


Dive into the research topics of 'Fault recovering taskblocks and control synthesis for a class of condition systems'. Together they form a unique fingerprint.

Cite this