A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
Yinan LiZhibing SunJun LiuPublished in: CoRR (2021)
Keyphrases
- temporal logic
- nonlinear systems
- tracking control
- adaptive control
- model checking
- reactive systems
- adaptive neural
- controller design
- inverted pendulum
- linear temporal logic
- lyapunov function
- transition systems
- fuzzy model
- fuzzy systems
- adaptive neural control
- formal verification
- data mining
- input output
- tracking error
- verification method
- concurrent systems
- control system
- decision making
- computation tree logic
- real time