An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems.
Simone SmeraldoRiccardo DesiminiMaria PrandiniPublished in: ECC (2022)
Keyphrases
- nonlinear systems
- dead zone
- tracking control
- stability analysis
- adaptive control
- controller design
- fuzzy controller
- fuzzy control
- fuzzy model
- fuzzy systems
- control law
- adaptive neural
- learning rate
- adaptive neural control
- lyapunov function
- nonlinear dynamic systems
- control method
- nonlinear functions
- differential evolution
- input output
- dynamic environments
- intelligent systems