Bounded sensor failure tolerant supervisory control

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Scopus citations


This paper discusses problems related to partial observation supervisory controllers with possibly faulty sensors in the framework of discrete-event systems. At initialization all controller sensors are operational such that all sensors correctly communicate their event observations to the controller. Sensor failures are unobservable. After a sensor fails, it sends no signals to the controller. Depending on the sensor failure dynamics, the controlled system could exhibit a bounded range of behaviors. We define languages that respectively define the minimal and maximal sets of behaviors that could be exhibited by a controlled system with faulty sensors. We introduce bounded discrete-event supervisory control problems for faulty-sensor control systems. We use a construction to test for the existence of controllers with faulty sensors for two different control scenarios. We discuss how to synthesize these controllers using standard supervisory control methods.

Original languageEnglish (US)
Title of host publicationWODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings
PublisherIFAC Secretariat
Number of pages6
ISBN (Print)9783902823281
StatePublished - 2012
Externally publishedYes
Event11th International Workshop on Discrete Event Systems, WODES 2012 - Guadalajara, Jalisco, Mexico
Duration: Oct 3 2012Oct 5 2012

Publication series

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


Other11th International Workshop on Discrete Event Systems, WODES 2012
CityGuadalajara, Jalisco

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering


  • Discrete-event systems
  • Fault tolerance
  • Partial observation
  • Sensor failure
  • Supervisory control


Dive into the research topics of 'Bounded sensor failure tolerant supervisory control'. Together they form a unique fingerprint.

Cite this