| Non-asymptotic identification of lti systems from a single trajectory S Oymak, N Ozay 2019 American control conference (ACC), 5655-5661, 2019 | 264 | 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 | 250 | 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 | 196 | 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 | 191 | 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 | 180 | 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 | 143 | 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 | 135 | 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 | 89 | 2016 |
| Set membership identification of switched linear systems with known number of subsystems N Ozay, C Lagoa, M Sznaier Automatica 51, 180-191, 2015 | 81 | 2015 |
| Multirobot coordination with counting temporal logics YE Sahin, P Nilsson, N Ozay IEEE Transactions on Robotics 36 (4), 1189-1206, 2019 | 77 | 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 | 65 | 2014 |
| Finite abstractions with robustness margins for temporal logic-based control synthesis J Liu, N Ozay Nonlinear Analysis: Hybrid Systems 22, 1-15, 2016 | 63 | 2016 |
| 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 | 59 | 2021 |
| Learning constraints from demonstrations G Chou, D Berenson, N Ozay Algorithmic Foundations of Robotics XIII: Proceedings of the 13th Workshop …, 2020 | 58 | 2020 |
| 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 |
| 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 | 56 | 2009 |
| Synthesis of separable controlled invariant sets for modular local control design P Nilsson, N Ozay 2016 American Control Conference (ACC), 5656-5663, 2016 | 54 | 2016 |
| On sufficient conditions for mixed monotonicity L Yang, O Mickelin, N Ozay IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019 | 53 | 2019 |
Petter NilssonVerified email at umich.edu
Mario SznaierECE, Northeastern UniversityVerified email at northeastern.edu
Liren YangSchool of AI & Automation, Huazhong USTVerified email at hust.edu.cn
Jun LiuProfessor of Applied Mathematics, University of WaterlooVerified email at uwaterloo.ca
Glen ChouAssistant Professor, Georgia TechVerified email at gatech.edu
Constantino LagoaThe Pennsylvania State UniversityVerified email at engr.psu.edu
Dmitry BerensonAssociate Professor, University of MichiganVerified email at umich.edu
Zexiang LiuUniversity of MichiganVerified email at umich.edu
Sze Zheng YongAssociate Professor, Mechanical and Industrial Engineering, Northeastern UniversityVerified email at northeastern.edu
Samet OymakEECS Prof @ University of MichiganVerified email at umich.edu
Huan XuUniversity of Maryland, College ParkVerified email at umd.edu
Yunus Emre SahinUniversity of MichiganVerified email at umich.edu
Kwesi RutledgeMETEOR Postdoctoral Fellow, Massachusetts Institute of TechnologyVerified email at umich.edu
Octavia I. CampsProfessor of Electrical and Computer Engineering, Northeastern UniversityVerified email at coe.neu.edu
Zhe DuUniversity of MichiganVerified email at umich.edu
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAVerified email at ee.ucla.edu
Yuxiao ChenNvidiaVerified email at nvidia.com
Laura BalzanoUniversity of Michigan, Ann ArborVerified email at umich.edu
Tichakorn WongpiromsarnIowa State UniversityVerified email at iastate.edu
Jessy W. GrizzleRobotics, Department, University of MichiganVerified email at umich.edu