A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- 期刊名称Automatica
- 作者Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire
- 卷第49卷
- 期第9期
- 印刷ISSN0005-1098
- 文件大小758.88KB
- 发表时间2013-9
- DOI10.1016/j.automatica.2013.05.025
- 页码2665-2674
同期刊推荐
Cooperative distributed MPC for trackingFerramosca, A.; Limon, D.; Alvarado, I.; Camacho, E.F. · Automatica · 2013
Tube model reference adaptive controlMirkin, Boris; Gutman, Per-Olof · Automatica · 2013
Dynamic Lyapunov functionsSassano, Mario; Astolfi, Alessandro · Automatica · 2013
Control allocation—A surveyJohansen, Tor A.; Fossen, Thor I. · Automatica · 2013
Variance error, interpolation and experiment designMahata, Kaushik · Automatica · 2013
On stabilization of switching linear systemsBattistelli, Giorgio · Automatica · 2013
Interpolatory weighted- model reductionAnić, Branimir; Beattie, Christopher; Gugercin, Serkan; Antoulas, Athanasios C. · Automatica · 2013
Duality in the behavioral systems theoryLomadze, Vakhtang · Automatica · 2013