검색결과 : 6건
| 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 |
Computing Robust Controlled Invariant Sets of Linear Systems Rungger M, Tabuada P IEEE Transactions on Automatic Control, 62(7), 3665, 2017 |
| 4 |
Approximations of Stochastic Hybrid Systems: A Compositional Approach Zamani M, Rungger M, Esfahani PM IEEE Transactions on Automatic Control, 62(6), 2838, 2017 |
| 5 |
Optimized State Space Grids for Abstractions Weber A, Rungger M, Reissig G IEEE Transactions on Automatic Control, 62(11), 5816, 2017 |
| 6 |
Towards Robustness for Cyber-Physical Systems Tabuada P, Caliskan SY, Rungger M, Majumdar R IEEE Transactions on Automatic Control, 59(12), 3151, 2014 |