Keyphrases
- stability analysis
- sufficient conditions
- model checking
- adaptive control
- probability density function
- nonlinear systems
- chaos theory
- formal verification
- signature verification
- asymptotic stability
- control law
- control scheme
- closed loop
- dynamical systems
- robust stability
- exponential stability
- lyapunov function
- neural network
- control theory
- nonlinear functions
- face verification
- probability density
- information systems