| 書目名稱 | Synthesis and Control of Discrete Event Systems | | 編輯 | Beno?t Caillaud,Philippe Darondeau,Xiaolan Xie | | 視頻video | http://file.papertrans.cn/885/884269/884269.mp4 | | 圖書封面 |  | | 描述 | 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 distr | | 出版日期 | Book 2002 | | 關(guān)鍵詞 | Hardware; algorithms; automata; integrated circuit; modeling; system; tables | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-6656-1 | | isbn_softcover | 978-1-4419-4942-4 | | isbn_ebook | 978-1-4757-6656-1 | | copyright | Springer Science+Business Media Dordrecht 2002 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 19:33
發(fā)表于 2025-3-21 17:10:30
