Follow
Necmiye Ozay
Title
Cited by
Cited by
Year
Non-asymptotic identification of lti systems from a single trajectory
S Oymak, N Ozay
2019 American control conference (ACC), 5655-5661, 2019
2592019
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
2502011
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
1942015
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
1902014
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
1792013
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
1412020
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
1322012
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
892016
Set membership identification of switched linear systems with known number of subsystems
N Ozay, C Lagoa, M Sznaier
Automatica 51, 180-191, 2015
802015
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
762019
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
722008
Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach
F Harirchi, N Ozay
Automatica 93, 476-488, 2018
712018
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
652014
Finite abstractions with robustness margins for temporal logic-based control synthesis
J Liu, N Ozay
Nonlinear Analysis: Hybrid Systems 22, 1-15, 2016
632016
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
582011
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
562021
Learning constraints from demonstrations
G Chou, D Berenson, N Ozay
Algorithmic Foundations of Robotics XIII: Proceedings of the 13th Workshop …, 2020
562020
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
562009
On sufficient conditions for mixed monotonicity
L Yang, O Mickelin, N Ozay
IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019
532019
Using control synthesis to generate corner cases: A case study on autonomous driving
G Chou, YE Sahin, L Yang, KJ Rutledge, P Nilsson, N Ozay
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
532018
The system can't perform the operation now. Try again later.
Articles 1–20