Control of Discrete-Event Systems : Automata and Petri Net Perspectives /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2013.
|
| Edition: | 1st ed. 2013. |
| Series: | Lecture Notes in Control and Information Sciences,
433 |
| Subjects: |
Table of Contents:
- 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.