Abstract
This paper is an overview of the current research on minimal sensor activation and minimal communication in discrete-event systems. In problems of sensor activation agents observing a discrete-event system can turn the sensors for their observable events on or off dynamically. In problems of communication agents observing a discrete-event system can communicate event observations to one another dynamically. In both cases, a result is that the observations made by an agent are dynamic. That is, whether or not an agent observes an event or receives a communication is dependent on other factors besides membership of certain events to certain predefined sets. We survey such problems and associated works where, additionally, the use of event sensors and communication of messages must be minimized with respect to certain criteria. The application areas considered are the diagnosis, state disambiguation and state estimation of discrete-event systems.
Similar content being viewed by others
References
Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edition. Springer, New York
Cassez F, Tripakis S (2008) Fault diagnosis with static and dynamic observers. Fundamenta Informaticae 88(4):497–540
Dallal E, Lafortune S (2014) On most permissive observers in dynamic sensor activation problems. IEEE Trans Autom Control 59(4):966–981
Haji-Valizadeh A, Loparo KA (1996) Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems. IEEE Trans Autom Control 41 (11):1579–1593
Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Addison Wesley, Reading
Jirásková G, Masopust T (2012) On properties and state complexity of deterministic state-partition automata. In: Theoretical computer science. Springer Science + Business Media, pp 164–178
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, Beijing, pp 1476–1482
Karp R (1978) A characterization of the minimum cycle mean in a digraph. Discret Math 23(1):309–311
Lafortune S (2007) On decentralized and distributed control of partially-observed discrete event systems. Lecture Notes Control Inf Sci 53:171–184
Lin F (1994) Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(1):197–212
Lin F, Rudie K, Lafortune S (2007) Minimal communication for essential transitions in a distributed discrete-event system. IEEE Trans Autom Control 52 (8):1495–1502
Loughry J, Hemert JIV, Schoofs L (2002) Efficiently enumerating the subsets of a set
Mealy GH (1955) A method for synthesizing sequential circuits. Bell System Tech J 34(5):1045–1079
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98
Rohloff K, Khuller S, Kortsarz G (2006) Approximating the minimal sensor selection for supervisory control. Discret Event Dyn Syst 16(1):143–170
Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system. IEEE Trans Autom Control 48(6):957–975
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40 (9):1555–1575
Sears D, Rudie K (2013) 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, Firenze, Italy, pp 6972–6977
Sears D, Rudie K 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 Sensor activation and communication problems in discrete-event systems. Technical Report #2013-601, School of Computing, Queen’s University, Kingston, Ontario, Canada, Jan. 2013. Available at http://research.cs.queensu.ca/TechReports/Reports/2013-601.pdf
Shu S, Huang Z, Lin F (2012) Minimal sensor activation for co-detectability of multi-agent discrete event systems. In: 31st Chinese Control Conference, pp 2088–2093. IEEE
Shu S, Huang Z, Lin F (2013) Online sensor activation for detectability of discrete event systems. IEEE Trans Automat Sci Eng 10(2):457–461
Shu S, Lin F (2010) Detectability of discrete event systems with dynamic event observation. Syst Control Lett 59(1):9–17
Shu S, Lin F (2011) Co-detectability of multi-agent discrete event systems. In: 2011 Chinese Control and Decision Conference (CCDC). IEEE
Shu S, Lin F (2011) Generalized detectability for discrete event systems. Syst Control Lett 60(5):310–317
Shu S, Lin F (2013) Delayed detectability of discrete event systems. IEEE Trans Autom Control 58(4):862–875
Shu S, Lin F (2013) I-detectability of discrete-event systems. IEEE Trans Automat Sci Eng 10(1):187–196
Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Automat Contr 52(12):2356–2359
Thistle J, Wonham WM (1994) Control of infinite behavior of finite automata. SIAM J Control Optim 32(4):1075–1097
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 (2007) Optimization of Communication and Coverage in Classes of Distributed Systems. PhD thesis, Department of Electrical Engineering and Computer Science, University of Michigan
Wang W, Girard AR, Lafortune S, Lin F (2011) On codiagnosability and coobservability with dynamic observations. IEEE Trans Autom Control 56(7):1551–1566
Wang W, Lafortune S, Girard AR, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165–1175
Wang W, Lafortune S, Lin F (2007) An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Syst Control Lett 59(9–10):656–661
Wang W, Lafortune S, Lin F (2008) Minimization of communication of event occurrences in acyclic discrete event systems. IEEE Trans Autom Control 53 (9):2197–2202
Wang W, Lafortune S, Lin F (2008) On the minimization of communication in networked systems with a central station. Discrete Event Dyn Syst Theory Appl 18 (3):415–443
Wang W, Lafortune S, Lin F, Girard AR (2009) An online algorithm for minimal sensor activation in discrete event systems. In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC/CCC 2009, pp 2242–2247
Wang W, Lafortune S, Lin F, Girard AR (2010) Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Autom Control 55(11):2447–2461
Wong KC, Wonham WM (2004) On the computation of observers in discrete-event systems. Discrete Event Dyn Syst 14(1):55–107
Wonham WM (2012) Supervisory control of discrete-event systems. Systems Control Group, Dept. ECE, Univ. Toronto, [Online]. Available: http://www.control.toronto.edu/people/profs/wonham/wonham.html
Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637–659
Yoo T-S, Lafortune S (2002) NP-completeness of sensor selection problems arising in partially-observed discrete-event systems. IEEE Trans Autom Control 47 (9):1495–1499
Young SD, Garg VK (1994) Optimal sensor and actuator choices for discrete event systems
Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annu Rev Control 37(2):308–320
Zwick U, Paterson M (1996) The complexity of mean payoff games on graphs. Theor Comput Sci 158(1–2):343–359
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported, in part, by the Natural Sciences and Engineering Research Council of Canada (NSERC).
Rights and permissions
About this article
Cite this article
Sears, D., Rudie, K. Minimal sensor activation and minimal communication in discrete-event systems. Discrete Event Dyn Syst 26, 295–349 (2016). https://doi.org/10.1007/s10626-015-0212-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-015-0212-3