Necmiye Ozay

239 papers A* 2B 1C 31Misc 3Journal 110Unranked 89
YearRankTypeTitle / Venue / Authors
2025 — ed.
7th Annual Learning for Dynamics & Control Conference, Ann Arbor, MI, USA, 4-6 June 2025.
L4DC
Necmiye Ozay, Laura Balzano, Dimitra Panagou, Alessandro Abate
2025 — conf
Efficient Reward Identification In Max Entropy Reinforcement Learning with Sparsity and Rank Priors.
CDC
Mohamad Louai Shehab, Alperen Tercan, Necmiye Ozay
2025 J jnl
Efficient Reward Identification In Max Entropy Reinforcement Learning with Sparsity and Rank Priors.
CoRR
Mohamad Louai Shehab, Alperen Tercan, Necmiye Ozay
2025 J jnl
Foreword for ICCPS'24 Special Issue.
ACM Trans. Cyber Phys. Syst.
Madhur Behl, Necmiye Ozay, Truong Nghiem
2025 — conf
Initial Distribution Sensitivity of Constrained Markov Decision Processes.
CDC
Alperen Tercan, Necmiye Ozay
2025 J jnl
Initial Distribution Sensitivity of Constrained Markov Decision Processes.
CoRR
Alperen Tercan, Necmiye Ozay
2025 J jnl
Integrating Obfuscation and Control for Privacy.
IEEE Trans. Autom. Control.
Andrew Wintenberg, Necmiye Ozay, Stéphane Lafortune
2025 J jnl
LLM-Enhanced Symbolic Control for Safety-Critical Applications.
CoRR
Amir Bayat, Alessandro Abate, Necmiye Ozay, Raphaël M. Jungers
2025 J jnl
Learning Reward Machines from Partially Observed Optimal Policies.
CoRR
Mohamad Louai Shehab, Antoine Aspeel, Necmiye Ozay
2025 J jnl
Learning Reward Machines from Partially Observed Policies.
Trans. Mach. Learn. Res.
Mohamad Louai Shehab, Antoine Aspeel, Necmiye Ozay
2025 J jnl
Mode-Prefix-Based Control of Switched Linear Systems With Applications to Fault Tolerance.
IEEE Control. Syst. Lett.
Ram Padmanabhan, Antoine Aspeel, Necmiye Ozay, Melkior Ornik
2025 C conf
Noise Sensitivity of Direct Data-Driven Linear Quadratic Regulator by Semidefinite Programming.
ACC
Xiong Zeng, Laurent Bako, Necmiye Ozay
2025 J jnl
Properties of immersions for systems with multiple limit sets with implications to learning Koopman embeddings.
Autom.
Zexiang Liu, Necmiye Ozay, Eduardo D. Sontag
2025 J jnl
Quantifying the Value of Preview Information for Safety Control.
IEEE Trans. Autom. Control.
Zexiang Liu, Necmiye Ozay
2025 — conf
Safe Control of Multi-Agent Systems with Minimal Communication.
CDC
Mo Yang, Jing Yu, Necmiye Ozay
2025 J jnl
Safe Control of Multi-Agent Systems with Minimal Communication.
CoRR
Mo Yang, Jing Yu, Necmiye Ozay
2025 J jnl
Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1.
CoRR
Ruya Karagulle, Cristian-Ioan Vasile, Necmiye Ozay
2025 J jnl
System Identification Under Bounded Noise: Optimal Rates Beyond Least Squares.
CoRR
Xiong Zeng, Jing Yu, Necmiye Ozay
2025 J jnl
System Identification Under Bounded Noise: Optimal Rates Beyond Least Squares.
IEEE Control. Syst. Lett.
Xiong Zeng, Jing Yu, Necmiye Ozay
2025 — conf
Tutorial: Data Driven and Learning Enabled Control.
CDC
Mario Sznaier, Frank Allgöwer, Arthur Castello Branco de Oliveira, Necmiye Ozay, Eduardo D. Sontag
2024 J jnl
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles.
IEEE Robotics Autom. Lett.
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
2024 — conf
A Simulation Preorder for Koopman-like Lifted Control Systems.
ADHS
Antoine Aspeel, Necmiye Ozay
2024 J jnl
A Simulation Preorder for Koopman-like Lifted Control Systems.
CoRR
Antoine Aspeel, Necmiye Ozay
2024 J jnl
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads.
IEEE Trans. Control. Netw. Syst.
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
2024 J jnl
Ankle Exoskeletons May Hinder Standing Balance in Simple Models of Older and Younger Adults.
CoRR
Daphna Raz, Varun Joshi, Brian R. Umberger, Necmiye Ozay
2024 J jnl
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications.
IEEE Trans. Autom. Control.
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2024 — conf
Data-driven Network-aware Control of Thermostatically Controlled Loads with Unknown Dynamics.
CDC
Sunho Jang, Johanna L. Mathieu, Necmiye Ozay
2024 — conf
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles.
HSCC
Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best
2024 — conf
Learning true objectives: Linear algebraic characterizations of identifiability in inverse reinforcement learning.
L4DC
Mohamad Louai Shehab, Antoine Aspeel, Nikos Aréchiga, Andrew Best, Necmiye Ozay
2024 — conf
Minimal L2-Consistent Data-Transmission.
CDC
Antoine Aspeel, Laurent Bako, Necmiye Ozay
2024 J jnl
Minimal L2-Consistent Data-Transmission.
CoRR
Antoine Aspeel, Laurent Bako, Necmiye Ozay
2024 J jnl
Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR.
CoRR
Xiong Zeng, Laurent Bako, Necmiye Ozay
2024 C conf
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets.
ACC
Mohamed Serry, Liren Yang, Necmiye Ozay, Jun Liu
2023 J jnl
A Low Rank Approach to Minimize Sensor-to-Actuator Communication in Finite Horizon Output Feedback.
CoRR
Antoine Aspeel, Jakob Nylöf, Jing Shuang Li, Necmiye Ozay
2023 J jnl
A Low-Rank Approach to Minimize Sensor-to-Actuator Communication in Finite-Horizon Output Feedback.
IEEE Control. Syst. Lett.
Antoine Aspeel, Jakob Nylöf, Jing Shuang Li, Necmiye Ozay
2023 J jnl
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles.
CoRR
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
2023 J jnl
Can Transformers Learn Optimal Filtering for Unknown Systems?
CoRR
Haldun Balim, Zhe Du, Samet Oymak, Necmiye Ozay
2023 J jnl
Can Transformers Learn Optimal Filtering for Unknown Systems?
IEEE Control. Syst. Lett.
Zhe Du, Haldun Balim, Samet Oymak, Necmiye Ozay
2023 C conf
Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL.
ACC
Kwesi Rutledge, Yuhang Mei, Necmiye Ozay
2023 — conf
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability.
ECC
Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
2023 J jnl
Falsification of a Vision-based Automatic Landing System.
CoRR
Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin
2023 J jnl
From drinking philosophers to asynchronous path-following robots.
Autom.
Yunus Emre Sahin, Necmiye Ozay
2023 J jnl
Koopman-Inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems.
IEEE Control. Syst. Lett.
Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay
2023 J jnl
Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems.
CoRR
Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay
2023 — conf
On the Hardness of Learning to Stabilize Linear Systems.
CDC
Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier
2023 J jnl
On the Hardness of Learning to Stabilize Linear Systems.
CoRR
Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier
2023 J jnl
Opacity From Observers With a Bounded Memory.
IEEE Control. Syst. Lett.
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2023 J jnl
Opportunistic Safety Outside the Maximal Controlled Invariant Set.
IEEE Control. Syst. Lett.
Zexiang Liu, Hao Chen, Yulong Gao, Necmiye Ozay
2023 — conf
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand.
HSCC
Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
2023 — conf
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles.
HSCC
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
2023 J jnl
Probabilistic Constraint Construction for Network-safe Load Coordination.
CoRR
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
2023 J jnl
Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings.
CoRR
Zexiang Liu, Necmiye Ozay, Eduardo D. Sontag
2023 J jnl
Quantifying the Value of Preview Information for Safety Control.
CoRR
Zexiang Liu, Necmiye Ozay
2022 — conf
A Dynamic Obfuscation Framework for Security and Utility.
ICCPS
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2022 J jnl
A general language-based framework for specifying and verifying notions of opacity.
Discret. Event Dyn. Syst.
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2022 J jnl
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads.
CoRR
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
2022 C conf
Certainty Equivalent Quadratic Control for Markov Jump Systems.
ACC
Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Samet Oymak, Laura Balzano, Necmiye Ozay
2022 — conf
Classification of Driving Behaviors Using STL Formulas: A Comparative Study.
FORMATS
Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay
2022 — conf
Clustering-based Mode Reduction for Markov Jump Systems.
L4DC
Zhe Du, Necmiye Ozay, Laura Balzano
2022 C conf
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers.
ACC
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2022 — conf
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization.
HSCC
Kwesi Rutledge, Necmiye Ozay
2022 J jnl
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants".
IEEE Robotics Autom. Lett.
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
2022 J jnl
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection.
IEEE Trans. Control. Syst. Technol.
Yuxiao Chen, Necmiye Ozay
2022 C conf
Data-Driven Control of Markov Jump Systems: Sample Complexity and Regret Bounds.
ACC
Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Necmiye Ozay, Samet Oymak
2022 — conf
Data-driven estimation of probabilistic constraints for network-safe distributed energy resource control.
Allerton
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
2022 J jnl
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 J jnl
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes.
CoRR
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 — conf
Finite Sample Identification of Bilinear Dynamical Systems.
CDC
Yahya Sattar, Samet Oymak, Necmiye Ozay
2022 J jnl
Finite Sample Identification of Bilinear Dynamical Systems.
CoRR
Yahya Sattar, Samet Oymak, Necmiye Ozay
2022 J jnl
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments.
Auton. Robots
Glen Chou, Necmiye Ozay, Dmitry Berenson
2022 J jnl
Mode Reduction for Markov Jump Systems.
CoRR
Zhe Du, Laura Balzano, Necmiye Ozay
2022 — conf
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems.
CDC
Zexiang Liu, Necmiye Ozay
2022 J jnl
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems.
CoRR
Zexiang Liu, Necmiye Ozay
2022 — conf
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.
ITSC
Dan Li, Mohamad Louai Shehab, Zexiang Liu, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay
2022 J jnl
Revisiting Ho-Kalman-Based System Identification: Robustness and Finite-Sample Analysis.
IEEE Trans. Autom. Control.
Samet Oymak, Necmiye Ozay
2022 C conf
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory.
WAFR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2022 J jnl
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2022 — conf
Sample Complexity Analysis and Self-regularization in Identification of Over-parameterized ARX Models.
CDC
Zhe Du, Zexiang Liu, Jack Weitze, Necmiye Ozay
2022 J jnl
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems.
IEEE Control. Syst. Lett.
Liren Yang, Necmiye Ozay
2021 — ed.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
ADHS
Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate
2021 J jnl
A General Language-Based Framework for Specifying and Verifying Notions of Opacity.
CoRR
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2021 Misc conf
A fresh look at some classical system identification methods.
CISS
Necmiye Ozay
2021 C conf
An enhanced hierarchy for (robust) controlled invariance.
ACC
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2021 — conf
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.
CDC
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
2021 J jnl
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.
CoRR
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
2021 J jnl
Certainty Equivalent Quadratic Control for Markov Jump Systems.
CoRR
Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Samet Oymak, Necmiye Ozay
2021 — conf
Compositional safety rules for inter-triggering hybrid automata.
HSCC
Kwesi J. Rutledge, Glen Chou, Necmiye Ozay
2021 J jnl
Controlled invariant sets: implicit closed-form representations and applications.
CoRR
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2021 J jnl
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.
Autom.
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2021 — conf
Enforcement of K-Step Opacity with Edit Functions.
CDC
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2021 J jnl
Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds.
CoRR
Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Laura Balzano, Necmiye Ozay, Samet Oymak
2021 C conf
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations.
WAFR
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
2021 C conf
Large-Scale Invariant Sets for Safe Coordination of Thermostatic Loads.
ACC
Sunho Jang, Necmiye Ozay, Johanna L. Mathieu
2021 J jnl
Learning constraints from demonstrations with grid and parametric representations.
Int. J. Robotics Res.
Glen Chou, Dmitry Berenson, Necmiye Ozay
2021 — conf
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems.
CDC
Glen Chou, Necmiye Ozay, Dmitry Berenson
2021 J jnl
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2021 C conf
On the Value of Preview Information For Safety Control.
ACC
Zexiang Liu, Necmiye Ozay
2021 J jnl
On the Value of Preview Information For Safety Control.
CoRR
Zexiang Liu, Necmiye Ozay
2021 J jnl
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints.
CoRR
Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoît Macq, Necmiye Ozay
2021 J jnl
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants.
IEEE Robotics Autom. Lett.
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
2021 — conf
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets.
ADHS
Zexiang Liu, Necmiye Ozay
2021 — conf
Safety Control Synthesis for Systems with Missing Measurements.
ADHS
Liren Yang, Necmiye Ozay
2021 J jnl
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems.
CoRR
Liren Yang, Necmiye Ozay
2021 J jnl
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.
CoRR
Liren Yang, Necmiye Ozay
2021 J jnl
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.
ACM Trans. Embed. Comput. Syst.
Liren Yang, Necmiye Ozay
2021 — conf
Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis.
CCTA
Daphna Raz, Edgar A. Bolívar-Nieto, Necmiye Ozay, Robert D. Gregg
2021 — conf
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
SEAMS@ICSE
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
2021 J jnl
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
CoRR
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
2020 — conf
Belief-prefix Control for Autonomously Dodging Switching Disturbances.
ECC
Kwesi J. Rutledge, Necmiye Ozay
2020 J jnl
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints.
IEEE Trans. Autom. Control.
Petter Nilsson, Necmiye Ozay
2020 — conf
Driving with guardian: Blending user inputs with safety ensuring barriers.
CCTA
Michael Arwashan, Tiancheng Ge, Zexiang Liu, Necmiye Ozay
2020 — conf
Efficient Safety Control Synthesis with Imperfect State Information.
CDC
Liren Yang, Necmiye Ozay
2020 — conf
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations.
Robotics: Science and Systems
Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 J jnl
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 J jnl
From Drinking Philosophers to Wandering Robots.
CoRR
Yunus Emre Sahin, Necmiye Ozay
2020 J jnl
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.
IEEE Trans. Control. Syst. Technol.
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
2020 — conf
Implicit Invariant Sets for High-Dimensional Switched Affine Systems.
CDC
Andrew Wintenberg, Necmiye Ozay
2020 J jnl
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations.
CoRR
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 — conf
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety.
HSCC
Necmiye Ozay
2020 J jnl
Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty.
IEEE Robotics Autom. Lett.
Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 J jnl
Learning Constraints from Locally-Optimal Demonstrations under Cost Function Uncertainty.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 J jnl
Multirobot Coordination With Counting Temporal Logics.
IEEE Trans. Robotics
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2020 J jnl
On Abstraction-Based Controller Design With Output Feedback.
CoRR
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020 — conf
On abstraction-based controller design with output feedback.
HSCC
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020 C conf
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration.
ACC
Liren Yang, Denise M. Rizzo, Matthew P. Castanier, Necmiye Ozay
2020 J jnl
Passivity-based analysis of sampled and quantized control implementations.
Autom.
Xiangru Xu, Necmiye Ozay, Vijay Gupta
2020 J jnl
Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants.
CoRR
Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson
2020 C conf
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.
ACC
Zexiang Liu, Liren Yang, Necmiye Ozay
2020 J jnl
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.
CoRR
Zexiang Liu, Liren Yang, Necmiye Ozay
2020 Misc conf
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations.
CoRL
Glen Chou, Dmitry Berenson, Necmiye Ozay
2020 J jnl
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2019 — conf
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.
HSCC
Liren Yang, Necmiye Ozay
2019 C conf
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
ACC
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
2019 J jnl
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
CoRR
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
2019 — conf
Equalized recovery: Weakening invariance for control and estimation: poster abstract.
HSCC
Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay
2019 — conf
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints.
CDC
Liren Yang, Necmiye Ozay
2019 — conf
Intention-Aware Supervisory Control with Driving Safety Applications.
CCTA
Yunus Emre Sahin, Zexiang Liu, Kwesi J. Rutledge, Dimitra Panagou, Sze Zheng Yong, Necmiye Ozay
2019 Misc conf
Learning Parametric Constraints in High Dimensions from Demonstrations.
CoRL
Glen Chou, Necmiye Ozay, Dmitry Berenson
2019 J jnl
Learning Parametric Constraints in High Dimensions from Demonstrations.
CoRR
Glen Chou, Necmiye Ozay, Dmitry Berenson
2019 C conf
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads.
ACC
Stephanie C. Ross, Petter Nilsson, Necmiye Ozay, Johanna L. Mathieu
2019 — conf
Mode Clustering for Markov Jump Systems.
CAMSAP
Zhe Du, Necmiye Ozay, Laura Balzano
2019 J jnl
Mode Clustering for Markov Jump Systems.
CoRR
Zhe Du, Necmiye Ozay, Laura Balzano
2019 C conf
Non-asymptotic Identification of LTI Systems from a Single Trajectory.
ACC
Samet Oymak, Necmiye Ozay
2019 J jnl
On Sufficient Conditions for Mixed Monotonicity.
IEEE Trans. Autom. Control.
Liren Yang, Oscar Mickelin, Necmiye Ozay
2019 C conf
Prefix-based Bounded-error Estimation with Intermittent Observations.
ACC
Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay
2019 — ed.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.
HSCC
Necmiye Ozay, Pavithra Prabhakar
2019 — conf
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables.
CCTA
Liren Yang, Amey Katnik, Necmiye Ozay
2019 — conf
Safe Autonomous Overtaking with Intention Estimation.
ECC
Vishnu S. Chipade, Qiang Shen, Lixing Huang, Necmiye Ozay, Sze Zheng Yong, Dimitra Panagou
2019 — conf
Safety Control with Preview Automaton.
CDC
Zexiang Liu, Necmiye Ozay
2019 J jnl
Safety Control with Preview Automaton.
CoRR
Zexiang Liu, Necmiye Ozay
2019 — conf
Safety control with preview automaton: poster abstract.
HSCC
Zexiang Liu, Necmiye Ozay
2019 — conf
Tight decomposition functions for mixed monotonicity.
CDC
Liren Yang, Necmiye Ozay
2018 J jnl
A Robust Algorithm for Online Switched System Identification.
CoRR
Zhe Du, Necmiye Ozay, Laura Balzano
2018 — conf
Data-Driven Computation of Minimal Robust Control Invariant Set.
CDC
Yuxiao Chen, Huei Peng, Jessy W. Grizzle, Necmiye Ozay
2018 C conf
Discrete State Estimation with Persistent Sensor Faults and Non-Persistent Noise via Noisy Bayesian Active Diagnosis.
ACC
Sze Zheng Yong, Necmiye Ozay
2018 — conf
Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints.
CDC
Liren Yang, Necmiye Ozay
2018 J jnl
Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach.
Autom.
Farshad Harirchi, Necmiye Ozay
2018 — conf
Input Design for Nonlinear Model Discrimination via Affine Abstraction.
ADHS
Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong
2018 C conf
Learning Constraints from Demonstrations.
WAFR
Glen Chou, Dmitry Berenson, Necmiye Ozay
2018 J jnl
Learning Constraints from Demonstrations.
CoRR
Glen Chou, Dmitry Berenson, Necmiye Ozay
2018 — conf
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach.
DARS
Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis
2018 J jnl
Multirobot Coordination with Counting Temporal Logics.
CoRR
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2018 J jnl
Non-asymptotic Identification of LTI Systems from a Single Trajectory.
CoRR
Samet Oymak, Necmiye Ozay
2018 — conf
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
ADHS
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 J jnl
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
CoRR
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 J jnl
On sufficient conditions for mixed monotonicity.
CoRR
Liren Yang, Oscar Mickelin, Necmiye Ozay
2018 J jnl
Optimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach.
IEEE Trans. Control. Syst. Technol.
Chaozhe R. He, Wubing B. Qin, Necmiye Ozay, Gábor Orosz
2018 — conf
Optimal input design for affine model discrimination with applications in intention-aware vehicles.
ICCPS
Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay
2018 — conf
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data.
ADHS
Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay
2018 J jnl
Passivity-Based Analysis of Sampled and Quantized Control Implementations.
CoRR
Xiangru Xu, Necmiye Ozay, Vijay Gupta
2018 — conf
Structural Detectability of Faults in Discrete-Time Affine Systems.
CDC
Supratim Ghosh, Mustafa Kara, Necmiye Ozay
2018 J jnl
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2018 J jnl
Using control synthesis to generate corner cases: A case study on autonomous driving.
CoRR
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2017 J jnl
Augmented finite transition systems as abstractions for control synthesis.
Discret. Event Dyn. Syst.
Petter Nilsson, Necmiye Ozay, Jun Liu
2017 J jnl
Control Synthesis for High-Dimensional Systems With Counting Constraints.
CoRR
Petter Nilsson, Necmiye Ozay
2017 C conf
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis.
ACC
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
2017 — conf
Guaranteed fault detection and isolation for switched affine models.
CDC
Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay
2017 J jnl
Guest editorial: special issue on formal methods in control.
Discret. Event Dyn. Syst.
Necmiye Ozay, Paulo Tabuada
2017 — conf
Maximizing the time of invariance for large collections of switched systems.
CDC
Petter Nilsson, Necmiye Ozay
2017 — conf
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems.
HSCC
Petter Nilsson, Necmiye Ozay
2017 J jnl
Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles.
CoRR
Emil Jacobsen, Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay
2017 — conf
Provably-correct coordination of large collections of agents with counting temporal logic constraints.
ICCPS
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2017 — conf
Provably-correct fault tolerant control with delayed information.
CDC
Liren Yang, Necmiye Ozay
2017 — conf
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints.
CDC
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2017 J jnl
Weak Adaptive Submodularity and Group-Based Active Diagnosis with Applications to State Estimation with Persistent Sensor Faults.
CoRR
Sze Zheng Yong, Lingyun Gao, Necmiye Ozay
2017 C conf
Weak adaptive submodularity and group-based active diagnosis with applications to state estimation with persistent sensor faults.
ACC
Sze Zheng Yong, Lingyun Gao, Necmiye Ozay
2016 — conf
A bisimulation-like algorithm for abstracting control systems.
Allerton
Andrew J. Wagenmaker, Necmiye Ozay
2016 C conf
An exact and efficient algorithm for segmentation of ARX models.
ACC
Necmiye Ozay
2016 — conf
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints.
HSCC
Petter Nilsson, Necmiye Ozay
2016 C conf
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.
CCA
Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
2016 J jnl
Correct-by-Construction Adaptive Cruise Control: Two Approaches.
IEEE Trans. Control. Syst. Technol.
Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2016 — conf
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems.
CDC
Stanley W. Smith, Petter Nilsson, Necmiye Ozay
2016 C conf
Model (in)validation and fault detection for systems with polynomial state-space models.
ACC
Farshad Harirchi, Zheng Luo, Necmiye Ozay
2016 J jnl
SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks.
CoRR
Yunus Emre Sahin, Necmiye Ozay
2016 C conf
Synthesis of fault tolerant switching protocols for vehicle engine thermal management.
ACC
Liren Yang, Necmiye Ozay, Amey Y. Karnik
2016 C conf
Synthesis of separable controlled invariant sets for modular local control design.
ACC
Petter Nilsson, Necmiye Ozay
2016 J jnl
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff.
J. Aerosp. Inf. Syst.
Sweewarman Balachandran, Necmiye Ozay, Ella M. Atkins
2016 — conf
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.
ICCPS
Yunus Emre Sahin, Necmiye Ozay
2015 — conf
Computing finite abstractions with robustness margins via local reachable set over-approximation.
ADHS
Yinan Li, Jun Liu, Necmiye Ozay
2015 J jnl
Computing finite abstractions with robustness margins via local reachable set over-approximation.
CoRR
Yinan Li, Jun Liu, Necmiye Ozay
2015 — conf
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection.
ADHS
Farshad Harirchi, Necmiye Ozay
2015 J jnl
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach.
CoRR
Xiangru Xu, Necmiye Ozay, Vijay Gupta
2015 — conf
Passivity degradation in discrete control implementations: An approximate bisimulation approach.
CDC
Xiangru Xu, Necmiye Ozay, Vijay Gupta
2015 J jnl
Set membership identification of switched linear systems with known number of subsystems.
Autom.
Necmiye Ozay, Constantino M. Lagoa, Mario Sznaier
2015 J jnl
Synthesis of separable controlled invariant sets for modular local control design.
CoRR
Petter Nilsson, Necmiye Ozay
2014 J jnl
A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
2014 — conf
Abstraction, discretization, and robustness in temporal logic control of dynamical systems.
HSCC
Jun Liu, Necmiye Ozay
2014 J jnl
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst.
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2014 J jnl
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches.
IEEE Trans. Autom. Control.
Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa
2014 C conf
Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
ACC
Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray
2014 — conf
Incremental synthesis of switching protocols via abstraction refinement.
CDC
Petter Nilsson, Necmiye Ozay
2014 — conf
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
CDC
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2014 — conf
Surviving the upcoming data deluge: A systems and control perspective.
CDC
Mario Sznaier, Octavia I. Camps, Necmiye Ozay, Constantino M. Lagoa
2014 C conf
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.
ACC
Oscar Mickelin, Necmiye Ozay, Richard M. Murray
2013 — conf
An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
HSCC
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013 C conf
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
ACC
Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
2013 — conf
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.
CDC
Quentin Maillet, Huan Xu, Necmiye Ozay, Richard M. Murray
2013 J jnl
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.
IEEE Trans. Autom. Control.
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012 J jnl
A Sparsification Approach to Set Membership Identification of Switched Affine Systems.
IEEE Trans. Autom. Control.
Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa, Octavia I. Camps
2012 — conf
A convex optimization approach to model (in)validation of switched ARX systems with unknown switches.
CDC
Yongfang Cheng, Yin Wang, Mario Sznaier, Necmiye Ozay, Constantino M. Lagoa
2012 — conf
On synthesizing robust discrete controllers under modeling uncertainty.
HSCC
Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray
2012 — conf
Reactive controllers for differentially flat systems with temporal logic constraints.
CDC
Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray
2012 C conf
Switching protocol synthesis for temporal logic specifications.
ACC
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012 C conf
Temporal logic control of switched affine systems with an application in fuel balancing.
ACC
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2011 — conf
Blind identification of sparse dynamic networks and applications.
CDC/ECC
Mustafa Ayazoglu, Mario Sznaier, Necmiye Ozay
2011 — conf
Distributed Synthesis of Control Protocols for Smart Camera Networks.
ICCPS
Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn
2011 — conf
Distributed power allocation for vehicle management systems.
CDC/ECC
Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2011 — conf
Hybrid system identification with faulty measurements and its application to activity analysis.
CDC/ECC
Necmiye Ozay, Mario Sznaier
2011 — conf
TuLiP: a software toolbox for receding horizon temporal logic planning.
HSCC
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
2010 A* conf
GPCA with denoising: A moments-based convex approach.
CVPR
Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa, Octavia I. Camps
2010 — conf
Hybrid system identification: An SDP approach.
CDC
Chao Feng, Constantino M. Lagoa, Necmiye Ozay, Mario Sznaier
2010 B conf
Locally Deformable Shape Model to Improve 3D Level Set Based Esophagus Segmentation.
ICPR
Sila Kurugol, Necmiye Ozay, Jennifer G. Dy, Gregory C. Sharp, Dana H. Brooks
2010 — conf
Model (in) validation of switched ARX systems with unknown switches and its application to activity monitoring.
CDC
Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa
2009 — conf
Improving face recognition with a quality-based probabilistic framework.
CVPR Workshops
Necmiye Ozay, Yan Tong, Frederick W. Wheeler, Xiaoming Liu
2009 — conf
Robust identification of switched affine systems via moments-based convex optimization.
CDC
Necmiye Ozay, Constantino M. Lagoa, Mario Sznaier
2008 — conf
A sparsification approach to set membership identification of a class of affine hybrid systems.
CDC
Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa, Octavia I. Camps
2008 A* conf
Sequential sparsification for change detection.
CVPR
Necmiye Ozay, Mario Sznaier, Octavia I. Camps
2007 — conf
A pessimistic approach to frequency domain model (in)validation.
CDC
Necmiye Ozay, Mario Sznaier
2006 — conf
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques.
ICPR (1)
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps