奥德·马勒（编辑）;阿米尔·普努利（编辑） 混合系统：计算和控制。第六届国际研讨会，2003年HSCC，捷克共和国布拉格，2003年4月3日至5日。诉讼程序。 （英语） Zbl 1017.00053号 计算机科学课堂讲稿. 2623. 柏林：施普林格。xii，558页（2003年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（请参阅Zbl 0989.00055号).索引文章：大卫·贝林斯基，物质的数学和心灵的数学，1[Zbl 1032.00502号]大卫·哈雷，一个巨大的挑战：多细胞动物的全反应建模，2[Zbl 1032.92501号]尤迪·贝利斯，开发家用机器人产品：挑战和经验教训，3[Zbl 1032.68775号]拉杰夫·阿鲁尔；Dang，Thao；弗兰乔·伊万契奇，使用谓词抽象的混合系统可达性分析的进展，4-19[Zbl 1032.93033号]细辛，尤金；Dang，Thao；安托万·吉拉德，使用保守近似的非线性系统可达性分析，20-35[Zbl 1032.93034号]亚当·奥斯汀；马格纳斯·埃格斯特德，用于源代码编码和多模式控制的模式重建，36-49[Zbl 1032.93545号]托马斯·贝克（Bak，Thomas）；Bendtsen，Jan；安德斯·雷文（Anders P.Ravn）。，轮式移动机器人的混合控制设计，50-65[兹比尔1032.93546]巴拉哈斯，L.G。；Kansal，A。；Saxena，A。；埃格斯特德，M。；Goldstein，A。；卡门，E.W。，使用混合动力系统对SMT生产线进行建模和控制，66-80[Zbl 1032.93544号]阿尔贝托·本普拉德；波罗达尼，潘德利；马西莫·曼内利，用于减少消耗和排放的汽车自动变速箱的混合控制，81-96[Zbl 1032.93547号]阿尔贝托·本普拉德；安德烈亚·加鲁利（Andrea Garulli）；西蒙·保莱蒂；安东尼奥·维奇诺，识别分段仿射模型的贪婪方法，97-112[Zbl 1032.93500号]理查德·博尔顿（Richard J.Boulton）。；露丝·哈迪；乌苏拉·马丁，单输入单输出连续时间控制系统的Hoare逻辑，113-125[Zbl 1032.93529号]曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。；约翰·莱杰罗斯，分段确定性马尔可夫过程中的可达性问题，126-140[Zbl 1032.93074号]朱塞佩·德拉·佩纳；贝内代托（Benedetto）的Intrigila；伊戈尔·梅拉蒂；米歇尔·米尼奇诺；埃斯特·西安卡梅拉；安德烈·帕里塞（Andrea Parisse）；恩里科，特朗西；齐利，玛丽莎·文图里尼，使用Mur（\varphi）验证器自动验证涡轮燃气控制系统，141-155[Zbl 1032.93530号]Jean-Guillaume杜马；奥德隆德皮埃尔，用连续和分段仿射混合系统模拟神经元的电活动，156-171[Zbl 1032.93531号]El-Farra，Nael H。；帕纳吉奥蒂斯·克里斯托菲德斯。，抛物型偏微分方程的混合控制：处理约束控制执行器的故障，172-187[Zbl 1032.93026号]Giancarlo，Ferrari-Trecate；迈克尔·辛克尔，分段仿射回归的最优分类条件，188-202[Zbl 1032.62500号]高燕；约翰·莱杰罗斯（John Lygeros）；Quincampoix，Marc；尼古拉·塞乌布，不确定混合系统的近似稳定，203-215[Zbl 1032.93059号]Geyer，Tobias；托里西，法比奥·达尼洛；曼弗雷德·莫拉里，组合混合系统的有效模式枚举，216-232[Zbl 1032.93035号]Ronojoy Ghosh；蒂瓦里，阿什什；克莱尔·汤姆林，自动符号可达性分析；应用于Delta-Notch信令自动机，233-248[Zbl 1032.92500号]Heemels，W.P.M.H。；乔姆勒贝尔，M.K。；van der Schaft，A.J。；舒马赫，J.M。，交换电气网络的建模、良好状态和稳定性，249-266[Zbl 1032.93501号]德容、希德；Jean-Luc Gouzé；塞琳·埃尔南德斯；米歇尔·佩奇（Michel Page）；莎丽、陶菲克；约翰内斯·盖塞尔曼，遗传调控网络的混合建模和模拟：定性方法，267-282[兹比尔1032.92505]吉姆·卡宾斯基（Jim Kapinski）；Bruce H.Krogh。；马勒，奥德；奥拉夫·斯特斯伯格，关于开放连续系统的系统模拟，283-297[兹比尔1032.93532]Koutsoukos，Xenofon；詹姆斯·库里安（James Kurien）；赵峰，使用粒子滤波方法估计分布式混合系统，298-313[Zbl 1032.68509号]安德烈亚斯·奎亚特科夫斯基（Andreas Kwiatkowski）；格瓦尔德·利希滕贝格（Gerwald Lichtenberg）；阿克塞尔·希尔德，使用正交函数对具有时变阈值的切换线性系统进行事件预测，314-327[Zbl 1032.93533号]刘杰；爱德华·A·李。，关于混合单变量和混合模型的因果关系，328-342[Zbl 1032.93534号]密特拉，萨扬；王勇；南希·林奇；埃里克·费龙，使用混合输入/输出自动机对模型直升机控制器进行安全验证，343-358[Zbl 1032.93535号]莫布斯，雷纳；Baotic，马托；曼弗雷德·莫拉里，多目标自适应巡航控制，359-374[Zbl 1032.93548号]约尔·瓦克宁；詹姆斯·沃雷尔，开放和封闭时间自动机的普遍性和语言包含，375-388[Zbl 1032.68096号]路易吉·帕洛波利；卢卡·阿贝尼；朱塞佩·利帕里，关于混合控制在CPU预留中的应用，389-404[Zbl 1032.68030号]毕加索，布鲁诺；安东尼奥·比奇，具有量化状态量化输入静态反馈的LTI系统的稳定性，405-416[兹比尔1032.93023]拉马穆尔蒂，苏布拉马尼亚人；本杰明·科伊珀斯，高阶系统的定性异质控制，417-434[Zbl 1032.93536号]Rounds，William C。；宋和松《（Phi）-演算：可重构嵌入式系统的分布式控制语言》，435-449[Zbl 1032.93036号]马修·塞内斯基；加布里埃尔·埃里阿；古·T·约翰，电力电子的混合建模和控制，450-465[Zbl 1032.93502号]谢赫，M.沙希德；彼得·凯恩斯（Peter E.Caines）。，《关于混合系统的最优控制：轨迹、切换时间和位置计划的优化》，466-481[Zbl 1038.49033号]奥拉夫·斯图斯伯格；布鲁斯·H·克罗。，混合系统可达集的有效表示和计算，482-497[Zbl 1032.93037号]保罗·塔布阿达；乔治·帕帕斯。，可控线性系统上的模型检查LTL是可判定的，498-513[Zbl 1032.68104号]阿什什·蒂瓦里，线性系统的近似可达性，514-525[Zbl 1032.93518号]雷内·维达尔；亚历山德罗·齐乌索；斯特凡诺·索托；Shankar Sastry公司，线性混合系统的可观测性，526-539[Zbl 1032.93024号]徐，徐平；Antsaklis，Panos J。，交换系统最优控制计算方法的结果和展望，540-555[Zbl 1038.49034号] 引用于2评论引用于9文件 MSC公司： 00B25型 杂项特定利益的会议记录 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：混合动力系统;HSCC 2003年;布拉格（捷克共和国） 引文：Zbl 0989.00055号 PDF格式BibTeX公司 XML格式引用 \textit｛O.Maler｝（编辑）和\textit｛A.Pnueli｝（编辑），混合系统：计算和控制。第六届国际研讨会，HSCC 2003，捷克共和国布拉格，2003年4月3--5日。诉讼程序。柏林：施普林格出版社（2003；Zbl 1017.00053） 全文： 内政部 链接