4.HSCC 2001:意大利罗马
玛丽亚·多梅尼卡·迪贝内代托 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
混合系统:计算与控制,第四届国际研讨会,HSCC 2001,罗马,意大利,2001年3月28日至30日,会议记录。 计算机科学课堂讲稿 2034, 施普林格 2001 ,国际标准图书编号 3-540-41866-0
受邀演讲摘要
曼弗雷德·莫拉里 :
控制作为一种嵌入式技术。 1-2 科斯塔斯·潘特利德斯 :
混合过程和混合控制器的优化。 三 Janos Sztipanovits公司 :
嵌入式软件和系统:挑战和方法。 4
小组讨论
阿尔贝托·桑吉奥瓦尼·文森特利 , 托马斯·亨辛格 , 布鲁斯·H·克罗 , 奥德·马勒 , 曼弗雷德·莫拉里 , Costas C.Pantelides公司 , 乔治·J·帕帕斯 , Tunc Simsec公司 , Janos Sztipanovits公司 , 斯塔夫罗斯·特里帕基斯 :
混合系统应用:矛盾? 5-6
论文
安吉洛·阿莱桑德里 , 保罗·科莱塔 :
一类混合线性系统的Luenberger观测器设计。 7-18 拉杰夫·阿鲁尔 , 凯琳·贝尔塔 , 弗兰乔·伊万西奇 :
生物分子网络的混合建模与仿真。 19-32 拉杰夫·阿鲁尔 , 拉杜·格罗苏 , 因苏普·李 , 奥列格·索科尔斯基 :
分层混合系统的组合优化。 33-48 拉杰夫·阿鲁尔 , 萨尔瓦托雷·拉托雷 , 乔治·J·帕帕斯 :
加权时间自动机中的最优路径。 49-62 阿奈Hirokazu , 沃尔克·魏斯芬宁 :
使用实量词消除的到达集计算。 63-76 尤金细辛 , 索拉夫·班萨尔 , 伯纳德·埃斯皮奥 , 陶当(Thao Dang) , 奥德·马勒 :
欠驱动机械系统的混合控制。 77-88 尤金·阿萨林 , 杰拉尔多·施奈德 , 塞尔吉奥·尤文 :
平面微分包含可达性问题的可判定性。 89-104 Jean-Pierre奥宾 :
脉冲和混合控制系统的基础。 105-118 Jean-Pierre奥宾 , 乔治·哈达德 :
路径相关脉冲和混合系统。 119-132 安德烈·巴卢奇 , 菲利普·苏埃尔 , 安东尼奥·比奇 :
有界曲率车辆路径跟踪的混合反馈控制。 133-146 格德·贝尔曼 , 安斯加·芬克 , 托马斯·胡恩 , 金·古德斯特兰·拉森 , 保罗·佩特森 , 朱迪·罗米恩 , Frits W.Vaandrager公司 :
定价时间自动机的最低成本可达性。 147-161 弗朗西斯科·博雷利 , 阿尔贝托·本马德 , 迈克尔·福多 , 达沃·赫罗瓦特 :
牵引力控制的混合方法。 162-174 米雷尔·布鲁克 , 玛丽亚·多梅尼卡·迪贝内代托 , 斯特凡诺·迪·詹纳罗 , 阿尔贝托·桑吉奥瓦尼·文森特利 :
使用互模拟的最优控制:实现。 175-188 弗朗西斯科·亚历山德罗·库佐拉 , 曼弗雷德·莫拉里 :
离散时间分段仿射和混合系统分析与控制的一种广义方法。 189-203 乔尔·埃斯波西托 , 维贾伊·库马尔 , 乔治·J·帕帕斯 :
用于模拟混合系统的精确事件检测。 204-217 吉安卡洛·费拉里·特雷卡特 , 马可·穆塞利 , 迭戈·利伯拉蒂 , 曼弗雷德·莫拉里 :
用于识别分段仿射系统的聚类技术。 218-231 罗诺霍伊·高什 , 克莱尔·汤姆林 :
通过Delta-Notch信号的侧向抑制:分段仿射混合模型。 232-246 何塞·M·E·冈萨雷斯 , 安东尼奥·爱德华多·卡里略(Antonio Eduardo Carrilho da Cunha) , 何塞·E·R·库里 , 布鲁斯·H·克罗 :
事件驱动混合系统的监管:建模与综合。 247-260 Luc C.G.J.M.哈贝茨 , 简·范·舒彭 :
单纯形和矩形上分段线性混合系统的控制。 261-274 托马斯·汉津格 , 马吕斯·米娜 , Vinayak S.Prabhu公司 :
层次混合系统的假设保证推理。 275-290 乔·佩·赫斯帕尼亚 , 斯蒂芬·博哈切克 , 卡蒂娅·奥布拉茨卡 , 李俊秀 :
TCP拥塞控制的混合建模。 291-304 胡江海 , 玛丽亚·普兰迪尼 , 卡尔·亨利克·约翰逊 , Shankar Sastry公司 :
混合测地学作为无碰撞运动规划问题的最优解。 305-318 延斯·卡尔库赫 , 托·阿恩·约翰森 , 延斯·吕德曼 , 安德烈亚斯·奎达 :
利用多个观测器重置估计器的非线性自适应反演。 319-332 古德健 , 乔治·J·帕帕斯 , Shankar Sastry公司 :
可达性规范的模式切换综合。 333-346 Xenofon D.Koutsoukos公司 , 帕诺斯·安萨克利斯 :
用分段线性李亚普诺夫函数刻画切换线性系统中稳定的切换序列。 347-360 彼得罗·科瓦尔奇克 , 马里奥·迪·贝尔纳多 :
关于混合动力系统中的一类新的分岔。 361-374 叶卡捷琳娜·兰奇 , Shankar Sastry公司 , 彼得·凯恩斯 :
具有受控和自治切换的混合系统的全局可控性。 375-386 Vishal Bahl公司 , 安德烈亚斯·林宁格 :
连续离散过程建模。 387-402 南希·A·林奇 , 罗伯托·塞加拉 , Frits W.Vaandrager公司 :
重新审视混合I/O自动机。 403-417 伊恩·米切尔 , 亚历山大·巴彦 , 克莱尔·汤姆林 :
验证混合系统可达集的Hamilton-Jacobi逼近。 418-432 埃克朗 , 罗杰泰芒 :
哈密顿力学2。 418-432 托马斯·摩尔 , 詹妮弗·达沃伦 :
基于模态逻辑的混合系统鲁棒控制器综合。 433-446 彼得·莫斯特曼 :
基于参数因果关系的混合模型物理系统诊断。 447-458 Meeko Oishi先生 , 克莱尔·汤姆林 , Vipin Gopal公司 , Datta N.Godbole公司 :
解决多目标控制:通过约束优化实现安全和性能。 459-472 约钦·施罗德 , 简·伦泽 :
用Frobenius-Perron算子表示量化系统。 473-486 奥米德·沙克尼亚 , 乔治·J·帕帕斯 , Shankar Sastry公司 :
三角混合系统的半决策综合。 487-500 保罗·塔布阿达 , 乔治·J·帕帕斯 :
保留时间语言的混合抽象。 501-514
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)