Control of Discrete-Event Systems : Automata and Petri Net Perspectives /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
London :
Springer London : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Lecture Notes in Control and Information Sciences,
433 |
| Materias: |
Tabla de Contenidos:
- 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.