Suivre
Necmiye Ozay
Titre
Citée par
Citée par
Année
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
2422011
Non-asymptotic identification of lti systems from a single trajectory
S Oymak, N Ozay
2019 American control conference (ACC), 5655-5661, 2019
2342019
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
1802015
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
1792014
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
1782013
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
1252012
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
1212020
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
822016
Set membership identification of switched linear systems with known number of subsystems
N Ozay, C Lagoa, M Sznaier
Automatica 51, 180-191, 2015
782015
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
712008
Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach
F Harirchi, N Ozay
Automatica 93, 476-488, 2018
652018
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
622014
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
612019
Finite abstractions with robustness margins for temporal logic-based control synthesis
J Liu, N Ozay
Nonlinear Analysis: Hybrid Systems 22, 1-15, 2016
612016
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
Synthesis of separable controlled invariant sets for modular local control design
P Nilsson, N Ozay
2016 American Control Conference (ACC), 5656-5663, 2016
522016
Incremental Synthesis of Switching Protocols via Abstraction Refinement
P Nilsson, N Ozay
IEEE Conference on Decision and Control, 2014
522014
On sufficient conditions for mixed monotonicity
L Yang, O Mickelin, N Ozay
IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019
512019
Distributed synthesis of control protocols for smart camera networks
N Ozay, U Topcu, RM Murray, T Wongpiromsarn
Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on, 45-54, 2011
512011
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
512009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20