Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach

Award ID(s):: 2013824

NSF-PAR ID:: 10195920

Author(s) / Creator(s):: Bahavarnia, MirSaleh; Shoukry, Yasser; Martins, Nuno C.

Date Published:: 2020-07-01

Journal Name:: 2020 American Control Conference

Page Range / eLocation ID:: 5281 to 5286

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.23919/ACC45564.2020.9147460