Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
Pola, Giordano; Tabuada, Paulo
- 期刊名称SIAM Journal on Control and Optimization
- 作者Pola, Giordano; Tabuada, Paulo
- 卷第48卷
- 期第2期
- 印刷ISSN0363-0129
- 电子ISSN1095-7138
- 文件大小269.69KB
- 发表时间2009-01
- DOI10.1137/070698580
- 页码719-733