Abstract
This paper discusses about supervisory control under possible loss of observability. The final goal of this work is to design a safe (avoiding disaster states) supervisory control loop structure taking into consideration the uncertainty that stems from the fact that some event(s) may turn into unobservable at some point along the normal system operation. This kind of failure may correspond to the breakdown of some plant sensor. The supervisor finally obtained is in general: a) more permissive than the supervisor obtained assuming those events as unobservable from the beginning, since at some points it shall be better informed, and b) more restrictive than the supervisor obtained assuming that those events shall never fail, since it will have to prevent the system from following some undesirable trajectories that the system could take in presence of an observability failure. This paper presents results to obtain a safe controller that avoids disaster states in presence of the described uncertainty, and also ensures that the system behaviour will not run out from its specifications in absence of failure.
Similar content being viewed by others
References
Boel RK (2002) Adaptive supervisory control. In: Caillaud B, Darondeau P, Lavagno L, Xie X (eds) Synthesis and Control of Discrete Event Systems. Kluwer, Norwell,Massachusetts, pp 115–123
Cassandras CG, Lafortune S (1999) Introduction to Discrete Event Systems. Kluwer, Norwell Massachussetts
Blanke M (2003) Diagnosis and fault-tolerant control. Kluwer, Norwell, Massachussetts
Hashtrudi–Zad S, Kwong R, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Automat Contr 48(7):1199–1212
Hashtrudi–Zad S, Kwong R, Wonham WM (1998) Fault diagnosis in discrete-event systems: framework and model reduction. In: Proceedings of the 37th IEEE Conference on Decision and Control, pp 3769–3774
Lin F (1993) Robust and adaptive supervisory control of discrete event systems. IEEE Trans Automat Contr 38(12):1848–1852
Montoya FJ, Sánchez AM (2003) Safe Supervisory Control under Observability Failure, Departamento de Informática y Sistemas. Technical Report, Universidad de Murcia.
Ramadge P, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25:206–230
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40(5):1555–1575
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sánchez, A.M., Montoya, F.J. Safe Supervisory Control Under Observability Failure. Discrete Event Dyn Syst 16, 493–525 (2006). https://doi.org/10.1007/s10626-006-0022-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-006-0022-8