TY - GEN
T1 - Bounded sensor failure tolerant supervisory control
AU - Rohloff, Kurt
N1 - 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 \ 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 \ {σ}, 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.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
KW - Discrete-event systems
KW - Fault tolerance
KW - Partial observation
KW - Sensor failure
KW - Supervisory control
UR - http://www.scopus.com/inward/record.url?scp=84881059146&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84881059146&partnerID=8YFLogxK
U2 - 10.3182/20121003-3-MX-4033.00045
DO - 10.3182/20121003-3-MX-4033.00045
M3 - Conference contribution
AN - SCOPUS:84881059146
SN - 9783902823281
T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)
SP - 272
EP - 277
BT - WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings
PB - IFAC Secretariat
T2 - 11th International Workshop on Discrete Event Systems, WODES 2012
Y2 - 3 October 2012 through 5 October 2012
ER -