摘要
D.安吉丽。 增量稳定性的Lyapunov方法。 IEEE自动控制汇刊,47(3):410-4212002。 谷歌学者 交叉引用 R.E.布赖恩特。 布尔函数操作的基于图形的算法。 IEEE计算机汇刊,35(8):677-6911986。 谷歌学者 数字图书馆 J.Cámara、A.Girard和G.Gössler。 基于多尺度符号模型的切换系统安全控制器综合。 IEEE决策与控制会议和欧洲控制会议,第520-525页。 IEEE,2011年。 谷歌学者 交叉引用 J.Cámara、A.Girard和G.Gössler。 使用近似双相似多尺度抽象的开关控制器综合。 《混合系统:计算与控制》,第191-200页。 ACM,2011年。 谷歌学者 数字图书馆 A.Girard和G.J.Pappas。 离散和连续系统的近似度量。 IEEE自动控制汇刊,52(5):782--7982007。 谷歌学者 交叉引用 A.Girard、G.Pola和P.Tabuada。 增量稳定切换系统的近似双相似符号模型。 IEEE自动控制汇刊,55(1):116-1262010。 谷歌学者 交叉引用 B.珍妮特。 MLCUDDIDL:CUDD库的OCaml接口,版本2.2.02011。 http://pop-art.inrialpes.fr/ bjeannet/mlxxxil-forge/mlcuddidl/html/Cudd.html。 谷歌学者 X.Leroy、D.Doligez、A.Frisch、J.Garrigue、D.Rémy和J.Vouillon。 目标凸轮系统3.12版。 文档和用户手册,2010年。 谷歌学者 M.Mazo Jr.、A.Davidian和P.Tabuada。 Pessoa:用于嵌入式控制器合成的工具。 在《计算机辅助验证》中,LNCS第6174卷,第566-569页。 施普林格,2010年。 谷歌学者 数字图书馆 S.Mouelhi、G.Gössler和A.Girard。 使用COSYMA为切换系统合成控制器。 技术报告,INRIA,2012年。 谷歌学者 F.萨蒙齐。 CUDD:CU决策图包。 http://vlsi.colorado.edu/ 法比奥/CUDD。 谷歌学者 P.塔布阿达。 混合系统的验证和控制:符号方法。 施普林格,2009年。 谷歌学者 数字图书馆 T.Tantau。 TikZ和PGF包,2.10版手册,2010年。 谷歌学者
建议
Pessoa 2.0:用于网络物理系统的控制器综合工具 HSCC’11:第14届混合系统国际会议论文集:计算与控制 我们介绍了PESSOA2.0,这是一种基于正确设计方法的自动综合网络物理系统控制器的工具。 PESSOA2.0接受一个由一组光滑微分方程和自动机表示的网络物理系统。。。 反应性高层行为的非线性控制器综合和自动工作空间划分 HSCC’16:第19届混合动力系统国际会议论文集:计算与控制 基于对具有非线性欠驱动动力学的机器人执行复杂反应任务的可证明正确性,我们的重点是合成实现高级控制器行为的低级控制器库。 这个。。。