| 書(shū)目名稱 | Hybrid Systems: Computation and Control | | 副標(biāo)題 | 6th International Wo | | 編輯 | Oded Maler,Amir Pnueli | | 視頻video | http://file.papertrans.cn/431/430187/430187.mp4 | | 概述 | Includes supplementary material: | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality sub | | 出版日期 | Conference proceedings 2003 | | 關(guān)鍵詞 | Simulation; automata; calculus; control systems; dynamical systems; embedded systems; hybrid modeling; hybr | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-36580-X | | isbn_softcover | 978-3-540-00913-9 | | isbn_ebook | 978-3-540-36580-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2003 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-4 22:51
發(fā)表于 2025-3-21 18:23:08
