Sinossi
The first aim of "Synthesis and Control of Discrete Event Systems" is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. In all areas, considerations about distribution and care for an efficient implementation of the synthesized systems play an increasing role, justified by better applicability to problems encountered in the design of practical systems. The second motivation of the book, which is a selection of presentations given at two workshops on synthesis of controllers and on synthesis of concurrent systems, is to incite the research community to establish stronger links between two subjects that could be better related, as several presentations do show. The selected papers are research papers ranging from theory to practice, with automata, products of automata and Petri nets playing a prominent role.
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
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Synthesis and Control of Discrete Event Systems
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-502-793
Compra usato
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-854-169
Compra usato
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 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 ria9780792376392_new
Compra nuovo
EUR 115,13
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
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
Buch. 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 9780792376392
Compra nuovo
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 269479-n
Compra nuovo
EUR 115,12
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
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 269479-n
Compra nuovo
EUR 130,48
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Synthesis and Control of Discrete Event Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Codice articolo 5970315
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Informs the reader of the developments and trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. Editor(s): Caillaud, Benoit; Darondeau, Philippe; Lavagno, Luciano; Xie, Xiaolan. Num Pages: 220 pages, biography. BIC Classification: GPFC; T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 514. . 2002. Hardback. . . . . Codice articolo V9780792376392
Compra nuovo
EUR 133,78
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 240. Codice articolo 26317813
Compra nuovo
EUR 142,90
Spedizione EUR 3,42
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Synthesis and Control of Discrete Event Systems
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 240 Illus. Codice articolo 7562922
Compra nuovo
EUR 147,51
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili