Necmiye Ozay

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 168

Top Venues

Publications

Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles. IEEE Robotics Autom. Lett. 9 (5) (2024)
Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. HSCC (2024)
Mohamad Louai Shehab, Antoine Aspeel, Nikos Aréchiga, Andrew Best, Necmiye Ozay
Learning true objectives: Linear algebraic characterizations of identifiability in inverse reinforcement learning. L4DC (2024)
Antoine Aspeel, Necmiye Ozay
A Simulation Preorder for Koopman-like Lifted Control Systems. CoRR (2024)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. 69 (7) (2024)
Zexiang Liu, Necmiye Ozay
Quantifying the Value of Preview Information for Safety Control. CoRR (2023)
Zhe Du, Haldun Balim, Samet Oymak, Necmiye Ozay
Can Transformers Learn Optimal Filtering for Unknown Systems? IEEE Control. Syst. Lett. 7 (2023)
Zexiang Liu, Hao Chen, Yulong Gao, Necmiye Ozay
Opportunistic Safety Outside the Maximal Controlled Invariant Set. IEEE Control. Syst. Lett. 7 (2023)
Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay
Koopman-Inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems. IEEE Control. Syst. Lett. 7 (2023)
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles. CoRR (2023)
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Opacity From Observers With a Bounded Memory. IEEE Control. Syst. Lett. 7 (2023)
Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay
Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems. CoRR (2023)
Zexiang Liu, Necmiye Ozay, Eduardo D. Sontag
Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings. CoRR (2023)
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. HSCC (2023)
Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability. ECC (2023)
Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin
Falsification of a Vision-based Automatic Landing System. CoRR (2023)
Antoine Aspeel, Jakob Nylöf, Jing Shuang Li, Necmiye Ozay
A Low Rank Approach to Minimize Sensor-to-Actuator Communication in Finite Horizon Output Feedback. CoRR (2023)
Kwesi Rutledge, Yuhang Mei, Necmiye Ozay
Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL. ACC (2023)
Yunus Emre Sahin, Necmiye Ozay
From drinking philosophers to asynchronous path-following robots. Autom. 151 (2023)
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
Probabilistic Constraint Construction for Network-safe Load Coordination. CoRR (2023)
Haldun Balim, Zhe Du, Samet Oymak, Necmiye Ozay
Can Transformers Learn Optimal Filtering for Unknown Systems? CoRR (2023)
Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier
On the Hardness of Learning to Stabilize Linear Systems. CoRR (2023)
Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier
On the Hardness of Learning to Stabilize Linear Systems. CDC (2023)
Antoine Aspeel, Jakob Nylöf, Jing Shuang Li, Necmiye Ozay
A Low-Rank Approach to Minimize Sensor-to-Actuator Communication in Finite-Horizon Output Feedback. IEEE Control. Syst. Lett. 7 (2023)
Daphna Raz, Liren Yang, Brian Umberger, Necmiye Ozay
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. HSCC (2023)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A Dynamic Obfuscation Framework for Security and Utility. ICCPS (2022)
Ruya Karagulle, Nikos Aréchiga, Jonathan DeCastro, Necmiye Ozay
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. FORMATS (2022)
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC (2022)
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants". IEEE Robotics Autom. Lett. 7 (1) (2022)
Zhe Du, Laura Balzano, Necmiye Ozay
Mode Reduction for Markov Jump Systems. CoRR (2022)
Kwesi Rutledge, Necmiye Ozay
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. HSCC (2022)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory. CoRR (2022)
Dan Li, Mohamad Louai Shehab, Zexiang Liu, Nikos Aréchiga, Jonathan DeCastro, Necmiye Ozay
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors. ITSC (2022)
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads. CoRR (2022)
Yahya Sattar, Samet Oymak, Necmiye Ozay
Finite Sample Identification of Bilinear Dynamical Systems. CoRR (2022)
Yuxiao Chen, Necmiye Ozay
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection. IEEE Trans. Control. Syst. Technol. 30 (2) (2022)
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
Data-driven estimation of probabilistic constraints for network-safe distributed energy resource control. Allerton (2022)
Zhe Du, Necmiye Ozay, Laura Balzano
Clustering-based Mode Reduction for Markov Jump Systems. L4DC (2022)
Zexiang Liu, Necmiye Ozay
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems. CDC (2022)
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes. CoRR (2022)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments. Auton. Robots 46 (1) (2022)
Yahya Sattar, Samet Oymak, Necmiye Ozay
Finite Sample Identification of Bilinear Dynamical Systems. CDC (2022)
Samet Oymak, Necmiye Ozay
Revisiting Ho-Kalman-Based System Identification: Robustness and Finite-Sample Analysis. IEEE Trans. Autom. Control. 67 (4) (2022)
Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Necmiye Ozay, Samet Oymak
Data-Driven Control of Markov Jump Systems: Sample Complexity and Regret Bounds. ACC (2022)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory. WAFR (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32 (2) (2022)
Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Samet Oymak, Laura Balzano, Necmiye Ozay
Certainty Equivalent Quadratic Control for Markov Jump Systems. ACC (2022)
Zexiang Liu, Necmiye Ozay
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems. CoRR (2022)
Liren Yang, Necmiye Ozay
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems. IEEE Control. Syst. Lett. 6 (2022)
Zhe Du, Zexiang Liu, Jack Weitze, Necmiye Ozay
Sample Complexity Analysis and Self-regularization in Identification of Over-parameterized ARX Models. CDC (2022)
Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Samet Oymak, Necmiye Ozay
Certainty Equivalent Quadratic Control for Markov Jump Systems. CoRR (2021)
Glen Chou, Dmitry Berenson, Necmiye Ozay
Learning constraints from demonstrations with grid and parametric representations. Int. J. Robotics Res. 40 (10-11) (2021)
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
Large-Scale Invariant Sets for Safe Coordination of Thermostatic Loads. ACC (2021)
Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Laura Balzano, Necmiye Ozay, Samet Oymak
Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds. CoRR (2021)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CoRR (2021)
Liren Yang, Necmiye Ozay
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. CoRR (2021)
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. WAFR (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR (2021)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled invariant sets: implicit closed-form representations and applications. CoRR (2021)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
An enhanced hierarchy for (robust) controlled invariance. ACC (2021)
Kwesi J. Rutledge, Glen Chou, Necmiye Ozay
Compositional safety rules for inter-triggering hybrid automata. HSCC (2021)
Daphna Raz, Edgar A. Bolívar-Nieto, Necmiye Ozay, Robert D. Gregg
Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis. CCTA (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
Enforcement of K-Step Opacity with Edit Functions. CDC (2021)
Liren Yang, Necmiye Ozay
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CDC (2021)
Zexiang Liu, Necmiye Ozay
On the Value of Preview Information For Safety Control. CoRR (2021)
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE (2021)
Zexiang Liu, Necmiye Ozay
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. ADHS (2021)
Zexiang Liu, Necmiye Ozay
On the Value of Preview Information For Safety Control. ACC (2021)
Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoît Macq, Necmiye Ozay
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. CoRR (2021)
Liren Yang, Necmiye Ozay
Safety Control Synthesis for Systems with Missing Measurements. ADHS (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC (2021)
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130 (2021)
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR (2021)
Necmiye Ozay
A fresh look at some classical system identification methods. CISS (2021)
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants. IEEE Robotics Autom. Lett. 6 (3) (2021)
Liren Yang, Necmiye Ozay
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems. CoRR (2021)
Andrew Wintenberg, Necmiye Ozay
Implicit Invariant Sets for High-Dimensional Switched Affine Systems. CDC (2020)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. Robotics: Science and Systems (2020)
Zexiang Liu, Liren Yang, Necmiye Ozay
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. CoRR (2020)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRR (2020)
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. IEEE Trans. Control. Syst. Technol. 28 (5) (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On Abstraction-Based Controller Design With Output Feedback. CoRR (2020)
Xiangru Xu, Necmiye Ozay, Vijay Gupta
Passivity-based analysis of sampled and quantized control implementations. Autom. 119 (2020)
Zexiang Liu, Liren Yang, Necmiye Ozay
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. ACC (2020)
Yunus Emre Sahin, Necmiye Ozay
From Drinking Philosophers to Wandering Robots. CoRR (2020)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Learning Constraints from Locally-Optimal Demonstrations under Cost Function Uncertainty. CoRR (2020)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36 (4) (2020)
Liren Yang, Necmiye Ozay
Efficient Safety Control Synthesis with Imperfect State Information. CDC (2020)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. CoRR (2020)
Kwesi J. Rutledge, Necmiye Ozay
Belief-prefix Control for Autonomously Dodging Switching Disturbances. ECC (2020)
Glen Chou, Necmiye Ozay, Dmitry Berenson
Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty. IEEE Robotics Autom. Lett. 5 (2) (2020)
Petter Nilsson, Necmiye Ozay
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Trans. Autom. Control. 65 (2) (2020)
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants. CoRR (2020)
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. CoRR (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On abstraction-based controller design with output feedback. HSCC (2020)
Michael Arwashan, Tiancheng Ge, Zexiang Liu, Necmiye Ozay
Driving with guardian: Blending user inputs with safety ensuring barriers. CCTA (2020)
Glen Chou, Dmitry Berenson, Necmiye Ozay
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRL (2020)

Necmiye Ozay.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Necmiye Ozay