검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Symbolic Optimal Control Reissig G, Rungger M IEEE Transactions on Automatic Control, 64(6), 2224, 2019 |
| 2 |
Feedback Refinement Relations for the Synthesis of Symbolic Controllers Reissig G, Weber A, Rungger M IEEE Transactions on Automatic Control, 62(4), 1781, 2017 |
| 3 |
Optimized State Space Grids for Abstractions Weber A, Rungger M, Reissig G IEEE Transactions on Automatic Control, 62(11), 5816, 2017 |
| 4 |
Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis Tazaki Y, Imura J IEEE Transactions on Automatic Control, 57(3), 550, 2012 |
| 5 |
Computing Abstractions of Nonlinear Systems Reissig G IEEE Transactions on Automatic Control, 56(11), 2583, 2011 |