摘要
T.Anevlavis和P.Tabuada。 2019.分两步计算受控不变集。 在 2019年IEEE决策与控制会议(CDC)。 6249-6254之间。 谷歌学者 Panos J.Antsaklis和Anthony Michel。 2006 线性系统 (第1版)。 Birkhä用户巴塞尔。 谷歌学者 莫斯科ApS。 2019 MATLAB手册的MOSEK优化工具箱。 版本8.1.0.75。 http://docs.mosek.com/8.1/toolbox/index.html 谷歌学者 迪米特里·贝塞卡斯。 1972年.使用反馈控制实现状态空间区域的无限时间可达性。 自动控制,IEEE事务处理 AC-17(1972年11月),604--613。 谷歌学者 交叉引用 F.布兰奇尼。 1999年,调查报告:在控制中设置不变性。 Automatica公司 35,11(1999年11月),1747-1767。 谷歌学者 数字图书馆 弗兰科·布兰奇尼(Franco Blanchini)、福阿德·梅斯奎因(Fouad Mesquine)和斯特凡诺·米亚尼(Stefano Miani)。 1995.具有指定初始条件集的约束镇定。 内部。 J.控制 62, 3 (1995), 601--617. arXiv: https://doi.org/10.1080/00207179508921559 谷歌学者 交叉引用 弗兰科·布兰奇尼和斯特凡诺·米亚尼。 2008 控制中的集合理论方法。 伯克豪泽,波士顿,巴塞尔,柏林。 谷歌学者 F.博雷利。 2003 线性和混合系统的约束最优控制。 施普林格-柏林-海德堡。 谷歌学者 巴沃尔·布鲁诺夫斯克。 1970年线性可控系统的分类。 凯贝内提卡 6 (1970), 173--188. 谷歌学者 E.De Santis、M.D.Di Benedetto和L.Berardi。 2004.交换系统最大安全集的计算。 IEEE传输。 自动化。 控制 49,2(2004年2月),184--195。 谷歌学者 交叉引用 S.Di Cairano和F.Borrelli。 2013.有保证误差范围的约束跟踪。 在 第52届IEEE决策与控制会议。 3800--3805. 谷歌学者 交叉引用 J Duncan Glover和Fred C.Schweppe。 1971.具有集约束扰动的线性动态系统的控制。 自动控制,IEEE事务处理 16(1971年11月),第411页至第423页。 谷歌学者 交叉引用 亚历山德罗·加斯帕雷托和斯特凡诺·米亚尼。 2004年,钢铁工业中使用的旋转通道的动态模型和控制器的实现。 振动与控制杂志 10, 3 (2004), 423--445. arXiv: https://doi.org/10.1177/1077546304038875 谷歌学者 交叉引用 Jeremy H.Gillula、Shahab Kaynama和Claire J.Tomlin。 2014.基于采样的高维线性采样数据系统生存核近似。 在 第17届混合系统国际会议论文集:计算与控制(HSCC’14)。 美国纽约州纽约市ACM,173-182。 谷歌学者 数字图书馆 M.Herceg、M.Kvasnica、C.N.Jones和M.Morari,2013年。 多参数工具箱3.0。 在 程序。 欧洲控制会议。 瑞士苏黎世,502-510。 网址:http://control.ee.ethz.ch/ ~英里。 谷歌学者 C.N.Jones、E.C.Kerrigan和J.M.Maciejowski。 2008.关于多面体投影和参数编程。 最优化理论与应用杂志 138,2(2008年8月1日),207--220。 谷歌学者 数字图书馆 Shahab Kaynama、John Maidens、Meeko Oishi、Ian M.Mitchell和Guy A.Dumont。 2012.使用最大可达集计算生存核。 在 第15届ACM混合系统国际会议论文集:计算与控制(HSCC’12)。 ACM,美国纽约州纽约市,55-64。 谷歌学者 数字图书馆 埃里克·克里根。 2011。鲁棒约束满足:不变集和预测控制。 博士论文 (10 2011). 谷歌学者 E.C.Kerrigan和J.M.Maciejowski。 约束非线性离散时间系统的不变集及其在模型预测控制中的可行性应用。 在 第39届IEEE决策与控制会议记录(目录号00CH37187) ,第5卷。 4951-4956第5卷。 谷歌学者 交叉引用 米兰。 迪迪埃·科尔达。 亨利安和科林·琼斯。 2014.多项式控制系统最大受控不变集的凸计算。 SIAM控制与优化杂志 52, 5 (2014), 2944--2969. arXiv: https://doi.org/10.1137/130914565 谷歌学者 数字图书馆 M.拉扎尔。 2006 混合系统的模型预测控制:稳定性和鲁棒性。 博士论文。 电气工程系。 谷歌学者 交叉引用 Benoît Legat、Paulo Tabuada和Raphaël M.Jungers。 2018.计算混合系统的受控不变集及其在预测控制建模中的应用。 在 第六届IFAC混合动力系统分析与设计会议,2018年ADHS,英国牛津,2018年7月11日至13日。 193--198. 谷歌学者 交叉引用 Z.Liu和N.Ozay。 2019.Preview Automaton安全控制。 在 2019年IEEE决策与控制会议(CDC)。 1557--1564. 谷歌学者 J.Lofberg,2004年。 YALMIP:MATLAB中用于建模和优化的工具箱。 在 2004年IEEE机器人与自动化国际会议(IEEE分类号04CH37508)。 284--289. 谷歌学者 交叉引用 奥德·马勒(Oded Maler)、阿米尔·普努利(Amir Pnueli)和约瑟夫·西法基斯(Joseph Sifakis)。 1995.关于定时系统离散控制器的综合。 在 STACS 95标准 Ernst W.Mayr和Claude Puech(编辑)。 施普林格-柏林-海德堡,柏林,海德堡。 谷歌学者 Z Manna和Amir Pnueli。 1987 时间属性的层次结构。 技术报告。 斯坦福,加利福尼亚州,美国。 谷歌学者 西奥多·塞缪尔·莫茨金。 1936 Beiträge zur理论der linearen Ungleichungen。 Azriel出版社。 谷歌学者 A.Oustry、M.Tacchi和D.Henrion。 2019.多项式动力系统最大正不变集的内逼近。 IEEE控制系统信件 3、3(2019年7月)、733--738。 谷歌学者 交叉引用 S.V.Rakovic、P.Grieder、M.Kvasnica、D.Q.Mayne和M.Morari,2004年。 受有界扰动的分段仿射离散时间系统的不变集计算。 在 2004年第43届IEEE决策与控制会议(CDC)(IEEE分类号04CH37601) ,第2卷。 1418-1423年第2卷。 谷歌学者 交叉引用 M.Rungger、M.Mazo和P.Tabuada。 2012.扩大线性系统和安全规范的控制器综合。 在 2012年IEEE第51届IEEE决策与控制会议(CDC)。 7638--7643. 谷歌学者 交叉引用 马蒂亚斯·伦格(Matthias Rungger)、小曼努埃尔·马佐(Manuel Mazo,Jr.)和保罗·塔布阿达(Paulo Tabuada)。 2013.线性系统和安全线性时间时序逻辑的规范指导控制器综合。 在 第16届混合系统国际会议论文集:计算与控制(HSCC’13)。 ACM,美国纽约州纽约市,333-342。 谷歌学者 数字图书馆 M.Rungger和P.Tabuada。 2017.计算线性系统的鲁棒控制不变集。 IEEE传输。 自动化。 控制 62,7(2017年7月),3665-3670。 谷歌学者 交叉引用 穆罕默德·阿明·本·萨西(Mohamed Amin Ben Sassi)和安托万·吉拉德(Antoine Girard)。 2012.使用线性规划对多项式动态系统的鲁棒不变性进行控制器综合。 系统和控制信件 61, 4 (2012), 506 -- 512. 谷歌学者 交叉引用 S.W.Smith、P.Nilsson和N.Ozay。 2016.成分控制合成的相互依赖量化及其在车辆安全系统中的应用。 在 2016年IEEE第55届决策与控制会议(CDC)。 5700--5707. 谷歌学者 数字图书馆 P.Tabuada和G.J.Pappas。 2006.离散时间线性系统的线性时间逻辑控制。 IEEE传输。 自动化。 控制 51,12(2006年12月),1862-1877。 谷歌学者 交叉引用 雷内·维达尔(RenéVidal)、肖恩·沙弗特(Shawn Schaffert)、约翰·利杰罗斯(John Lygeros)和珊卡·萨斯特里(Shankar Sastry)。 2000.离散时间系统的受控不变性。 在 第三届混合系统国际研讨会论文集:计算与控制(HSCC'00)。 斯普林格·弗拉格,英国伦敦,英国,437--450。 谷歌学者 交叉引用
索引术语
计算受控不变集的简单层次结构