| 书目名称 | Hybrid Systems: Computation and Control | | 副标题 | 4th International Wo | | 编辑 | Maria Domenica Benedetto,Alberto Sangiovanni-Vince | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), N- megen, The Netherlands (HSCC’99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of d | | 出版日期 | Conference proceedings 2001 | | 关键词 | Hybrid systems; algorithm; algorithms; automata theory; control theory; dynamical systems; embedded system | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-45351-2 | | isbn_softcover | 978-3-540-41866-5 | | isbn_ebook | 978-3-540-45351-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2001 |
The information of publication is updating
|
|
发表于 2025-3-21 18:19:30
