摘要
M.Kloetzer和C.Belta,“从时序逻辑规范控制线性系统的全自动框架”,《IEEE自动控制汇刊》,第53卷,第1期,第287-297页,2008年。 谷歌学者 交叉引用 P.Tabuada和G.Pappas,“可控线性系统上的模型检查LTL是可判定的”,ser。 《计算机科学讲义》,O.Maler和A.Pnueli,Springer-Verlag编辑,2003年,第2623卷。 谷歌学者 数字图书馆 A.Girard,《使用近似双相似抽象的综合:安全规范的状态反馈控制器》,载于《混合系统:计算与控制》。 ACM,2010年,第111-120页。 谷歌学者 数字图书馆 H.K.Gazit、G.Fainekos和G.J.Pappas,“Waldo在哪里?基于传感器的时间逻辑运动规划”,摘自IEEE机器人与自动化会议,意大利罗马,2007年,第3116-3121页。 谷歌学者 T.Wongpiromsarn、U.Topcu和R.M.Murray,“动态系统的衰退时域逻辑规划”,载于IEEE决策与控制会议,中国上海,2009年,第5997-6004页。 谷歌学者 A.Bhatia、L.E.Kavraki和M.Y.Vardi,“混合动态和时间目标的运动规划”,载于IEEE决策与控制会议,佐治亚州亚特兰大,2010年,第1108-1115页。 谷歌学者 E.A.Gol、M.Lazar和C.Belta,“离散时间线性系统的语言制导控制器综合”,《混合系统:计算和控制》。 ACM,2012年,第95-104页。 谷歌学者 数字图书馆 C.Sloth和R.Wisniewski,“用时间自动机对动力系统进行完全抽象”,《非线性分析:混合系统》,第7卷,第1期,第80-100页,2013年。 谷歌学者 交叉引用 S.Karaman和E.Frazzoli,“具有确定性m演算规范的基于采样的运动规划”,载于IEEE决策与控制会议,中国上海,2009年,第2222-2229页。 谷歌学者 B.Yordanov、J.Tumova、C.Belta、I.Cerna和J.Barnat,“离散时间分段仿射系统的时序逻辑控制”,《IEEE自动控制学报》,第57卷,第6期,第1491--1504页,2012年。 谷歌学者 交叉引用 C.Baier和J.Katoen,模型检查原理。 麻省理工学院出版社,2008年。 谷歌学者 数字图书馆 N.Piterman和A.Pnueli,《验证、模型检查和抽象解释》中的“反应(1)设计的合成”。 施普林格,2006年,第364--380页。 谷歌学者 数字图书馆 A.P.Sistla,“时序逻辑中的安全、活跃和公平”,《计算的形式方面》,第6卷,第495-5111994页。 谷歌学者 交叉引用 X.C.Ding、M.Lazar和C.Belta,“有限确定性系统的衰退时域逻辑控制”,美国控制会议,加拿大蒙特利尔,2012年,第715-720页。 谷歌学者 X.C.Ding、S.L.Smith、C.Belta和D.Rus,“时序逻辑约束下的Mdp最优控制”,《IEEE决策与控制会议》,佛罗里达州奥兰多,2011年,第532-538页。 谷歌学者 M.Lazar、W.P.M.H.Heemels、S.Weiland和A.Bemporad,“混合系统的稳定模型预测控制”,IEEE自动控制汇刊,第51卷,第11期,第1813-1818页,2006年。 谷歌学者 交叉引用 S.Di Cairano、M.Lazar、A.Bempoad和W.P.M.H.Heemels,“混合系统预测控制的控制Lyapunov方法”,摘自《混合系统:计算与控制》,ser。 计算机科学讲义,第4981卷。 密苏里州圣路易斯:Springer Verlag,2008年,第130-143页。 谷歌学者 数字图书馆 A.Bempoad和M.Morari,“集成逻辑、动力学和约束的系统控制”,《自动化》,第35卷,第407-427页,1999年。 谷歌学者 数字图书馆 O.Kupferman和M.Y.Vardi,“安全特性的模型检查”,《系统设计中的形式方法》,第19卷,第291-3142001页。 谷歌学者 数字图书馆 T.Latvala,“安全属性的有效模型检查”,《模型检查软件》。 第十届国际SPIN研讨会。 Springer,2003年,第74-88页。 谷歌学者 数字图书馆 J.Hespanha,“随机混合系统的建模和分析”,《控制理论与应用》,IEEE Proceedings,第153卷,第5期,第520-5535页,2006年。 谷歌学者 交叉引用 J·B·罗林斯和D·Q·梅恩,模型预测控制理论与设计。 Nob Hill Pub,2009年。 谷歌学者 M.Kvasnica、P.Grieder和M.Baotic,“多参数工具箱(MPT)”,2004年。 {在线}。 可用: 网址:http://control.ee.ethz.ch/ ~mpt(百万桶)/ 谷歌学者 T.Gardner、C.Cantor和J.Collins,“大肠杆菌基因切换开关的构建”,《自然》,第403卷,第6767号,第339-3422000页。 谷歌学者 交叉引用
建议
基于信号时序逻辑规范的模型预测控制:一个案例研究 CyPhy’14:第四届ACM SIGBED网络物理系统设计、建模和评估国际研讨会会议记录 本文描述了将网络物理系统的模型预测控制(MPC)作为信号时序逻辑(STL)规范的综合框架的当前工作。 我们使用一个具有不确定需求和。。。 基于模型预测控制方法的约束线性系统事件驱动鲁棒输出反馈控制 研究受有界扰动约束线性系统的事件驱动鲁棒输出反馈模型预测控制问题。 所提出的输出反馈控制器涉及到设计一个Luenberger状态估计器和。。。