| |
| 2009 | ||
|---|---|---|
| 2 | EE | Yuichi Tazaki, Jun-ichi Imura: Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. HSCC 2009: 351-365 |
| 2008 | ||
| 1 | EE | Yuichi Tazaki, Jun-ichi Imura: Bisimilar Finite Abstractions of Interconnected Systems. HSCC 2008: 514-527 |
| 1 | Jun-ichi Imura | [1] [2] |