Control of Discrete-Event Systems : Automata and Petri Net Perspectives

Control 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 sys...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Altri autori: Seatzu, Carla (Direttore editoriale), Silva, Manuel F. (Direttore editoriale), Schuppen, J. H. van, 1947-...., mathématicien (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: London : Springer London [20..].
Cham : Springer Nature
Edizione:1st ed. 2013.
Serie:Lecture Notes in Control and Information Sciences 433
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Control of discrete-event systems, automata and petri net perspectives, Carla Seatzu, Manuel Silva and Jan H. van Schuppen (eds.), London, Springer, 2013, 1 vol. (XXIV-478 p.), Lecture notes in control and information sciences, 978-1-4471-4275-1
• Control of Discrete-Event Systems, Texte imprimé, 9781447142775
• Control of discrete-event systems, automata and petri net perspectives, Carla Seatzu, Manuel Silva and Jan H. van Schuppen (eds.), London, Springer, 2013, 1 vol. (XXIV-478 p.), Lecture notes in control and information sciences, 978-1-4471-4275-1
LEADER 04415nam a22003857a 4500
001 949490
008 130325q2000 xx ||| |||| 00| 0 eng d
009 PPN168293099
020 |a 9781447142768 
020 |a 9781447142768 
041 0 |a eng 
082 |a 629.8 
245 0 0 |a Control of Discrete-Event Systems :  |b Automata and Petri Net Perspectives   |c edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen. 
250 |a 1st ed. 2013. 
260 |a London :  |b Springer London. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture Notes in Control and Information Sciences  |v 433  |x 1610-7411 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 1 |a From 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 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a Control 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 
700 1 |a Seatzu, Carla.  |4 pbd 
700 1 |a Silva, Manuel F.  |4 pbd 
700 1 |a Schuppen, J. H. van,  |d 1947-....,  |c mathématicien.  |4 pbd 
776 0 |0 168440016  |t Control of discrete-event systems  |o automata and petri net perspectives  |f Carla Seatzu, Manuel Silva and Jan H. van Schuppen (eds.)  |c London  |n Springer  |d 2013  |p 1 vol. (XXIV-478 p.)  |s Lecture notes in control and information sciences  |z 978-1-4471-4275-1 
776 0 |t Control of Discrete-Event Systems  |b Texte imprimé  |z 9781447142775 
776 0 |0 168440016  |t Control of discrete-event systems  |o automata and petri net perspectives  |f Carla Seatzu, Manuel Silva and Jan H. van Schuppen (eds.)  |c London  |n Springer  |d 2013  |p 1 vol. (XXIV-478 p.)  |s Lecture notes in control and information sciences  |z 978-1-4471-4275-1 
856 4 |q PDF  |u https://doi.org/10.1007/978-1-4471-4276-8  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-78LD4XZL-S  |z Accès sur la plateforme Istex 
856 4 |5 452349901:748131825  |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-1-4471-4276-8  |z Accès Université d'Orléans 
856 4 |5 180339901:751586803  |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-1-4471-4276-8  |z Accès INSA CVL 
997 |0 949490  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/