Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications.
Yash Vardhan PantHe YinMurat ArcakSanjit A. SeshiaPublished in: ACC (2021)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- temporally extended goals
- transition systems
- model checker
- bounded model checking
- reactive systems
- aerial vehicles
- formal specification language
- modal logic
- satisfiability problem
- unmanned aerial vehicles
- temporally extended
- mission planning
- linear temporal logic
- operating conditions
- symbolic model checking
- formal verification
- induction motor
- formal specification
- verification method
- computation tree logic
- planning problems
- automata theoretic
- control system
- temporal knowledge
- mazurkiewicz traces
- dynamic constraints
- path planning
- heuristic search
- mathematical model
- formal methods
- ai planning
- planning domains
- control strategy