Automaton-guided controller synthesis for nonlinear systems with temporal logic.
Eric M. WolffUfuk TopcuRichard M. MurrayPublished in: IROS (2013)
Keyphrases
- temporal logic
- nonlinear systems
- controller synthesis
- controller design
- control law
- closed loop
- model checking
- stability analysis
- control system
- adaptive control
- fuzzy control
- fuzzy systems
- adaptive neural
- fuzzy controller
- control algorithm
- learning rate
- fuzzy model
- control scheme
- adaptive fuzzy
- lyapunov function
- inverted pendulum
- linear temporal logic
- least squares
- fuzzy logic
- multi agent
- sliding mode
- expert systems
- state space
- dynamic environments
- input output
- genetic algorithm