☰

Necmiye Ozay, Ph.D. - Publications

Affiliations: 
2010 Electrical and Computer Engineering Northeastern University, Boston, MA, United States 
Area:
Electronics and Electrical Engineering
Tree Info Similar researchers PubMed Report error

48 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Sahin YE, Nilsson P, Ozay N. Multirobot Coordination With Counting Temporal Logics Ieee Transactions On Robotics. 36: 1189-1206. DOI: 10.1109/Tro.2019.2957669  0.401
2020 Yang L, Karnik A, Pence B, Waez TB, Ozay N. Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis Ieee Transactions On Control Systems and Technology. 28: 1638-1651. DOI: 10.1109/Tcst.2019.2918747  0.302
2020 Nilsson P, Ozay N. Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints Ieee Transactions On Automatic Control. 65: 461-476. DOI: 10.1109/Tac.2019.2910949  0.46
2020 Rutledge K, Yong SZ, Ozay N. Finite horizon constrained control and bounded-error estimation in the presence of missing data Nonlinear Analysis: Hybrid Systems. 36: 100854. DOI: 10.1016/J.Nahs.2020.100854  0.433
2020 Xu X, Ozay N, Gupta V. Passivity-based analysis of sampled and quantized control implementations Automatica. 119: 109064. DOI: 10.1016/J.Automatica.2020.109064  0.388
2019 Yang L, Mickelin O, Ozay N. On Sufficient Conditions for Mixed Monotonicity Ieee Transactions On Automatic Control. 64: 5080-5085. DOI: 10.1109/Tac.2019.2909815  0.41
2018 He CR, Qin WB, Ozay N, Orosz G. Optimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach Ieee Transactions On Control Systems and Technology. 26: 2078-2090. DOI: 10.1109/Tcst.2017.2747506  0.369
2018 Chou G, Sahin YE, Yang L, Rutledge KJ, Nilsson P, Ozay N. Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2906-2917. DOI: 10.1109/Tcad.2018.2858464  0.422
2018 Chou G, Ozay N, Berenson D. Incremental Segmentation of ARX Models Ifac-Papersonline. 51: 587-592. DOI: 10.1016/J.Ifacol.2018.09.222  0.478
2018 Du Z, Balzano L, Ozay N. A Robust Algorithm for Online Switched System Identification Ifac-Papersonline. 51: 293-298. DOI: 10.1016/J.Ifacol.2018.09.150  0.401
2018 Singh KR, Ding Y, Ozay N, Yong SZ. Input Design for Nonlinear Model Discrimination via Affine Abstraction Ifac-Papersonline. 51: 175-180. DOI: 10.1016/J.Ifacol.2018.08.030  0.427
2018 Rutledge KJ, Yong SZ, Ozay N. Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data Ifac-Papersonline. 51: 157-162. DOI: 10.1016/J.Ifacol.2018.08.027  0.424
2018 Bulancea OL, Nilsson P, Ozay N. Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings Ifac-Papersonline. 51: 19-24. DOI: 10.1016/J.Ifacol.2018.08.004  0.422
2018 Harirchi F, Ozay N. Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach Automatica. 93: 476-488. DOI: 10.1016/J.Automatica.2018.03.040  0.406
2017 Yang L, Ozay N. Robustification and Parametrization of Switching Controllers for a Class of Set Invariance Problems Ifac-Papersonline. 50: 1470-1477. DOI: 10.1016/J.Ifacol.2017.08.292  0.499
2017 Harirchi F, Yong SZ, Jacobsen E, Ozay N. Active Model Discrimination with Applications to Fraud Detection in Smart Buildings Ifac-Papersonline. 50: 9527-9534. DOI: 10.1016/J.Ifacol.2017.08.1616  0.477
2017 Ozay N, Tabuada P. Guest editorial: special issue on formal methods in control Discrete Event Dynamic Systems. 27: 205-208. DOI: 10.1007/S10626-017-0246-9  0.303
2017 Nilsson P, Ozay N, Liu J. Augmented finite transition systems as abstractions for control synthesis Discrete Event Dynamic Systems. 27: 301-340. DOI: 10.1007/S10626-017-0243-Z  0.461
2016 Balachandran S, Ozay N, Atkins EM. Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff Journal of Aerospace Information Systems. 13: 357-369. DOI: 10.2514/1.I010408  0.309
2016 Nilsson P, Ozay N. Control synthesis for large collections of systems with mode-counting constraints Hscc 2016 - Proceedings of the 19th International Conference On Hybrid Systems: Computation and Control. 205-214. DOI: 10.1145/2883817.2883831  0.418
2016 Xu X, Ozay N, Gupta V. Passivity degradation in discrete control implementations: An approximate bisimulation approach Proceedings of the Ieee Conference On Decision and Control. 2016: 6817-6822. DOI: 10.1109/CDC.2015.7403293  0.378
2016 Liu J, Ozay N. Finite abstractions with robustness margins for temporal logic-based control synthesis Nonlinear Analysis: Hybrid Systems. 22: 1-15. DOI: 10.1016/J.Nahs.2016.02.002  0.434
2016 Harirchi F, Ozay N. Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection Ifac-Papersonline. 48: 260-266. DOI: 10.1016/J.Ifacol.2015.11.185  0.427
2016 Li Y, Liu J, Ozay N. Computing finite abstractions with robustness margins via local reachable set over-approximation Ifac-Papersonline. 48: 1-6. DOI: 10.1016/J.Ifacol.2015.11.144  0.484
2015 He CR, Qin WB, Ozay N, Orosz G. Hybrid system based analytical approach for optimal gear shifting schedule design Asme 2015 Dynamic Systems and Control Conference, Dscc 2015. 3. DOI: 10.1115/DSCC2015-9943  0.317
2015 Nilsson P, Hussien O, Balkan A, Chen Y, Ames AD, Grizzle JW, Ozay N, Peng H, Tabuada P. Correct-by-Construction Adaptive Cruise Control: Two Approaches Ieee Transactions On Control Systems Technology. DOI: 10.1109/Tcst.2015.2501351  0.432
2015 Ozay N, Lagoa C, Sznaier M. Set membership identification of switched linear systems with known number of subsystems Automatica. 51: 180-191. DOI: 10.1016/J.Automatica.2014.10.101  0.709
2015 Sznaier M, Lagoa CM, Ozay N. Risk adjusted output feedback Receding Horizon control of constrained Linear Parameter Varying Systems 2007 European Control Conference, Ecc 2007. 433-440.  0.576
2014 Rogersten R, Xu H, Ozay N, Topcu U, Murray RM. Control software synthesis and validation for a vehicular electric power distribution testbed Journal of Aerospace Information Systems. 11: 665-678. DOI: 10.2514/1.I010167  0.335
2014 Liu J, Ozay N. Abstraction, discretization, and robustness in temporal logic control of dynamical systems Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 293-302. DOI: 10.1145/2562059.2562137  0.344
2014 Ozay N, Sznaier M, Lagoa C. Convex certificates for model (In)validation of switched affine systems with unknown switches Ieee Transactions On Automatic Control. 59: 2921-2932. DOI: 10.1109/Tac.2014.2351714  0.717
2014 Nilsson P, Ozay N. Incremental synthesis of switching protocols via abstraction refinement Proceedings of the Ieee Conference On Decision and Control. 2015: 6246-6253. DOI: 10.1109/CDC.2014.7040368  0.321
2014 Sznaier M, Camps O, Ozay N, Lagoa C. Surviving the upcoming data deluge: A systems and control perspective Proceedings of the Ieee Conference On Decision and Control. 2015: 1488-1498. DOI: 10.1109/CDC.2014.7039611  0.604
2014 Nuzzo P, Xu H, Ozay N, Finn JB, Sangiovanni-Vincentelli AL, Murray RM, Donzé A, Seshia SA. A contract-based methodology for aircraft electric power system design Ieee Access. 2: 1-25. DOI: 10.1109/Access.2013.2295764  0.405
2013 Liu J, Ozay N, Topcu U, Murray RM. Synthesis of reactive switching protocols from temporal logic specifications Ieee Transactions On Automatic Control. 58: 1771-1785. DOI: 10.1109/Tac.2013.2246095  0.455
2012 Ozay N, Sznaier M, Lagoa CM, Camps OI. A sparsification approach to set membership identification of switched affine systems Ieee Transactions On Automatic Control. 57: 634-648. DOI: 10.1109/Tac.2011.2166295  0.705
2012 Cheng Y, Wang Y, Sznaier M, Ozay N, Lagoa C. A convex optimization approach to model (in)validation of switched ARX systems with unknown switches Proceedings of the Ieee Conference On Decision and Control. 6284-6290. DOI: 10.1109/CDC.2012.6426518  0.664
2011 Ozay N, Sznaier M. Hybrid system identification with faulty measurements and its application to activity analysis Proceedings of the Ieee Conference On Decision and Control. 5011-5016. DOI: 10.1109/CDC.2011.6161431  0.649
2011 Ayazoglu M, Sznaier M, Ozay N. Blind identification of sparse dynamic networks and applications Proceedings of the Ieee Conference On Decision and Control. 2944-2950. DOI: 10.1109/CDC.2011.6161088  0.712
2010 Ozay N, Sznaier M, Lagoa C, Camps O. GPCA with denoising: A moments-based convex approach Proceedings of the Ieee Computer Society Conference On Computer Vision and Pattern Recognition. 3209-3216. DOI: 10.1109/CVPR.2010.5540075  0.614
2010 Feng C, Lagoa CM, Ozay N, Sznaier M. Hybrid system identification: An SDP approach Proceedings of the Ieee Conference On Decision and Control. 1546-1552. DOI: 10.1109/CDC.2010.5718082  0.663
2010 Ozay N, Sznaier M, Lagoa C. Model (in)validation of switched ARX systems with unknown switches and its application to activity monitoring Proceedings of the Ieee Conference On Decision and Control. 7624-7630. DOI: 10.1109/CDC.2010.5717330  0.689
2010 Sznaier M, Camps O, Ozay N, Ding T, Tadmor G, Brooks D. The role of dynamics in extracting information sparsely encoded in high dimensional data streams Springer Optimization and Its Applications. 40: 1-27. DOI: 10.1007/978-1-4419-5689-7_1  0.569
2009 Ozay N, Lagoa C, Sznaier M. Robust identification of switched affine systems via moments-based convex optimization Proceedings of the Ieee Conference On Decision and Control. 4686-4691. DOI: 10.1109/CDC.2009.5399962  0.672
2008 Ozay N, Sznaier M, Camps OI. Sequential sparsification for change detection 26th Ieee Conference On Computer Vision and Pattern Recognition, Cvpr. DOI: 10.1109/CVPR.2008.4587473  0.572
2008 Ozay N, Sznaier M, Lagoa C, Camps O. A sparsification approach to set membership identification of a class of affine hybrid systems Proceedings of the Ieee Conference On Decision and Control. 123-130. DOI: 10.1109/CDC.2008.4739300  0.689
2007 Ozay N, Sznaier M. A pessimistic approach to frequency domain model (In)Validation Proceedings of the Ieee Conference On Decision and Control. 4895-4900. DOI: 10.1109/CDC.2007.4434404  0.616
2007 Sznaier M, Lagoa CM, Ozay N. Risk-adjusted output feedback receding horizon control of constrained linear parameter varying systems International Journal of Robust and Nonlinear Control. 17: 1614-1633. DOI: 10.1002/Rnc.1211  0.61
Show low-probability matches.