Abstract
This paper considers partially-observed discrete-event systems modeled by finite-state automata. The observation of event occurrences is associated with the transitions of the automaton model. That is, whether or not an event occurrence is observed is state-dependent, i.e., it depends on the transition in which the event label appears. This is in contrast to the case when observations are static and an event is either observed or not observed at every state in which it can occur. We refer to the set of transitions whose associated events are observed as an observation policy. Given an automaton model and an observation policy, we consider the problem of computing a deterministic generator of the language of event sequences that are observed using the automaton model and observation policy (i.e., an observer). Such a generator is useful, e.g., in problems of sensor activation for providing a deterministic mapping from event observations to sensor activation decisions when the decision to activate an event’s sensor is initially modeled as an observation policy. We propose an abstraction of the automaton model that may be used to represent an observer in certain cases. We illustrate cases where this abstraction accurately represents an observer when there is no ambiguity as to which event occurrences are observed following two observationally-identical strings. For the most general case considered, we demonstrate that verifying if the case holds is PSPACE-complete.
Similar content being viewed by others
Notes
By contrast, in standard partially-observed discrete-event systems, if a string s is in \(\mathcal {L}(G)\), this does not imply that P(s) is in \(\mathcal {L}(G)\)
References
Carvalho LK, Moreira MV, Basilio JC (2017) Diagnosability of intermittent sensor faults in discrete event systems. Automatica 79:315–325
Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer-Verlag, New York
Cassez F., Tripakis S. (2008) Fault diagnosis with static and dynamic observers. Fund Inform 88(4):497–540
Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171–202
Dallal E, Lafortune S (2011) Efficient computation of most permissive observers in dynamic sensor activation problems. In: Proceedings of the 2nd international workshop on logical aspects of fault-tolerance (LAFT 2011), Toronto, ON, Canada
Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Reading Massachusetts. Addison Wesley, USA
Juqin X, Yan J, Shaolong S (2010) Minimal k-step event observation policy for on-line observability of discrete event systems. In: Proceedings of the 29th Chinese control conference, pp 1476–1482, Beijing, China
Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system. IEEE Trans Autom Control 48(6):957–975
Savitch WJ (1970) Relationships between nondeterministic and deterministic tape complexities. J Comput Syst Sci 4(2):177–192
Sears D, Rudie K (2013a) Computing sensor activation decisions from state equivalence classes in discrete-event systems. In: Proceedings of the 52nd IEEE conference on decision and control, CDC 2013, December 10-13, 2013, Firenze, Italy, pp 6972–6977
Sears D, Rudie K (2013b) Efficient computation of sensor activation decisions in discrete-event systems. In: Proceedings of the 52nd IEEE conference on decision and control, CDC 2013, December 10-13, 2013, Firenze, Italy, pp 6966–6971
Sears D, Rudie K (2013c) Sensor activation and communication problems in discrete-event systems. Technical Report #2013-601, School of Computing,. Queen’s University Kingston, Ontario. http://research.cs.queensu.ca/TechReports/Reports/2013-601.pdf
Sears D, Rudie K (2014) On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. In: Proceedings of the 53rd IEEE Conference on Decision and Control, CDC 2014, December 15-17 Los Angeles, California, pp 6731–6736
Sears D, Rudie K (2015) Minimal sensor activation and minimal communication in discrete-event systems. Discrete Event Dyn Syst 26:295–349
Sears D, Rudie K (2017) Computation and applications of indistinguishable state pairs in discrete-event systems. Submitted to the Journal of Discrete Event Dynamic Systems
Shu S, Lin F (2010) Detectability of discrete event systems with dynamic event observation. Syst Control Lett 59(1):9–17
Stockmeyer LJ, Meyer AR (1973) Word problems requiring exponential time: preliminary report. In: Aho AV, Borodin A, Constable RL, Floyd RW, Harrison MA, Karp RM, Strong HR (eds) Proceedings of the fifth annual ACM symposium on theory of computing (STOC), pp 1–9
Thorsley D, Teneketzis D (2007) Active acquisition of information for diagnosis and supervisory control of discrete event systems. Discrete Event Dyn Syst 17(4):531–583
Wang W, Lafortune S, Girard A R, Lin F (2010a) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165–1175
Wang W, Lafortune S, Lin F, Girard A R (2010b) Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Autom Control 55(11):2447–2461
Wang W (2016) Online minimization of sensor activation for supervisory control. Automatica 73:8–14
Wang W, Gong C (2017) Calculating all minimal transition-based sensor activation policies for the purpose of supervisory control. IEEE Trans Autom Control 62(11):5894–5901
Wonham WM, Cai K (2018) Supervisory control of discrete-event systems. Systems Control Group, Dept. of ECE, Univ. of Toronto, 2018 [Online]. http://www.control.toronto.edu/people/profs/wonham/wonham.html, Accessed February 2018
Wang W, Gong C, Wang D (2018) Optimizing sensor activation in a language domain for fault diagnosis. IEEE Transactions on Automatic Control. Accessible at. https://ieeexplore.ieee.org/document/8373703/
Acknowledgements
The authors wish to thank the referees and editor-in-chief of JDEDS for their valuable feedback which helped reshape our positioning of the problems examined in this paper. The authors wish to thank Dr. Kai Salomaa and Dr. John Mullins for their feedback on a preliminary version of this paper. This work was supported, in part, by the Natural Sciences and Engineering Research Council of Canada (NSERC).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Sears, D., Rudie, K. Computing observers from observation policies in discrete-event systems. Discrete Event Dyn Syst 28, 509–537 (2018). https://doi.org/10.1007/s10626-018-0272-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-018-0272-2