Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications.
Lars LindemannGeorge J. PappasDimos V. DimarogonasPublished in: CDC (2020)
Keyphrases
- temporal logic
- reactive systems
- model checking
- concurrent systems
- dynamic constraints
- transition systems
- satisfiability problem
- formal specification
- formal specification language
- formal methods
- control system
- mobile robot
- modal logic
- feedback control
- model checker
- bounded model checking
- control method
- complex systems
- test cases
- distributed systems
- software engineering
- linear temporal logic
- autonomous control