A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.
YoungMin KwonEunhee KimGul AghaPublished in: QEST (2023)
Keyphrases
- nonlinear systems
- bounded model checking
- dead zone
- model checking
- formal verification
- stability analysis
- tracking control
- adaptive control
- temporal logic
- finite state
- fuzzy model
- learning rate
- linear temporal logic
- fuzzy control
- fuzzy systems
- adaptive neural control
- control law
- fuzzy controller
- adaptive neural
- multi agent systems
- markov chain
- degrees of freedom
- membership functions
- nonlinear functions
- mathematical model
- fuzzy logic
- expert systems
- artificial intelligence
- machine learning