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...
Enregistré dans:
| Andre forfattere: | , , |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
London :
Springer London
[20..].
Cham : Springer Nature |
| Udgivelse: | 1st ed. 2013. |
| Serier: | Lecture Notes in Control and Information Sciences
433 |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
Indholdsfortegnelse:
- 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