Optimal Control of Nonlinear Systems with Temporal Logic Specifications.
Eric M. WolffRichard M. MurrayPublished in: ISRR (2013)
Keyphrases
- optimal control
- temporal logic
- nonlinear systems
- control law
- concurrent systems
- transition systems
- model checking
- reactive systems
- bounded model checking
- formal specification language
- stability analysis
- formal specification
- adaptive control
- control strategy
- control problems
- lyapunov function
- dynamic programming
- controller design
- adaptive fuzzy
- feedback control
- infinite horizon
- fuzzy systems
- fuzzy model
- adaptive neural
- learning rate
- linear temporal logic
- hamilton jacobi bellman
- reinforcement learning
- fuzzy control
- fuzzy controller
- belief revision
- brownian motion
- real time
- tracking error
- finite state
- control algorithm
- closed loop
- control system
- machine learning