Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications.
Wei RenRaphaël M. JungersDimos V. DimarogonasPublished in: CoRR (2024)
Keyphrases
- linear temporal logic
- bounded model checking
- controller synthesis
- temporal logic
- autonomic computing systems
- model checking
- transition systems
- control system
- closed loop
- concurrent systems
- formal specification
- high level
- model checker
- specification language
- multi agent
- autonomic systems
- control algorithm
- formal verification
- reactive systems
- classical planning
- computing systems
- controller design