☰

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/76 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
Low-probability matches (unlikely to be authored by this person)
2020 Ersal T, Kolmanovsky I, Masoud N, Ozay N, Scruggs J, Vasudevan R, Orosz G. Connected and automated road vehicles: state of the art and future challenges Vehicle System Dynamics. 58: 672-704. DOI: 10.1080/00423114.2020.1741652  0.277
2012 Topcu U, Ozay N, Liu J, Murray RM. On synthesizing robust discrete controllers under modeling uncertainty Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 85-94. DOI: 10.1145/2185632.2185648  0.265
2012 Nilsson P, Ozay N, Topcu U, Murray RM. Temporal logic control of switched affine systems with an application in fuel balancing Proceedings of the American Control Conference. 5302-5309.  0.247
2012 Liu J, Topcu U, Ozay N, Murray RM. Reactive controllers for differentially flat systems with temporal logic constraints Proceedings of the Ieee Conference On Decision and Control. 7664-7670. DOI: 10.1109/CDC.2012.6425981  0.242
1994 Batur I, Guven AN, Ozay N. A proposed application of an industrial dos computer for distribution substation monitoring and control Ieee Transactions On Power Delivery. 9: 729-735. DOI: 10.1109/61.296250  0.239
2013 Ozay N, Liu J, Prabhakar P, Murray RM. Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems Proceedings of the American Control Conference. 6237-6244.  0.238
2014 Sun F, Ozay N, Wolff EM, Liu J, Murray RM. Efficient control synthesis for augmented finite transition systems with an application to switching protocols Proceedings of the American Control Conference. 3273-3280. DOI: 10.1109/ACC.2014.6859428  0.235
2022 Raz D, Bolívar-Nieto E, Ozay N, Gregg RD. Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis. Control Technology and Applications. Control Technology and Applications. 2021: 627-633. PMID 35224560 DOI: 10.1109/ccta48906.2021.9658844  0.218
2010 Kurugol S, Ozay N, Dy JG, Sharp GC, Brooks DH. Locally Deformable Shape Model to Improve 3D Level Set based Esophagus Segmentation. Proceedings of the ... Iapr International Conference On Pattern Recognition / Sponsored by the International Association For Pattern Recognition in Cooperation With the Ieee Computer Society ... [Et Al]. International Conference On Patt.... 3955-3958. PMID 21731883 DOI: 10.1109/ICPR.2010.962  0.215
2014 Mickelin O, Ozay N, Murray RM. Synthesis of correct-by-construction control protocols for hybrid systems using partial state information Proceedings of the American Control Conference. 2305-2311. DOI: 10.1109/ACC.2014.6859229  0.213
1996 Guven N, Ozay N, Tunali E. GIS based outage analysis system for electric distribution networks Proceedings of the Mediterranean Electrotechnical Conference - Melecon. 2: 761-764.  0.21
2021 Mohajerani S, Malik R, Wintenberg A, Lafortune S, Ozay N. Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications Automatica. 130: 109723. DOI: 10.1016/j.automatica.2021.109723  0.197
2013 Maillet Q, Xu H, Ozay N, Murray RM. Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity Proceedings of the Ieee Conference On Decision and Control. 5497-5503. DOI: 10.1109/CDC.2013.6760755  0.177
2009 Ozay N, Tong Y, Wheeler FW, Liu X. Improving face recognition with a quality-based probabilistic framework 2009 Ieee Conference On Computer Vision and Pattern Recognition, Cvpr 2009. 134-141. DOI: 10.1109/CVPR.2009.5204299  0.159
2014 Nilsson P, Hussien O, Chen Y, Balkan A, Rungger M, Ames A, Grizzle J, Ozay N, Peng H, Tabuada P. Preliminary results on correct-by-construction control software synthesis for adaptive cruise control Proceedings of the Ieee Conference On Decision and Control. 2015: 816-823. DOI: 10.1109/CDC.2014.7039482  0.147
2020 Chou G, Ozay N, Berenson D. Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty Ieee Robotics and Automation Letters. 5: 3682-3690. DOI: 10.1109/LRA.2020.2974427  0.141
1988 Ozay N, Guven AH. Investigation of subsynchronous resonance risk in the 380 kv Turkish electric network Proceedings - Ieee International Symposium On Circuits and Systems. 2: 1623-1626.  0.138
2012 Liu J, Ozay N, Topcu U, Murray RM. Switching protocol synthesis for temporal logic specifications Proceedings of the American Control Conference. 727-734.  0.137
2007 Ozay G, Ozay N. The practice of different structural systems in Cypriot architecture from pre-historic to modern times Wit Transactions On the Built Environment. 95: 95-105. DOI: 10.2495/STR070101  0.136
2011 Ozay N, Topcu U, Murray RM, Wongpiromsarn T. Distributed synthesis of control protocols for smart camera networks Proceedings - 2011 Ieee/Acm 2nd International Conference On Cyber-Physical Systems, Iccps 2011. 45-54. DOI: 10.1109/ICCPS.2011.22  0.132
2004 Ozay G, Ozay N. Re-use of historic buildings in North Cyprus Advances in Architecture Series. 18: 267-276.  0.122
2011 Ozay N, Topcu U, Murray RM. Distributed power allocation for vehicle management systems Proceedings of the Ieee Conference On Decision and Control. 4841-4848. DOI: 10.1109/CDC.2011.6161470  0.112
2012 Rogersten R, Xu H, Ozay N, Topcu U, Murray RM. An aircraft electric power testbed for validating automatically synthesized reactive control protocols Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 89-94. DOI: 10.1145/2461328.2461344  0.106
2005 Ozay N. A comparative study of climatically responsive house design at various periods of Northern Cyprus architecture Building and Environment. 40: 841-852. DOI: 10.1016/j.buildenv.2004.08.024  0.101
1995 Ozay N, Guven AN, Tureli A, Demiroglu M. Technical and economic feasibility of conversion to a higher voltage distribution Iee Proceedings: Generation, Transmission and Distribution. 142: 468-472. DOI: 10.1049/ip-gtd:19952046  0.093
2021 Knuth C, Chou G, Ozay N, Berenson D. Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants Ieee Robotics and Automation Letters. 6: 5129-5136. DOI: 10.1109/LRA.2021.3068889  0.084
2011 Wongpiromsarn T, Topcu U, Ozay N, Xu H, Murray RM. TuLiP: A software toolbox for receding horizon temporal logic planning Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 313-314. DOI: 10.1145/1967701.1967747  0.046
2007 Arabaci O, Bayram E, Baydar H, Savran AF, Karadogan T, Ozay N. Chemical composition, yield and contents of essential oil of Lavandula hybrida reverchon grown under different nitrogen fertilizer, plant density and location Asian Journal of Chemistry. 19: 2184-2192.  0.025
Hide low-probability matches.