Keyphrases
- interactive theorem proving
- stability analysis
- adaptive control
- theorem proving
- nonlinear systems
- control scheme
- control theory
- asymptotic stability
- sufficient conditions
- class of nonlinear systems
- von neumann
- dynamical systems
- school children
- proof theory
- theorem prover
- chaotic systems
- genetic algorithm
- logical rules
- control law
- case study