6.HSCC 2003:捷克共和国布拉格
奥德·马勒 , 阿米尔·普努利 :
混合系统:计算与控制,第六届国际研讨会,HSCC 2003布拉格,捷克共和国,2003年4月3-5日,会议记录。 计算机科学课堂讲稿 2623, 施普林格 2003 ,国际标准图书编号 3-540-00913-2
受邀演讲摘要
定期捐款
拉杰夫·阿鲁尔 , 陶当(Thao Dang) , 弗兰乔·伊万西奇 :
基于谓词抽象的混合系统可达性分析研究进展。 4-19 尤金细辛 , 陶当(Thao Dang) , 安托万·吉拉德 :
非线性系统的守恒逼近可达性分析。 20-35 亚当·奥斯汀 , 马格努斯·埃格施泰特 :
信源编码和多模控制的模式重构。 36-49 托马斯·贝克 , 简·戴蒙·本特森 , 安德斯·拉文 :
轮式移动机器人的混合控制设计。 50-65 莱安德罗·巴拉哈斯 , 阿什什·坎萨尔 , 阿比纳夫·萨克塞纳 , 马格努斯·埃格施泰特 , 亚历克斯·戈尔茨坦 , 爱德华·卡门 :
SMT生产线的混合动态系统建模与控制。 66-80 阿尔贝托·本马德 , 潘德利·博罗达尼 , 马西莫·曼内利 :
汽车机器人变速箱的混合控制,以减少消耗和排放。 81-96 阿尔贝托·本普拉德 , 安德烈亚·加鲁利 , 西蒙·保莱蒂 , 安东尼奥·维奇诺 :
分段仿射模型辨识的贪婪方法。 97-112 理查德·博尔顿 , 鲁思·哈迪 , 乌尔苏拉·马丁 :
单输入单输出连续时间控制系统的Hoare逻辑。 113-125 Manuela-Luminita Bujorianu公司 , 约翰·利杰罗斯 :
分段确定性马尔可夫过程中的可达性问题。 126-140 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 米歇尔·米尼奇诺 , 埃斯特·西安卡梅拉 , 安德烈亚·帕里斯 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用穆尔-瓦尔斐校对器对涡轮燃气控制系统进行自动验证。 141-155 Jean-Guillaume Dumas女士 , 奥德·隆德皮埃尔 :
用连续分段仿射混合系统模拟神经元的电活动。 156-171 内尔·埃尔·法拉 , Panagiotis D.克里斯托菲德斯 :
抛物型偏微分方程的混合控制:约束控制执行器的故障处理。 172-187 吉安卡洛·费拉里·特雷卡特 , 迈克尔·辛克尔 :
分段仿射回归的最优分类条件。 188-202 闫高 , 约翰·利杰罗斯 , 马克·昆波瓦 , 尼古拉斯·塞乌伯(Nicolas Seube) :
不确定混合系统的近似稳定性。 203-215 托比亚斯·盖尔 , 法比奥·达尼洛·托里西 , 曼弗雷德·莫拉里 :
组合混合系统的有效模式枚举。 216-232 罗诺霍伊·高什 , 阿什什·蒂瓦里 , 克莱尔·汤姆林 :
自动符号可达性分析; 应用于Delta-Notch信令自动机。 233-248 W.P.M.H.Heemels公司 , 卡纳特·卡姆利贝尔 , A.J.范德沙夫特 , 约翰内斯·舒马赫 :
开关电网的建模、良好性和稳定性。 249-266 希德·德容 , Jean-Luc Gouzé , 塞琳·埃尔南德斯 , 米歇尔·佩奇 , 萨里·特菲克 , 约翰内斯·盖瑟曼 :
遗传调控网络的混合建模与仿真:一种定性方法。 267-282 詹姆斯·卡宾斯基 , 布鲁斯·H·克罗 , 奥德·马勒 , 奥拉夫·斯特斯伯格 :
关于开放连续系统的系统仿真。 283-297 Xenofon D.Koutsoukos公司 , 詹姆斯·库里安 , 赵峰 :
使用粒子滤波方法估计分布式混合系统。 298-313 安德烈亚斯·奎亚特科夫斯基 , 格瓦德·利希滕贝格 , 阿克塞尔·席尔德 :
使用正交函数对具有时变阈值的切换线性系统的事件预测。 314-327 刘杰(音译) , 爱德华·A·李 :
关于混合信号模型和混合模型的因果关系。 328-342 萨扬密特拉 , 王勇(音) , 南希·A·林奇 , 埃里克·费隆 :
使用混合输入/输出自动机对模型直升机控制器进行安全验证。 343-358 Rainer Moöbus公司 , 马托·鲍提克 , 曼弗雷德·莫拉里 :
多目标自适应巡航控制。 359-374 Joël Ouaknine公司 , 詹姆斯·沃雷尔 :
开闭时间自动机的普遍性和语言包容性。 375-388 路易吉·帕洛波利 , 卢卡·阿贝尼 , 朱塞佩·利帕里 :
混合控制在CPU预留中的应用。 389-404 布鲁诺·毕加索 , 安东尼奥·比奇 :
具有量化状态量化输入静态反馈的LTI系统的镇定。 405-416 Subramanian Ramamoorthy语 , 本杰明·库珀斯 :
高阶系统的定性异质控制。 417-434 威廉·C·罗兹 , 胡松松(Hosung Song) :
Phi-Calculus:可重构嵌入式系统的分布式控制语言。 435-449 马修·塞涅斯基 , 加布里埃尔·埃里阿 , 德约翰古 :
电力电子的混合建模与控制。 450-465 沙希德·谢赫(M.Shahid Shaikh) , 彼得·凯恩斯 :
混合系统的最优控制:轨迹优化、切换时间、位置调度。 466-481 奥拉夫·斯特斯伯格 , 布鲁斯·H·克罗 :
混合系统可达集的有效表示与计算。 482-497 保罗·塔布阿达 , 乔治·J·帕帕斯 :
可控线性系统的模型检验LTL是可判定的。 498-513 阿什什·蒂瓦里 :
线性系统的近似可达性。 514-525 雷内·维达尔 , 亚历山德罗·齐乌索 , 斯特凡诺·索托 , Shankar Sastry公司 :
线性混合系统的可观测性。 526-539 徐平旭 , 帕诺斯·安萨克利斯 :
切换系统最优控制计算方法的结果和展望。 540-555