Signal Temporal Logic Task Decomposition via Convex Optimization.
Maria CharitidouDimos V. DimarogonasPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- convex optimization
- temporal logic
- model checking
- modal logic
- interior point methods
- low rank
- total variation
- primal dual
- signal processing
- convex optimization problems
- linear temporal logic
- convex relaxation
- computation tree logic
- temporal knowledge
- mazurkiewicz traces
- belief revision
- basis pursuit
- semidefinite program
- norm minimization
- verification method
- transition systems
- bounded model checking
- convex formulation
- operator splitting
- optimal solution
- reactive systems
- formal specification
- quadratically constrained quadratic
- linear combination
- formal specification language
- denoising