High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications.
Wei XiaoCalin A. BeltaChristos G. CassandrasPublished in: CoRR (2021)
Keyphrases
- high order
- temporal logic
- concurrent systems
- model checking
- transition systems
- higher order
- control theory
- bounded model checking
- model checker
- reactive systems
- low order
- modal logic
- formal specification language
- adaptive control
- satisfiability problem
- pairwise
- formal specification
- belief revision
- linear temporal logic
- mazurkiewicz traces
- bayesian logistic regression
- markov random field
- dynamic constraints
- basis functions
- control method
- control system
- control strategy
- temporal knowledge
- dynamical systems
- sufficient conditions
- computation tree logic
- automata theoretic
- tensor analysis
- computer vision
- image processing
- search algorithm
- verification method
- lower order
- optimal control