Approximate Bisimulation for Hybrid Systems Based on Transition Relations
- 期刊名称Transactions of the Society of Instrument and Control Engineers
- 作者CHOE, Sunseong; HIRAISHI, Kunihiko; KOBAYASHI, Koichi
- 卷第47卷
- 期第12期
- 印刷ISSN0453-4654
- 电子ISSN1883-8189
- 文件大小741.66KB
- 发表时间2011
- DOI10.9746/sicetr.47.614
- 页码614-620