A Control Lyapunov Function Approach Using Quantifier Elimination.
Rick VoßwinkelKlaus RöbenackPublished in: ICSTCC (2019)
Keyphrases
- lyapunov function
- quantifier elimination
- control method
- sufficient conditions
- optimal control
- nonlinear systems
- neural network
- functional programming
- control system
- control law
- control strategy
- constraint propagation
- control algorithm
- fuzzy control
- adaptive control
- cardinality constraints
- evolutionary algorithm
- stability analysis
- hopfield neural network
- controller design
- closed loop
- expert systems
- fixed point
- real time