Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach
- Award ID(s):
- 2013824
- Publication Date:
- NSF-PAR ID:
- 10195920
- Journal Name:
- 2020 American Control Conference
- Page Range or eLocation-ID:
- 5281 to 5286
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Publisher's Version of Record
- https://doi.org/10.23919/ACC45564.2020.9147460
