Articoli correlati a Synthesis and Control of Discrete Event Systems
Sinossi
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
List of Figures. List of Tables. Part I: Decentralized Systems and Control. Recent Advances on the Control of Partially-Observed Discrete-Event Systems; S. Lafortune, K. Rohloff, Tae-Sic Yoo. From Global Specifications to Distributed Implementations; M. Mukund. Problems and Examples of Decentralized Observation and Control; A. Puri, S. Tripakis, P. Varaiya. Towards Synthesis of ACMs; A. Yakovlev, Fei Xia. STCT: An Efficient Algorithm for Supervisory Control Design; Zhonghua Zhang, W.M. Wonham. Part II: Modular Design. Towards Modular Synthesis of EN Systems; L. Bernardinello, C. Ferigato, L. Pomello. Adaptive Supervisory Control; R.K. Boel. Modelling with Petri Modules; G. Juhás, R. Lorenz. Part III: Petri Net Supervision. Optimal Petri Net Monitor Design; F. Basile, P. Chiacchio, A. Giua. Live and Maximally Permissive Controller Synthesis Using Theory of Regions; A. Ghaffari, N. Rezg, X. Xie. Design of Observers/Controllers for DES Using PNs; A. Giua, C. Seatzu. Part IV: Nonblocking, Liveness and Concurrency. Implementation Considerations in Supervisory Control; P. Dietrich, R. Malik, W.M. Wonham, B.A. Brandin. Liveness Enforcing Supervision for Sequential Resource Allocation Systems; S.A. Reveliotis. Looking for Diamonds; M. Bednarczyk, P. Darondeau.
Product Description
Rare Book
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Synthesis and Control of Discrete Event Systems
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 240 | Sprache: Englisch | Produktart: Bücher. Codice articolo 9650239/1
Quantità: 1 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 4175269
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware. 240 pp. Englisch. Codice articolo 9781441949424
Quantità: 2 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Editore:
Springer US, Springer US Dez 2010, 2010
ISBN 10: 1441949429
ISBN 13: 9781441949424
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Codice articolo 9781441949424
Quantità: 2 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781441949424_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Editore:
Springer US, Springer US, 2010
ISBN 10: 1441949429
ISBN 13: 9781441949424
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware. Codice articolo 9781441949424
Quantità: 1 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11870135-n
Quantità: Più di 20 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Editore:
Springer-Verlag New York Inc., 2010
ISBN 10: 1441949429
ISBN 13: 9781441949424
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 396. Codice articolo C9781441949424
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11870135-n
Quantità: Più di 20 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 238 pages. 9.00x6.00x0.55 inches. In Stock. Codice articolo x-1441949429
Quantità: 2 disponibili