@inproceedings{851c784920684f3787a9ee6a39d3a267,
title = "Bounded sensor failure tolerant supervisory control",
abstract = "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.",
keywords = "Discrete-event systems, Fault tolerance, Partial observation, Sensor failure, Supervisory control",
author = "Kurt Rohloff",
note = "Funding Information: deterioration of controΦ systems over time. For instance, conference paper RohΦoff (2005), which was deveΦoped controΦ circuitry may degenerate as a controΦ system ages, independentΦy of Sanchez and Montoya (2006). a controΦ actuator may become stuck, or sensors may faiΦ. As an iΦΦustration of the chaΦΦenge of supervisory controΦ These partiaΦ controΦ system faiΦures may aΦter the abiΦitiewsith fauΦty sensors, one might think that for there to of the controΦ system. exist a supervisory controΦ system that is toΦerant to Our work in this paper buiΦds off our previous work in singΦe sensor faiΦures, one couΦd ensure that for aσΦΦ∈ RohΦoff(2005)whereweintroducedtheconceptoffauΦty- Σo, Lm(H) is observabΦe with respect toL(G), Σo \textbackslash{} sensorcontroΦ,aversionofobservabiΦityforsystemswith \{σ\} and Σc. That is, one might expect that if for a fauΦty sensors caΦΦed sensor faiΦure observabiΦity. and insp-ecification H and system G that if any one event σ ∈ Σo → is made unobservabΦe during controΦ operation, but the troduced the G construction to test sensor faiΦure ob- specification Lm(H) is aΦways observabΦe with respect servabiΦity. There has been some reΦated work incΦudingto any Σo \textbackslash{} \{σ\}, then there wouΦd exist a nonbΦocking supported in part by the NSF grant CCR 00- controΦΦerS toΦerant to singΦe sensor faiΦures such that Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 11th International Workshop on Discrete Event Systems, WODES 2012 ; Conference date: 03-10-2012 Through 05-10-2012",
year = "2012",
doi = "10.3182/20121003-3-MX-4033.00045",
language = "English (US)",
isbn = "9783902823281",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "29",
pages = "272--277",
booktitle = "WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings",
address = "Austria",
edition = "29",
}