| Non-asymptotic identification of lti systems from a single trajectory S Oymak, N Ozay 2019 American control conference (ACC), 5655-5661, 2019 | 254 | 2019 |
| TuLiP: a software toolbox for receding horizon temporal logic planning T Wongpiromsarn, U Topcu, N Ozay, H Xu, RM Murray Proceedings of the 14th international conference on Hybrid systems …, 2011 | 248 | 2011 |
| Correct-by-construction adaptive cruise control: Two approaches P Nilsson, O Hussien, A Balkan, Y Chen, AD Ames, JW Grizzle, N Ozay, ... IEEE Transactions on Control Systems Technology 24 (4), 1294-1307, 2015 | 191 | 2015 |
| A Contract-Based Methodology for Aircraft Electric Power System Design P Nuzzo, H Xu, N Ozay, JB Finn, AL Sangiovanni-Vincentelli, RM Murray, ... IEEE Access 2, 1-25, 2014 | 187 | 2014 |
| Synthesis of Reactive Switching Protocols from Temporal Logic Specifications J Liu, N Ozay, U Topcu, RM Murray IEEE Transactions on Automatic Control 58 (7), 1771 - 1785, 2013 | 178 | 2013 |
| Connected and automated road vehicles: state of the art and future challenges T Ersal, I Kolmanovsky, N Masoud, N Ozay, J Scruggs, R Vasudevan, ... Vehicle system dynamics 58 (5), 672-704, 2020 | 136 | 2020 |
| A Sparsification Approach to Set Membership Identification of Switched Affine Systems N Ozay, M Sznaier, C Lagoa, O Camps Automatic Control, IEEE Transactions on 57 (3), 634-648, 2012 | 130 | 2012 |
| Control design for hybrid systems with TuLiP: The temporal logic planning toolbox I Filippidis, S Dathathri, SC Livingston, N Ozay, RM Murray 2016 IEEE Conference on Control Applications (CCA), 1030-1041, 2016 | 88 | 2016 |
| Set membership identification of switched linear systems with known number of subsystems N Ozay, C Lagoa, M Sznaier Automatica 51, 180-191, 2015 | 80 | 2015 |
| Multirobot coordination with counting temporal logics YE Sahin, P Nilsson, N Ozay IEEE Transactions on Robotics 36 (4), 1189-1206, 2019 | 74 | 2019 |
| A sparsification approach to set membership identification of a class of affine hybrid systems N Ozay, M Sznaier, C Lagoa, O Camps Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 123-130, 2008 | 72 | 2008 |
| Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach F Harirchi, N Ozay Automatica 93, 476-488, 2018 | 71 | 2018 |
| Abstraction, discretization, and robustness in temporal logic control of dynamical systems J Liu, N Ozay Proceedings of the 17th international conference on Hybrid systems …, 2014 | 64 | 2014 |
| Finite abstractions with robustness margins for temporal logic-based control synthesis J Liu, N Ozay Nonlinear Analysis: Hybrid Systems 22, 1-15, 2016 | 61 | 2016 |
| Distributed power allocation for vehicle management systems N Ozay, U Topcu, R Murray Decision and Control and European Control Conference (CDC-ECC), 2011 50th …, 2011 | 58 | 2011 |
| Learning constraints from demonstrations G Chou, D Berenson, N Ozay Algorithmic Foundations of Robotics XIII: Proceedings of the 13th Workshop …, 2020 | 56 | 2020 |
| Robust identification of switched affine systems via moments-based convex optimization N Ozay, C Lagoa, M Sznaier Decision and Control, 2009 held jointly with the 2009 28th Chinese Control …, 2009 | 55 | 2009 |
| Revisiting ho–kalman-based system identification: Robustness and finite-sample analysis S Oymak, N Ozay IEEE Transactions on Automatic Control 67 (4), 1914-1928, 2021 | 53 | 2021 |
| Synthesis of separable controlled invariant sets for modular local control design P Nilsson, N Ozay 2016 American Control Conference (ACC), 5656-5663, 2016 | 53 | 2016 |
| On sufficient conditions for mixed monotonicity L Yang, O Mickelin, N Ozay IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019 | 52 | 2019 |
Petter NilssonVerified email at umich.edu
