검색결과 : 17건
| No. | Article |
|---|---|
| 1 |
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions Winterer L, Junges S, Wimmer R, Jansen N, Topcu U, Katoen JP, Becker B IEEE Transactions on Automatic Control, 66(3), 1040, 2021 |
| 2 |
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity Hashemi A, Ghasemi M, Vikalo H, Topcu U IEEE Transactions on Automatic Control, 66(1), 199, 2021 |
| 3 |
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints Savas Y, Ornik M, Cubuktepe M, Karabag MO, Topcu U IEEE Transactions on Automatic Control, 65(4), 1552, 2020 |
| 4 |
Safe Controller Synthesis for Data-Driven Differential Inclusions Ahmadi M, Israel A, Topcu U IEEE Transactions on Automatic Control, 65(11), 4934, 2020 |
| 5 |
Differentially Private Distributed Constrained Optimization Han S, Topcu U, Pappas GJ IEEE Transactions on Automatic Control, 62(1), 50, 2017 |
| 6 |
Distributed Charging Control of Electric Vehicles Using Online Learning Ma WJ, Gupta V, Topcu U IEEE Transactions on Automatic Control, 62(10), 5289, 2017 |
| 7 |
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems Wongpiromsarn T, Topcu U, Lamperski A IEEE Transactions on Automatic Control, 61(11), 3344, 2016 |
| 8 |
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints Fu J, Topcu U IEEE Transactions on Automatic Control, 61(11), 3464, 2016 |
| 9 |
Exact Convex Relaxation of Optimal Power Flow in Radial Networks Gan LW, Li N, Topcu U, Low SH IEEE Transactions on Automatic Control, 60(1), 72, 2015 |
| 10 |
Design and Stability of Load-Side Primary Frequency Control in Power Systems Zhao CH, Topcu U, Li N, Low S IEEE Transactions on Automatic Control, 59(5), 1177, 2014 |