Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic.
Gustavo A. CardonaDisha KamaleCristian-Ioan VasilePublished in: HSCC (2023)
Keyphrases
- temporal logic
- mixed integer linear programming
- model checking
- modal logic
- branch and bound algorithm
- cutting plane
- control system
- mazurkiewicz traces
- computation tree logic
- linear temporal logic
- verification method
- mathematical programming
- mixed integer nonlinear programming
- belief revision
- particle swarm optimization
- approximate solutions
- optimal control
- control strategy
- dynamic constraints
- temporally extended
- linear programming
- probability distribution