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