A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
Yinan LiZhibing SunJun LiuPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- temporal logic
- nonlinear systems
- transition systems
- model checking
- adaptive control
- tracking control
- adaptive neural control
- verification method
- controller design
- fuzzy control
- control method
- learning algorithm
- path planning
- dynamic constraints
- concurrent systems
- adaptive neural
- reactive systems
- neural network
- linear temporal logic
- expert systems
- fuzzy logic
- inverted pendulum
- dynamic environments
- formal methods
- belief revision
- fuzzy model
- learning rate