Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables.
Vincent KurtzHai LinPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- temporal logic
- binary variables
- mixed integer programming
- model checking
- linear programming relaxation
- mixed integer
- valid inequalities
- column generation
- production planning
- lot sizing
- linear program
- belief revision
- linear programming
- continuous variables
- piecewise linear
- linear constraints
- limited memory
- mathematical model
- energy function