Sign in
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates.
Luyao Niu
Andrew Clark
Radha Poovendran
Published in:
CDC (2023)
Keyphrases
</>
sufficient conditions
linear temporal logic
lyapunov function
asymptotic stability
exponential stability
model checking
temporal logic
robust stability
control system
equilibrium point
linear systems
optimal policy
neural network
search algorithm
real time control