LEADER 03966nam 2200649Ia 450 001 9910437885103321 005 20200520144314.0 010 $a9781447142768 010 $a1447142764 024 7 $a10.1007/978-1-4471-4276-8 035 $a(CKB)3390000000030147 035 $a(SSID)ssj0000745888 035 $a(PQKBManifestationID)11411480 035 $a(PQKBTitleCode)TC0000745888 035 $a(PQKBWorkID)10877286 035 $a(PQKB)11538503 035 $a(DE-He213)978-1-4471-4276-8 035 $a(MiAaPQ)EBC3071031 035 $a(PPN)168293099 035 $a(EXLCZ)993390000000030147 100 $a20120612d2013 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aControl of discrete-event systems $eautomata and Petri net perspectives /$fCarla Seatzu, Manuel Silva, and Jan H. van Schuppen (eds.) 205 $a1st ed. 2013. 210 $aLondon ;$aNew York $cSpringer Verlag$dc2013 215 $a1 online resource (XXIV, 480 p. 192 illus.) 225 0$aLecture notes in control and information sciences,$x0170-8643 ;$v433 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9781447142751 311 08$a1447142756 320 $aIncludes bibliographical references and index. 327 $aFrom the Contents: Part I Modeling of Engineering Phenomena by Finite Automata -- Languages, decidability and Complexity. Languages, Decidability and Complexity -- Supervisory Control with Complete Observation. Supervisory Control with Partial Observation -- Observers with Automata -- Part II Introduction to Petri Nets -- Control of Petri Nets with Language Specifications -- Diagnosis of Petri Nets -- Diagnosis with Unfolding -- Structural Methods for the Control of Discrete-event Systems: The Case of the Resource Allocation Problem -- Timed and Time Nets -- Diagnosis of Petri Nets with Time. 330 $aControl of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011. 410 0$aLecture Notes in Control and Information Sciences,$x0170-8643 ;$v433 606 $aControl theory 606 $aDiscrete-time systems$xAutomation 606 $aPetri nets 606 $aRobots$xControl systems 615 0$aControl theory. 615 0$aDiscrete-time systems$xAutomation. 615 0$aPetri nets. 615 0$aRobots$xControl systems. 676 $a629.8312 701 $aSchuppen$b J. H. van$01221985 701 $aSeatzu$b Carla$0447679 701 $aSilva Suarez$b Manuel$01761199 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437885103321 996 $aControl of discrete-event systems$94200497 997 $aUNINA