Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach
Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach
复制标题
受逻辑和结构约束的控制器综合：可满足性模理论 (SMT) 方法
DOI：
10.23919/acc45564.2020.9147460
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Martins, Nuno C.
中科院分区：
文献类型：
--
作者：
Bahavarnia, MirSaleh;Shoukry, Yasser;Martins, Nuno C.
登录
查看更多内容
量化的不平等和稳健的控制
DOI：
--
发表时间：
1998
期刊：
Robustness in Identification and Control
影响因子：
--
作者：
C. Abdallah;M. Ariola;P. Dorato;V. Koltchinskii
通讯作者：
V. Koltchinskii
线性系统的结构化可实现性和稳定性
DOI：
--
发表时间：
2012
期刊：
American Control Conference
影响因子：
--
作者：
Laurent Lessard;Maxim Kristalny;A. Rantzer
通讯作者：
A. Rantzer
DOI：
10.1006/jsco.1997.0120
发表时间：
1997-08
期刊：
J. Symb. Comput.
影响因子：
--
作者：
P. Dorato;Wei Yang;C. Abdallah
通讯作者：
P. Dorato;Wei Yang;C. Abdallah
SMC：可满足性模凸规划
影响因子：
20.6
作者：
Shoukry, Yasser;Nuzzo, Pierluigi;Sangiovanni-Vincentelli, Alberto L.;Seshia, Sanjit A.;Pappas, George J.;Tabuada, Paulo
通讯作者：
Tabuada, Paulo
通过非脆弱性概念进行状态反馈控制器稀疏化
DOI：
--
发表时间：
2017
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
MirSaleh Bahavarnia;C. Somarakis;N. Motee
通讯作者：
N. Motee