Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
Luca GerettiDavide BresolinPieter CollinsSanja Zivanovic GonzalezTiziano VillaPublished in: ICTSS (2017)
Keyphrases
- nonlinear systems
- automated verification
- model checking
- automated reasoning
- stability analysis
- adaptive control
- formal verification
- tracking control
- fuzzy control
- adaptive neural control
- fuzzy model
- fuzzy systems
- adaptive neural
- learning rate
- control law
- lyapunov function
- fuzzy controller
- neural network
- closed loop
- control system
- real time
- theorem proving
- control method
- input output
- social network analysis
- mobile robot
- reinforcement learning