Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract.
Guillaume O. BergerRaphaël M. JungersPublished in: HSCC (2019)
Keyphrases
- nonlinear systems
- formal methods
- adaptive control
- tracking control
- fuzzy model
- control law
- fuzzy control
- knowledge based systems
- fuzzy systems
- adaptive neural control
- learning rate
- model checking
- formal specification
- fuzzy controller
- artificial intelligence
- least squares
- software engineering
- fuzzy rules
- input output
- optimization algorithm
- life cycle
- artificial neural networks
- neural network