Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems.
Guillaume O. BergerRaphaël M. JungersPublished in: IEEE Control. Syst. Lett. (2020)
Keyphrases
- nonlinear systems
- formal methods
- fuzzy model
- adaptive control
- fuzzy systems
- tracking control
- fuzzy controller
- artificial intelligence
- model checking
- control law
- fuzzy control
- formal specification
- learning rate
- adaptive neural control
- knowledge based systems
- modeling language
- development lifecycle
- software engineering
- control strategy
- life cycle
- membership functions
- input output