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) | 629.65 lei 6-8 săpt. | |
Springer Us – 3 dec 2010 | 629.65 lei 6-8 săpt. | |
Hardback (1) | 635.96 lei 6-8 săpt. | |
Springer Us – 31 ian 2002 | 635.96 lei 6-8 săpt. |
Preț: 635.96 lei
Preț vechi: 794.96 lei
-20% Nou
Puncte Express: 954
Preț estimativ în valută:
121.71€ • 126.42$ • 101.10£
121.71€ • 126.42$ • 101.10£
Carte tipărită la comandă
Livrare economică 01-15 februarie 25
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.