Synthesis and Control of Discrete Event Systems
Editat de Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xieen Limba Engleză Hardback – 31 ian 2002
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 642.65 lei 6-8 săpt. | |
Springer Us – 3 dec 2010 | 642.65 lei 6-8 săpt. | |
Hardback (1) | 649.09 lei 6-8 săpt. | |
Springer Us – 31 ian 2002 | 649.09 lei 6-8 săpt. |
Preț: 649.09 lei
Preț vechi: 811.37 lei
-20% Nou
Puncte Express: 974
Preț estimativ în valută:
124.24€ • 128.03$ • 104.88£
124.24€ • 128.03$ • 104.88£
Carte tipărită la comandă
Livrare economică 04-18 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792376392
ISBN-10: 0792376390
Pagini: 220
Ilustrații: XVI, 220 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:2002
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0792376390
Pagini: 220
Ilustrații: XVI, 220 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:2002
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
I Decentralized Systems and Control.- Recent Advances on the Control of Partially-Observed Discrete-Event Systems.- From Global Specifications to Distributed Implementations.- Problems and Examples of Decentralized Observation and Control.- Towards Synthesis of ACMs.- STCT: An Efficient Algorithm for Supervisory Control Design.- II Modular Design.- Towards Modular Synthesis of EN Systems.- Adaptive Supervisory Control.- Modelling with Petri Modules.- III Petri Net Supervision.- Optimal Petri Net Monitor Design.- Live and Maximally Permissive Controller Synthesis Using Theory of Regions.- Design of Observers/Controllers for DES using PNs.- IV Nonblocking, Liveness and Concurrency.- Implementation Considerations in Supervisory Control.- Liveness Enforcing Supervision for Sequential Resource Allocation Systems.- Looking for Diamonds.