Approximately bisimilar symbolic model for switched systems with unstable subsystems.
Yongzhuang LiuYang SongWenshuai GaoPublished in: J. Frankl. Inst. (2022)
Keyphrases
- management system
- formal model
- high level
- statistical model
- computational model
- theoretical analysis
- computational models
- sensitivity analysis
- mathematical model
- conceptual model
- markov random field
- intelligent systems
- neural network
- least squares
- probabilistic model
- retrieval systems
- objective function
- similarity measure
- simulation model
- social networks