Hierarchical control for uncertain discrete-time nonlinear systems under signal temporal logic specifications.
Pian YuDimos V. DimarogonasPublished in: CDC (2021)
Keyphrases
- temporal logic
- nonlinear systems
- dead zone
- adaptive control
- tracking control
- concurrent systems
- controller design
- inverted pendulum
- model checking
- adaptive neural
- transition systems
- single input single output
- reactive systems
- bounded model checking
- model checker
- control law
- lyapunov function
- formal specification language
- adaptive neural control
- fuzzy model
- control method
- fuzzy systems
- fuzzy control
- tracking error
- formal specification
- learning rate
- decision making
- control system
- feedback control
- control algorithm
- robust stability
- fuzzy controller
- optimal control
- finite state
- closed loop
- verification method
- linear temporal logic
- dynamic environments
- autonomous robots
- control strategy
- reinforcement learning
- chaotic systems