Skip to main content
Log in

Minimal sensor activation and minimal communication in discrete-event systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21

Similar content being viewed by others

References

  • Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edition. Springer, New York

    Book  MATH  Google Scholar 

  • Cassez F, Tripakis S (2008) Fault diagnosis with static and dynamic observers. Fundamenta Informaticae 88(4):497–540

    MathSciNet  MATH  Google Scholar 

  • Dallal E, Lafortune S (2014) On most permissive observers in dynamic sensor activation problems. IEEE Trans Autom Control 59(4):966–981

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Addison Wesley, Reading

    MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • Lafortune S (2007) On decentralized and distributed control of partially-observed discrete event systems. Lecture Notes Control Inf Sci 53:171–184

    Article  MathSciNet  MATH  Google Scholar 

  • Lin F (1994) Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(1):197–212

    Article  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230

    Article  MathSciNet  MATH  Google Scholar 

  • Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98

    Article  MathSciNet  MATH  Google Scholar 

  • Rohloff K, Khuller S, Kortsarz G (2006) Approximating the minimal sensor selection for supervisory control. Discret Event Dyn Syst 16(1):143–170

    Article  MathSciNet  MATH  Google Scholar 

  • Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system. IEEE Trans Autom Control 48(6):957–975

    Article  MathSciNet  Google Scholar 

  • Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40 (9):1555–1575

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  Google Scholar 

  • Shu S, Lin F (2010) Detectability of discrete event systems with dynamic event observation. Syst Control Lett 59(1):9–17

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • Shu S, Lin F (2013) Delayed detectability of discrete event systems. IEEE Trans Autom Control 58(4):862–875

    Article  MathSciNet  Google Scholar 

  • Shu S, Lin F (2013) I-detectability of discrete-event systems. IEEE Trans Automat Sci Eng 10(1):187–196

    Article  MathSciNet  Google Scholar 

  • Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Automat Contr 52(12):2356–2359

    Article  MathSciNet  Google Scholar 

  • Thistle J, Wonham WM (1994) Control of infinite behavior of finite automata. SIAM J Control Optim 32(4):1075–1097

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Wang W, Lafortune S, Girard AR, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165–1175

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Wong KC, Wonham WM (2004) On the computation of observers in discrete-event systems. Discrete Event Dyn Syst 14(1):55–107

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  Google Scholar 

  • Zwick U, Paterson M (1996) The complexity of mean payoff games on graphs. Theor Comput Sci 158(1–2):343–359

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Karen Rudie.

Additional information

This work was supported, in part, by the Natural Sciences and Engineering Research Council of Canada (NSERC).

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-015-0212-3

Keywords

Navigation