000 03623nam a22004935i 4500
001 978-1-4471-4276-8
003 DE-He213
005 20140220082805.0
007 cr nn 008mamaa
008 120726s2013 xxk| s |||| 0|eng d
020 _a9781447142768
_9978-1-4471-4276-8
024 7 _a10.1007/978-1-4471-4276-8
_2doi
050 4 _aTJ212-225
072 7 _aTJFM
_2bicssc
072 7 _aTEC004000
_2bisacsh
082 0 4 _a629.8
_223
100 1 _aSeatzu, Carla.
_eeditor.
245 1 0 _aControl of Discrete-Event Systems
_h[electronic resource] :
_bAutomata and Petri Net Perspectives /
_cedited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2013.
300 _aXXIV, 480 p. 192 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Control and Information Sciences,
_x0170-8643 ;
_v433
505 0 _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.
520 _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.
650 0 _aEngineering.
650 0 _aComputer Communication Networks.
650 0 _aSystems theory.
650 1 4 _aEngineering.
650 2 4 _aControl.
650 2 4 _aComputer Communication Networks.
650 2 4 _aSystems Theory, Control.
700 1 _aSilva, Manuel.
_eeditor.
700 1 _avan Schuppen, Jan H.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781447142751
830 0 _aLecture Notes in Control and Information Sciences,
_x0170-8643 ;
_v433
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4471-4276-8
912 _aZDB-2-ENG
999 _c94579
_d94579