摘要
R.Alur、T.A.Henzinger、G.Lafferiere和G.J.Pappas。 混合系统的离散抽象。 IEEE学报,88(7):971-9842000。 谷歌学者 交叉引用 B.Anderson、N.Bose和E.Jury。 输出反馈稳定和相关问题——通过决策方法解决。 IEEE自动控制汇刊,20(1):53--661975。 谷歌学者 交叉引用 D.Angeli等人。增量稳定性特性的lyapunov方法。 IEEE自动控制汇刊,47(3):410-4212002。 谷歌学者 交叉引用 E.Asarin和A.Bouajjani。 扰动图灵机和混合系统。 程序中。 第269--278页。 IEEE,2001年。 谷歌学者 交叉引用 K.J.Aström和R.m.Murray。 反馈系统:科学家和工程师简介。 普林斯顿大学出版社,2010年。 谷歌学者 数字图书馆 C.Baier和J.-P.Katoen。 模型检查原则。 麻省理工学院出版社,2008年。 谷歌学者 数字图书馆 M.Franzle先生。 多项式混合自动机的最终结果是什么? 程序中。 第340-359页。 斯普林格,2001年。 谷歌学者 交叉引用 S.Gao、J.Avigad和E.M.Clarke.δ-完成对现实的可满足性的决策程序。 程序中。 第286--300页。 施普林格,2012年。 谷歌学者 数字图书馆 A.吉拉德。 通过近似互模拟实现安全性和可达性的控制器综合。 Automatica,48(5):947--9532012年。 谷歌学者 数字图书馆 A.Girard、G.Pola和P.Tabuada。 增量稳定切换系统的近似双相似符号模型。 IEEE传输。 《自动控制》,55:116-1262010。 谷歌学者 交叉引用 L.Jaulin。 应用区间分析。 斯普林格科学与商业媒体,2001年。 谷歌学者 交叉引用 S.Kong、S.Gao、W.Chen和E.Clarke.dreach:混合系统的δ-可达性分析。 程序中。 第200-205页。 斯普林格,2015年。 谷歌学者 数字图书馆 Y.Li、J.Liu和N.Ozay。 通过近似上的局部可达集计算具有鲁棒性裕度的有限抽象。 程序中。 ADHS,2015年。 谷歌学者 J.Liu和N.Ozay。 动态系统时序逻辑控制中的抽象化、离散化和鲁棒性。 程序中。 HSCC第293--302页,2014年。 谷歌学者 数字图书馆 J.Liu和N.Ozay。 基于时序逻辑的控制综合的具有鲁棒裕度的有限抽象。 非线性分析:混合系统,22:1--15.2016。 谷歌学者 交叉引用 N.Ozay、J.Liu、P.Prabhakar和R.M.Murray。 计算增广有限转移系统以合成多项式切换系统的切换协议。 程序中。 ACC,第6237-62442013页。 谷歌学者 交叉引用 A.普努利。 程序的时序逻辑。 程序中。 FOCS,第46-57页。 IEEE,1977年。 谷歌学者 数字图书馆 G.Pola、A.Girard和P.Tabuada。 非线性控制系统的近似双相似符号模型。 Automatica,44(10):2508--2516,2008年。 谷歌学者 数字图书馆 G.雷西格。 计算非线性系统的抽象。 IEEE传输。 自动控制,56:2583--25982011。 谷歌学者 交叉引用 G.Reissig和M.Rungger。 符号控制器综合的反馈细化关系。 程序中。 CDC,第88-94页。 IEEE,2014年。 谷歌学者 交叉引用 G.Reissig、A.Weber和M.Rungger。 符号控制器综合的反馈优化关系。 《IEEE自动控制汇刊》,2016年出版。 谷歌学者 M.Rungger和M.Zamani。 Scots:符号控制器的合成工具。 程序中。 HSCC第99-104页。 ACM,2016年。 谷歌学者 数字图书馆 P.塔布阿达。 混合系统的验证和控制:符号方法。 施普林格,2009年。 谷歌学者 交叉引用 P.Tabuada和G.J.Pappas。 离散线性系统的线性时间逻辑控制。 IEEE传输。 关于自动控制,51(12):1862-18772006。 谷歌学者 交叉引用 Y.Tazaki和J.Imura。 基于误差传播分析的非线性系统离散抽象。 IEEE传输。 自动控制,57:550--5642012。 谷歌学者 交叉引用 U.Topcu、N.Ozay、J.Liu和R.M.Murray。 模型不确定性下鲁棒离散控制器的综合。 程序中。 HSCC第85-94页。 ACM,2012年。 谷歌学者 数字图书馆 M.Zamani、G.Pola、M.Mazo和P.Tabuada。 无稳定性假设的非线性控制系统的符号模型。 IEEE自动控制汇刊,57(7):1804-18092012。 谷歌学者 交叉引用
索引术语
控制综合的鲁棒抽象:通过线性时间特性的鲁棒性实现完整性
建议
动态系统时序逻辑控制中的抽象、离散化和鲁棒性 HSCC’14:第17届混合系统国际会议论文集:计算和控制 在过去十年中,基于抽象的层次化方法从动态系统的时序逻辑规范控制合成得到了越来越广泛的应用。 然而,在控制中经常遇到并广泛处理的各种问题。。。 弥合离散抽象和连续控制之间的差距:通过鲁棒性和可控性实现完整性 时间系统的形式化建模与分析 摘要 围绕连续非线性系统基于抽象的控制的一个核心理论问题是,是否可以通过算法程序决定控制器的存在,以使系统满足给定的规范(例如。,。。。 抗未知干扰的鲁棒离散综合 HSCC’11:第14届混合系统国际会议论文集:计算与控制 在不确定环境中工作的系统应具备 稳健性 属性,确保系统在未建模但有界的扰动影响下保持接近原始行为。 我们提出了一个理论。。。