Author:
Fatnassi Wael,Shoukry Yasser
Subject
Control and Systems Engineering
Reference14 articles.
1. Bahavarnia, M., Shoukry, Y., and Martins, N.C. (2020). Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. In 2020 American Control Conference (ACC), 5281–5286. doi:10.23919/ACC45564.2020. 9147460.
2. Satisfiability modulo theories;Barrett,2018
3. Bauer, A., Pister, M., and Tautschnig, M. (2007). Tool-support for the analysis of hybrid systems and models. In 2007 Design, Automation Test in Europe Conference Exhibition, 1–6.
4. Behroozi, M. (2019). Largest Inscribed Rectangles in Geometric Convex Sets. CoRR, abs/1905.13246.
5. Collins, G.E. (1975). Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Automata Theory and Formal Languages 2nd GI Conference Kaisers lautern, May 20–23, 1975, 134–183. Springer.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献