A Multi-Parametric Method for Active Model Discrimination of Nonlinear Systems with Temporal Logic-Constrained Switching.
Ruochen NiuSyed M. HassaanSze Zheng YongPublished in: ACC (2022)
Keyphrases
- temporal logic
- verification method
- mathematical model
- stability analysis
- linear model
- experimental data
- nonlinear systems
- dynamic programming
- real time
- model checking
- neural network
- least squares
- dynamic environments
- optimization algorithm
- belief revision
- convergence rate
- control system
- learning rate
- artificial neural networks
- control law
- expert systems
- decision making