Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach.
MirSaleh BahavarniaYasser ShoukryNuno C. MartinsPublished in: ACC (2020)
Keyphrases
- structural constraints
- modulo theories
- controller synthesis
- satisfiability modulo theories
- answer set programming
- pattern discovery
- multi agent
- stable model semantics
- sat solvers
- latent variables
- control algorithm
- closed loop
- information retrieval
- machine learning
- answer sets
- logic programs
- control system
- optimal solution