[IEEE 2007 46th IEEE Conference on Decision and Control - New Orleans, LA, USA (2007.12.12-2007.12.14)] 2007 46th IEEE Conference on Decision and Control - Symbolic models for nonlinear control systems using approximate bisimulation
Pola, Giordano; Girard, Antoine; Tabuada, Paulo
- 作者Pola, Giordano; Girard, Antoine; Tabuada, Paulo
- 文件大小237.38KB
- 发表时间2007
- DOI10.1109/cdc.2007.4434911
- 页码4656-4661