×

混合系统互仿真和验证的几何方法。 (英语) Zbl 0928.93024号

Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 61-75 (1999).
作者摘要:“提出了一种混合系统的近似验证方法,其中自动机集被过近似,而向量场保持不变。该方法基于一种几何启发的方法,使用切向叶理和横向叶理来获得互模拟。外部微分系统提供了一个自然的设置获得互模拟的解析表示,并获得并行合成下的互模拟。我们定义了符号执行理论,并将其应用于协调飞机和机器人”。
关于整个系列,请参见[Zbl 0911.00057号].

MSC公司:

93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
93对29 系统论中的微分几何方法(MSC2000)
53立方厘米 叶状体(微分几何方面)
58甲15 外部微分系统(Cartan理论)
PDF格式BibTeX公司 XML格式引用