Folgen
Necmiye Ozay
Titel
Zitiert von
Zitiert von
Jahr
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
2372011
Non-asymptotic identification of lti systems from a single trajectory
S Oymak, N Ozay
2019 American control conference (ACC), 5655-5661, 2019
2322019
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
1772015
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
1742014
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
1742013
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
1222012
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
1152020
Set membership identification of switched linear systems with known number of subsystems
N Ozay, C Lagoa, M Sznaier
Automatica 51, 180-191, 2015
792015
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
782016
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
642018
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
632014
Finite abstractions with robustness margins for temporal logic-based control synthesis
J Liu, N Ozay
Nonlinear Analysis: Hybrid Systems 22, 1-15, 2016
612016
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
572019
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
572011
Incremental Synthesis of Switching Protocols via Abstraction Refinement
P Nilsson, N Ozay
IEEE Conference on Decision and Control, 2014
522014
Synthesis of separable controlled invariant sets for modular local control design
P Nilsson, N Ozay
2016 American Control Conference (ACC), 5656-5663, 2016
512016
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control
P Nilsson, O Hussien, Y Chen, A Balkan, M Rungger, A Ames, J Grizzle, ...
53rd IEEE Conference on Decision and Control, 816-823, 2014
512014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20