Abstract
This entry provides an overview of the problems addressed by DES theory, with an emphasis on their connection to various application contexts. The primary intentions are to reveal the caliber and the strengths of this theory and to direct the interested reader, through the listed citations, to the corresponding literature. The concluding part of the article also identifies some remaining challenges and further opportunities for the area.
Bibliography
Akesson K, Fabian M, Flordal H, Malik R (2006) SUPREMICA-an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings of the 8th international workshop on discrete event systems. IEEE, pp 384–385
Alenljung T, Lennartson B, Hosseini MN (2012) Sensor graphs for discrete event modeling applied to formal verification of PLCs. IEEE Trans Control Syst Technol 20:1506–1521
Andersson K, Richardsson J, Lennartson B, Fabian M (2010) Coordination of operations by relation extraction for manufacturing cell controllers. IEEE Trans Control Syst Technol 18:414–429
Baccelli F, Cohen G, Olsder GJ, Quadrat JP (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New York
Balemi S, Hoffmann GJ, Wong-Toi PG, Franklin GJ (1993) Supervisory control of a rapid thermal multiprocessor. IEEE Trans Autom Control 38:1040–1059
Banks J, Carson II JS, Nelson BL, Nicol DM (2009) Discrete-event system simulation, 5th edn. Prentice Hall, Upper Saddle
Bertsekas DP (1995) Dynamic programming and optimal control, vols 1,2. Athena Scientific, Belmont
Brandin B (1996) The real-time supervisory control of an experimental manufacturing cell. IEEE Trans Robot Autom 12:1–14
Cabasino MP, Giua A, Seatzu C (2013) Structural analysis of Petri nets. In: Seatzu C, Silva M, van Schuppen JH (eds) Control of discrete-event systems: automata and petri net perspectives. Springer, London, pp 213–233
Cao X-R (2005) Basic ideas for event-based optimization of Markov systems. Discrete Event Syst Theory Appl 15:169–197
Cao X-R (2007) Stochastic learning and optimization: a sensitivity approach. Springer Science, New York
Cassandras CG (1994) Perturbation analysis and “rapid learning” in the control of manufacturing systems. In: Leondes CT (ed) Dynamics of discrete event systems, vol 51, pp 243–284. Academic Press
Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd ed. Springer, New York
Cassandras CG, Strickland SG (1988) Perturbation analytic methodologies for design and optimization of communication networks. IEEE J Sel Areas Commun 6:158–171
Cassandras CG, Yao C (2013) Hybrid models for the control and optimization of manufacturing systems. In: Campos J, Seatzu C, Xie X (eds) Formal methods in manufacturing. CRC Press/Taylor and Francis, Boca Raton
Cassandras CG, Wardi Y, Melamed B, Sun G, Panayiotou CG (2002) Perturbation analysis for on-line control and optimization of stochastic fluid models. IEEE Trans Autom Control 47:1234–1248
Chandra V, Huang Z, Kumar R (2003) Automated control synthesis for an assembly line using discrete event system theory. IEEE Trans Syst Man Cybern Part C 33:284–289
Curry JER (2012) Some perspectives and challenges in the (discrete) control of cellular systems. In: Proc WODES 2012. IFAC, pp 1–3
Dai JG (1995) On positive Harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Ann Appl Probab 5:49–77
David R, Alla H (1992) Petri nets and grafcet: tools for modelling discrete event systems. Prentice-Hall, Upper Saddle
David R, Alla H (2005) Discrete, continuous and hybrid petri nets. Springer, Berlin
David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2013) Optimal control for timed event graphs under partial synchronization. In: 52nd IEEE conference on decision and control. IEEE
Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55:1089–1100
Endsley EW, Almeida EE, Tilbury DM (2006) Modular finite state machines: development and application to reconfigurable manufacturing cell controller generation. Control Eng Pract 14:1127–1142
Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11:173–184
Feng L, Wonham WM (2006) TCT: a computation tool for supervisory control synthesis. In: Proceedings of the 8th international workshop on discrete event systems. IEEE, pp 388–389
Feng L, Wonham WM, Thiagarajan PS (2007) Designing communicating transaction processes by supervisory control theory. Formal Meth Syst Des 30:117–141
Fleck JL, Cassandras CG, Geng Y (2016) Adaptive quasi-dynamic traffic light control. IEEE Trans Control Syst Technol 24:830–842
Fu M, Xie X (2002) Derivative estimation for buffer capacity of continuous transfer lines subject to operation-dependent failures. Discrete Event Syst Theory Appl 12:447–469
Gershwin SB (1994) Manufacturing systems engineering. PTR Prentice Hall, Englewood Cliffs
Giua A, Fanti MP, Seatzu C (2006) Monitor design for colored Petri nets: an application to deadlock prevention in railway networks. Control Eng Pract 10:1231–1247
Hardouin L, Cottenceau B, Shang Y, Raisch J (2018) Control and state estimation for max-plus linear systems. NOW Ser Found Trends Syst Control 6:1–116
Hill RC, Cury JER, de Queiroz MH, Tilbury DM, Lafortune S (2010) Multi-level hierarchical interface-based supervisory control. Automatica 46:1152–1164
Ho YC, Cao X-R (1991) Perturbation analysis of discrete event systems. Kluwer Academic Publishers, Boston
Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete event systems. JDEDS 7:151–190
Homem-de Mello T, Shapiro A, Spearman ML (1999) Finding optimal material release times using simulation-based optimization. Manag Sci 45:86–102
Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages and computation. Addison-Wesley, Reading
Horowitz R, Varaiya P (2000) Control design of automated highway system. Proc IEEE 88:913–925
Ibrahim M, Reveliotis S (2018) Throughput maximization of complex resource allocation systems through timed-continuous Petri-net modeling. Technical report, School of Industrial & Systems Eng., Georgia Institute of Technology (submitted for publication)
Ibrahim M, Reveliotis S (2019) Throughput maximization of capacitated re-entrant lines through fluid relaxation. IEEE Trans Autom Sci Eng 16:792–810
Jeng M, Xie X, Peng MY (2002) Process nets with resources for manufacturing modeling and their analysis. IEEE Trans Robot Autom 18:875–889
Kim J-H, Lee T-E (2012) Feedback control design for cluster tools with wafer residency time constraints. In: IEEE conference on systems, man and cybernetics. IEEE, pp 3063–3068
Kumar R, Takai S (2010) Decentralized prognosis of failures in discrete event systems. IEEE Trans Autom Control 55:48–59
Lee T-E (2008) A review of cluster tool scheduling and control for semiconductor manufacturing. In: Procedings of 2008 winter simulation conference. INFORMS, pp 1–6
Lewis RW (1998) Programming industrial control systems using IEC 1131-3. Technical report, The Institution of Electrical Engineers
Li M, Kumar R (2012) Model-based automatic test generation for simulink/stateflow using extended finite automaton. In: Proceedings of CASE 2012. IEEE
Li R, Reveliotis S (2015) Performance optimization for a class of generalized stochastic Petri nets. Discrete Event Dyn Syst Theory Appl 25:387–417
Li R, Reveliotis S (2016) Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. Discrete Event Dyn Syst Theory Appl 26:511–537
Liao H, Wang Y, Cho HK, Stanley J, Kelly T, Lafortune S, Mahlke S, Reveliotis S (2013) Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discrete Event Dyn Syst Theory Appl 23:157–195
Markovski J, Su R (2013) Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete event systems. In: 52nd IEEE conference on decision and control. IEEE
Meyn S (2008) Control techniques for complex networks. Cambridge University Press, Cambridge
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77:541–580
Panayiotou CG, Cassandras CG (1999) Optimization of kanban-based manufacturing systems. Automatica 35:1521–1533
Park E, Tilbury DM, Khargonekar PP (1999) Modular logic controllers for machining systems: formal representations and performance analysis using Petri nets. IEEE Trans Robot Autom 15:1046–1061
Pinedo M (2002) Scheduling. Prentice Hall, Upper Saddle River
Reveliotis SA (2000) Conflict resolution in AGV systems. IIE Trans 32(7):647–659
Reveliotis SA (2005) Real-time management of resource allocation systems: a discrete event systems approach. Springer, New York
Reveliotis S (2017) Logical control of complex resource allocation systems. NOW Ser Found Trends Syst Control 4:1–224
Reveliotis SA, Ferreira PM (1996) Deadlock avoidance policies for automated manufacturing cells. IEEE Trans Robot Autom 12:845–857
Reveliotis S, Roszkowska E (2011) Conflict resolution in free-ranging multi-vehicle systems: a resource allocation paradigm. IEEE Trans Robot 27:283–296
Ricker L, Lafortune S, Gene S (2006) DESUMA: a tool integrating Giddes and Umdes. In: Proceedings of the 8th international workshop on discrete event systems. IEEE, pp 392–393
Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57:1155–1165
Saboori A, Hadjicostis CN (2014) Current-state opacity formulations in probabilistic finite automata. IEEE Trans Autom Control 59:120–133
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using Disrcete Event models. IEEE Trans Control Syst Technol 4:105–124
Sampath R, Darabi H, Buy U, Liu J (2008) Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Trans Autom Sci Eng 5:84–100
Santoso T, Ahmed S, Goetschalckx M, Shapiro A (2005) A stochastic programming approach for supply chain network design under uncertainty. Eur J Oper Res 167:96–115
Schmidt K (2012) Computation of supervisors for reconfigurable machine tools. In: Proceedings of WODES 2012. IFAC, pp 227–232
Seatzu C, Silva M, van Schuppen JH (eds) (2013) Control of discrete-event systems: automata and petri net perspectives. Springer, London
Sethi SP, Zhang Q (1994) Hierarchical decision making in stochastic manufacturing systems. Birkhäuser, Boston
Srikant R (2004) The mathematics of internet congestion control. Birkhäuser, Boston
Sun G, Cassandras CG, Panayiotou CG (2004) Perturbation analysis and optimization of stochastic flow networks. IEEE Trans Autom Control 49:2113–2128
Van der Aalst W (1997) Verification of workflow nets. In: Azema P, Balbo G (eds), Lecture notes in computer science, vol 1248, pp 407–426. Springer, Heidelberg
Vázquez CR, Mahulea C, Júlvez J, Silva M (2013) Introduction to fluid Petri net models. In: Seatzu C, Silva M, van Schuppen JH (eds), Control of discrete-event systems: automata and petri net perspectives. Springer, London, pp 365–386
Wardi Y, Cassandras CG (2013) Approximate IPA: trading unbiasedness for simplicity. In: 52nd IEEE Conference on decision and control. IEEE
Wardi Y, Cassandras CG, Cao XR (2018) Perturbation analysis: a framework for data-driven control and optimization of discrete event and hybrid systems. Annu Rev Control 45:267–280
Wassyng A, Lawford M, Maibaum T (2011) Software certification experience in the Canadian muclear industry: lessons for the future. In: EMSOFT’ 11
Wightkin N, Guy U, Darabi H (2011) Formal modeling of sequential function charts with time Petri Nets. IEEE Trans Control Syst Technol 19:455–464
Wonham WM (2006) Supervisory control of discrete event systems. Technical Report ECE 1636F/1637S 2006-07, Electrical & Computer Engeering, University of Toronto
Wu Y-C, Lafortune S (2013) Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discrete Event Syst Theory Appl 23:307–339
Zhou M, Fanti MP (eds) (2004) Deadlock resolution in computer-integrated systems. Marcel Dekker, Inc., Singapore
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer-Verlag London Ltd., part of Springer Nature
About this entry
Cite this entry
Reveliotis, S. (2020). Applications of Discrete Event Systems. In: Baillieul, J., Samad, T. (eds) Encyclopedia of Systems and Control. Springer, London. https://doi.org/10.1007/978-1-4471-5102-9_59-2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-5102-9_59-2
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-5102-9
Online ISBN: 978-1-4471-5102-9
eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering
Publish with us
Chapter history
-
Latest
Applications of Discrete Event Systems- Published:
- 14 December 2019
DOI: https://doi.org/10.1007/978-1-4471-5102-9_59-2
-
Original
Applications of Discrete Event Systems- Published:
- 08 February 2014
DOI: https://doi.org/10.1007/978-1-4471-5102-9_59-1