×

混合系统:计算和控制。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。 (英语) Zbl 0911.00057号

计算机科学课堂讲稿. 1569. 柏林:斯普林格。x、 第271页(1999年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章:
拉吉耶夫,阿卢尔;桑帕斯·坎南;萨尔瓦多拉托雷,混合自动机中的多面体流,5-18[Zbl 0924.93016号]
细辛,尤金;奥德·马勒,尽快:时间自动机的时间最优控制,19-30[Zbl 0952.93064号]
阿尔贝托·本普拉德;曼弗雷德·莫拉里,通过数学编程验证混合系统,31-45[Zbl 0954.93019号]
奥利维埃·伯内兹(Olivier Bournez);马勒,奥德;阿米尔·普努利,正交多面体:表示和计算,46-60[Zbl 0947.68154号]
米雷尔·布罗基,混合系统互模拟和验证的几何方法,61-75[Zbl 0928.93024号]
Chutinan,Alongkrit;布鲁斯·H·克罗。,使用多边形流管近似验证多面体不变混合自动机,76-90[Zbl 0954.93020号]
埃格斯特德,M。;Koo,T.J。;霍夫曼,F。;萨斯特里,S。,自主直升机的路径规划和飞行控制器调度,91-102[Zbl 0925.93745号]
Mark R.Greenstreet。;伊恩·米切尔,使用多边形投影进行可达性分析,103-116[Zbl 1038.93509号]
Joáo P.Hespanha。;A.Stephen Morse,与标度无关的滞后开关,117-122[Zbl 0991.93059号]
Jun-ichi Imura;阿尔詹·范德沙夫特,一类无跳分段线性系统的适定性,123-136[兹伯利0928.93013]
拉弗里耶,杰拉尔多;乔治·帕帕斯(George J.Pappas)。;塞尔吉奥·尤文,一类新的可判定混合系统,137-151[Zbl 0926.93036号]
林,伙计,从混合自动机合成分层结构中的控制软件,152-164[Zbl 0954.93024号]
彼得·莫斯特曼。,混合仿真现象概述及其仿真包支持,165-177[Zbl 0925.93118号]
彼得·莫斯特曼(Pieter J.Mosterman)。;乔塔姆·比斯瓦斯,使用模型抽象构建复杂动态系统的混合观测器,178-192[Zbl 0925.93098号]
Nadjm-Tehrani,西明,集成模拟和离散同步设计,193-208[Zbl 0925.93272号]
Preußig,J。;俄勒冈州斯特斯伯格。;科瓦列夫斯基,S。,通过积分矩形近似和矩形分析对一类切换连续系统的可达性分析,209-222[Zbl 0925.93117号]
莫诺,伦克;塞雷,凯萨,精炼和连续行为,223-237[Zbl 0930.68030号]
克莱尔·汤姆林;约翰·莱杰罗斯(John Lygeros);Shankar Sastry公司,计算非线性混合系统的控制器,238-255[Zbl 0951.93012号]
Yfoulis,C.A。;A.缪尔。;Wellstead,体育。;佩蒂特,N.B.O.L。,正交分段线性系统的稳定性:鲁棒性分析与设计,256-270[Zbl 0924.93040号]

MSC公司:

00B25型 杂项特定利益的会议记录
93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等
PDF格式BibTeX公司 XML格式引用
全文: DOI程序