default search action
Necmiye Ozay
Necmiye Özay
Person information
- affiliation: University of Michigan, Ann Arbor, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j38]Ruya Karagulle
, Nikos Aréchiga
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles. IEEE Robotics Autom. Lett. 9(5): 4226-4233 (2024) - [j37]Tzanis Anevlavis
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. 69(7): 4506-4521 (2024) - [c119]Mohamed Serry, Liren Yang, Necmiye Ozay, Jun Liu:
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets. ACC 2024: 1172-1179 - [c118]Ruya Karagulle
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. HSCC 2024: 5:1-5:11 - [c117]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: 1266-1277 - [i56]Antoine Aspeel, Necmiye Ozay:
A Simulation Preorder for Koopman-like Lifted Control Systems. CoRR abs/2401.14909 (2024) - [i55]Antoine Aspeel, Laurent Bako, Necmiye Ozay:
Minimal L2-Consistent Data-Transmission. CoRR abs/2408.04012 (2024) - [i54]Daphna Raz, Varun Joshi, Brian R. Umberger, Necmiye Ozay:
Ankle Exoskeletons May Hinder Standing Balance in Simple Models of Older and Younger Adults. CoRR abs/2408.05418 (2024) - 2023
- [j36]Yunus Emre Sahin, Necmiye Ozay:
From drinking philosophers to asynchronous path-following robots. Autom. 151: 110873 (2023) - [j35]Haldun Balim
Koopman-Inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems. IEEE Control. Syst. Lett. 7: 2245-2250 (2023) - [j34]Andrew Wintenberg
Opacity From Observers With a Bounded Memory. IEEE Control. Syst. Lett. 7: 2359-2364 (2023) - [j33]Zhe Du
Can Transformers Learn Optimal Filtering for Unknown Systems? IEEE Control. Syst. Lett. 7: 3525-3530 (2023) - [j32]Antoine Aspeel
A Low-Rank Approach to Minimize Sensor-to-Actuator Communication in Finite-Horizon Output Feedback. IEEE Control. Syst. Lett. 7: 3609-3614 (2023) - [j31]Zexiang Liu
Opportunistic Safety Outside the Maximal Controlled Invariant Set. IEEE Control. Syst. Lett. 7: 3992-3997 (2023) - [c116]Kwesi Rutledge, Yuhang Mei, Necmiye Ozay:
Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL. ACC 2023: 3508-3515 - [c115]Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier:
On the Hardness of Learning to Stabilize Linear Systems. CDC 2023: 6622-6628 - [c114]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: 1-7 - [c113]Daphna Raz
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. HSCC 2023: 23:1-23:2 - [c112]Ruya Karagulle
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. HSCC 2023: 24:1-24:2 - [i53]Sunho Jang, Necmiye Ozay, Johanna L. Mathieu:
Probabilistic Constraint Construction for Network-safe Load Coordination. CoRR abs/2301.05303 (2023) - [i52]Zexiang Liu, Necmiye Ozay:
Quantifying the Value of Preview Information for Safety Control. CoRR abs/2303.10660 (2023) - [i51]Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay:
Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems. CoRR abs/2306.07113 (2023) - [i50]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 abs/2307.01925 (2023) - [i49]Haldun Balim, Zhe Du, Samet Oymak, Necmiye Ozay:
Can Transformers Learn Optimal Filtering for Unknown Systems? CoRR abs/2308.08536 (2023) - [i48]Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles. CoRR abs/2311.02099 (2023) - [i47]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 abs/2311.08998 (2023) - [i46]Xiong Zeng, Zexiang Liu, Zhe Du, Necmiye Ozay, Mario Sznaier:
On the Hardness of Learning to Stabilize Linear Systems. CoRR abs/2311.11151 (2023) - [i45]Zexiang Liu, Necmiye Ozay, Eduardo D. Sontag:
Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings. CoRR abs/2312.17045 (2023) - 2022
- [j30]Glen Chou
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments. Auton. Robots 46(1): 149-174 (2022) - [j29]Liren Yang
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems. IEEE Control. Syst. Lett. 6: 1555-1560 (2022) - [j28]Andrew Wintenberg
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32(2): 253-289 (2022) - [j27]Craig Knuth
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants". IEEE Robotics Autom. Lett. 7(1): 381 (2022) - [j26]Samet Oymak
Revisiting Ho-Kalman-Based System Identification: Robustness and Finite-Sample Analysis. IEEE Trans. Autom. Control. 67(4): 1914-1928 (2022) - [j25]Liren Yang
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3969-3980 (2022) - [j24]Yuxiao Chen
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection. IEEE Trans. Control. Syst. Technol. 30(2): 495-506 (2022) - [c111]Sunho Jang, Necmiye Ozay, Johanna L. Mathieu:
Data-driven estimation of probabilistic constraints for network-safe distributed energy resource control. Allerton 2022: 1-8 - [c110]Yahya Sattar, Zhe Du, Davoud Ataee Tarzanagh, Samet Oymak, Laura Balzano
Certainty Equivalent Quadratic Control for Markov Jump Systems. ACC 2022: 2871-2878 - [c109]Andrew Wintenberg, Stéphane Lafortune
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC 2022: 3363 - [c108]Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano
Data-Driven Control of Markov Jump Systems: Sample Complexity and Regret Bounds. ACC 2022: 4901-4908 - [c107]Zexiang Liu, Necmiye Ozay:
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems. CDC 2022: 4270-4275 - [c106]Zhe Du, Zexiang Liu, Jack Weitze, Necmiye Ozay:
Sample Complexity Analysis and Self-regularization in Identification of Over-parameterized ARX Models. CDC 2022: 6026-6033 - [c105]Yahya Sattar, Samet Oymak, Necmiye Ozay:
Finite Sample Identification of Bilinear Dynamical Systems. CDC 2022: 6705-6711 - [c104]Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. FORMATS 2022: 153-162 - [c103]Kwesi Rutledge, Necmiye Ozay
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. HSCC 2022: 8:1-8:11 - [c102]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
A Dynamic Obfuscation Framework for Security and Utility. ICCPS 2022: 236-246 - [c101]Dan Li, Mohamad Louai Shehab, Zexiang Liu, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay:
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors. ITSC 2022: 4175-4182 - [c100]Zhe Du, Necmiye Ozay, Laura Balzano:
Clustering-based Mode Reduction for Markov Jump Systems. L4DC 2022: 689-701 - [c99]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory. WAFR 2022: 349-367 - [i44]Sunho Jang, Necmiye Ozay, Johanna L. Mathieu:
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads. CoRR abs/2202.05887 (2022) - [i43]Zhe Du, Laura Balzano, Necmiye Ozay:
Mode Reduction for Markov Jump Systems. CoRR abs/2205.02697 (2022) - [i42]Glen Chou, Necmiye Ozay
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory. CoRR abs/2206.06553 (2022) - [i41]Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay:
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes. CoRR abs/2207.04272 (2022) - [i40]Zexiang Liu, Necmiye Ozay:
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems. CoRR abs/2207.04726 (2022) - [i39]Yahya Sattar, Samet Oymak, Necmiye Ozay:
Finite Sample Identification of Bilinear Dynamical Systems. CoRR abs/2208.13915 (2022) - 2021
- [j23]Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130: 109723 (2021) - [j22]Glen Chou
Learning constraints from demonstrations with grid and parametric representations. Int. J. Robotics Res. 40(10-11) (2021) - [j21]Craig Knuth
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants. IEEE Robotics Autom. Lett. 6(3): 5129-5136 (2021) - [j20]Liren Yang
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. ACM Trans. Embed. Comput. Syst. 20(5s): 102:1-102:25 (2021) - [c98]Liren Yang
Safety Control Synthesis for Systems with Missing Measurements. ADHS 2021: 97-102 - [c97]Zexiang Liu, Necmiye Ozay
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. ADHS 2021: 163-168 - [c96]Zexiang Liu, Necmiye Ozay
On the Value of Preview Information For Safety Control. ACC 2021: 2348-2354 - [c95]Sunho Jang, Necmiye Ozay
Large-Scale Invariant Sets for Safe Coordination of Thermostatic Loads. ACC 2021: 4163-4170 - [c94]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay
An enhanced hierarchy for (robust) controlled invariance. ACC 2021: 4860-4865 - [c93]Daphna Raz, Edgar A. Bolívar-Nieto
Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis. CCTA 2021: 627-633 - [c92]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
Enforcement of K-Step Opacity with Edit Functions. CDC 2021: 331-338 - [c91]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC 2021: 1112-1119 - [c90]Antoine Aspeel
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. CDC 2021: 1960-1967 - [c89]Glen Chou, Necmiye Ozay
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CDC 2021: 3576-3583 - [c88]Necmiye Ozay
A fresh look at some classical system identification methods. CISS 2021: 1 - [c87]Kwesi J. Rutledge, Glen Chou, Necmiye Ozay
Compositional safety rules for inter-triggering hybrid automata. HSCC 2021: 4:1-4:11 - [c86]Danny Weyns
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE 2021: 217-223 - [c85]Craig Knuth, Glen Chou, Necmiye Ozay
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. WAFR 2021: 18-36 - [e2]Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate:
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. IFAC-PapersOnLine 54(5), Elsevier 2021 [contents] - [i38]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR abs/2103.10501 (2021) - [i37]Zexiang Liu, Necmiye Ozay:
On the Value of Preview Information For Safety Control. CoRR abs/2103.10625 (2021) - [i36]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 abs/2103.10847 (2021) - [i35]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems. CoRR abs/2104.08695 (2021) - [i34]Zhe Du, Yahya Sattar, Davoud Ataee Tarzanagh, Laura Balzano, Samet Oymak, Necmiye Ozay:
Certainty Equivalent Quadratic Control for Markov Jump Systems. CoRR abs/2105.12358 (2021) - [i33]Liren Yang, Necmiye Ozay:
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems. CoRR abs/2107.01724 (2021) - [i32]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
Controlled invariant sets: implicit closed-form representations and applications. CoRR abs/2107.08566 (2021) - [i31]Liren Yang, Necmiye Ozay:
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. CoRR abs/2107.11667 (2021) - [i30]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 abs/2109.10666 (2021) - [i29]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR abs/2109.12378 (2021) - [i28]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 abs/2111.07018 (2021) - 2020
- [j19]Xiangru Xu, Necmiye Ozay
Passivity-based analysis of sampled and quantized control implementations. Autom. 119: 109064 (2020) - [j18]Glen Chou
Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty. IEEE Robotics Autom. Lett. 5(2): 3682-3690 (2020) - [j17]Petter Nilsson
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Trans. Autom. Control. 65(2): 461-476 (2020) - [j16]Liren Yang
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. IEEE Trans. Control. Syst. Technol. 28(5): 1638-1651 (2020) - [j15]Yunus Emre Sahin
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36(4): 1189-1206 (2020) - [c84]Zexiang Liu, Liren Yang
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. ACC 2020: 4722-4728 - [c83]Liren Yang
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration. ACC 2020: 4737-4744 - [c82]Michael Arwashan, Tiancheng Ge, Zexiang Liu, Necmiye Ozay
Driving with guardian: Blending user inputs with safety ensuring barriers. CCTA 2020: 326-333 - [c81]Liren Yang, Necmiye Ozay
Efficient Safety Control Synthesis with Imperfect State Information. CDC 2020: 874-880 - [c80]Andrew Wintenberg, Necmiye Ozay
Implicit Invariant Sets for High-Dimensional Switched Affine Systems. CDC 2020: 3291-3297 - [c79]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRL 2020: 1612-1639 - [c78]Kwesi J. Rutledge, Necmiye Ozay:
Belief-prefix Control for Autonomously Dodging Switching Disturbances. ECC 2020: 966-972 - [c77]Rupak Majumdar, Necmiye Ozay
On abstraction-based controller design with output feedback. HSCC 2020: 15:1-15:11 - [c76]Necmiye Ozay
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. HSCC 2020: 32:1-32:2 - [c75]Glen Chou, Necmiye Ozay
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. Robotics: Science and Systems 2020 - [i27]Yunus Emre Sahin, Necmiye Ozay:
From Drinking Philosophers to Wandering Robots. CoRR abs/2001.00440 (2020) - [i26]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Constraints from Locally-Optimal Demonstrations under Cost Function Uncertainty. CoRR abs/2001.09336 (2020) - [i25]Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck:
On Abstraction-Based Controller Design With Output Feedback. CoRR abs/2002.02687 (2020) - [i24]Zexiang Liu, Liren Yang, Necmiye Ozay:
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. CoRR abs/2003.04953 (2020) - [i23]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations. CoRR abs/2005.05421 (2020) - [i22]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations. CoRR abs/2006.02411 (2020) - [i21]Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson:
Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants. CoRR abs/2010.08993 (2020) - [i20]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations. CoRR abs/2011.04141 (2020)
2010 – 2019
- 2019
- [j14]Liren Yang
On Sufficient Conditions for Mixed Monotonicity. IEEE Trans. Autom. Control. 64(12): 5080-5085 (2019) - [c74]Liren Yang
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. ACC 2019: 1056-1063 - [c73]Stephanie C. Ross, Petter Nilsson, Necmiye Ozay
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads. ACC 2019: 4260-4267 - [c72]Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay
Prefix-based Bounded-error Estimation with Intermittent Observations. ACC 2019: 4320-4325 - [c71]Samet Oymak, Necmiye Ozay
Non-asymptotic Identification of LTI Systems from a Single Trajectory. ACC 2019: 5655-5661 - [c70]Zhe Du, Necmiye Ozay
Mode Clustering for Markov Jump Systems. CAMSAP 2019: 126-130 - [c69]Yunus Emre Sahin, Zexiang Liu, Kwesi J. Rutledge, Dimitra Panagou, Sze Zheng Yong, Necmiye Ozay
Intention-Aware Supervisory Control with Driving Safety Applications. CCTA 2019: 1-8 - [c68]Liren Yang
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables. CCTA 2019: 374-381 - [c67]Zexiang Liu, Necmiye Ozay
Safety Control with Preview Automaton. CDC 2019: 1557-1564 - [c66]Liren Yang
Tight decomposition functions for mixed monotonicity. CDC 2019: 5318-5322 - [c65]Liren Yang
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints. CDC 2019: 5779-5786 - [c64]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Parametric Constraints in High Dimensions from Demonstrations. CoRL 2019: 1211-1230 - [c63]Vishnu S. Chipade
Safe Autonomous Overtaking with Intention Estimation. ECC 2019: 2050-2057 - [c62]Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay
Equalized recovery: Weakening invariance for control and estimation: poster abstract. HSCC 2019: 276-277 - [c61]Liren Yang
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. HSCC 2019: 278-279 - [c60]Zexiang Liu, Necmiye Ozay
Safety control with preview automaton: poster abstract. HSCC 2019: 280-281 - [e1]Necmiye Ozay, Pavithra Prabhakar:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6282-5 [contents] - [i19]Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay:
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. CoRR abs/1903.05275 (2019) - [i18]Zexiang Liu, Necmiye Ozay:
Safety Control with Preview Automaton. CoRR abs/1907.04935 (2019) - [i17]Zhe Du, Necmiye Ozay, Laura Balzano:
Mode Clustering for Markov Jump Systems. CoRR abs/1910.02193 (2019) - [i16]Glen Chou, Necmiye Ozay, Dmitry Berenson:
Learning Parametric Constraints in High Dimensions from Demonstrations. CoRR abs/1910.03477 (2019) - 2018
- [j13]Farshad Harirchi, Necmiye Ozay
Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach. Autom. 93: 476-488 (2018) - [j12]Glen Chou
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2906-2917 (2018) - [j11]Chaozhe R. He
Optimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach. IEEE Trans. Control. Syst. Technol. 26(6): 2078-2090 (2018) - [c59]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS 2018: 19-24 - [c58]Kwesi J. Rutledge
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. ADHS 2018: 157-162 - [c57]Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay
Input Design for Nonlinear Model Discrimination via Affine Abstraction. ADHS 2018: 175-180 - [c56]Sze Zheng Yong, Necmiye Ozay
Discrete State Estimation with Persistent Sensor Faults and Non-Persistent Noise via Noisy Bayesian Active Diagnosis. ACC 2018: 313-320 - [c55]Liren Yang
Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints. CDC 2018: 4032-4039 - [c54]Yuxiao Chen, Huei Peng, Jessy W. Grizzle, Necmiye Ozay
Data-Driven Computation of Minimal Robust Control Invariant Set. CDC 2018: 4052-4058 - [c53]Supratim Ghosh, Mustafa Kara, Necmiye Ozay
Structural Detectability of Faults in Discrete-Time Affine Systems. CDC 2018: 6359-6365 - [c52]Yunus Emre Sahin, Necmiye Ozay
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS 2018: 265-281 - [c51]Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay
Optimal input design for affine model discrimination with applications in intention-aware vehicles. ICCPS 2018: 297-307 - [c50]Glen Chou, Dmitry Berenson, Necmiye Ozay
Learning Constraints from Demonstrations. WAFR 2018: 228-245 - [i15]Liren Yang, Oscar Mickelin, Necmiye Ozay:
On sufficient conditions for mixed monotonicity. CoRR abs/1803.04528 (2018) - [i14]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR abs/1804.04280 (2018) - [i13]Zhe Du, Necmiye Ozay, Laura Balzano:
A Robust Algorithm for Online Switched System Identification. CoRR abs/1805.01111 (2018) - [i12]Samet Oymak, Necmiye Ozay:
Non-asymptotic Identification of LTI Systems from a Single Trajectory. CoRR abs/1806.05722 (2018) - [i11]Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay:
Using control synthesis to generate corner cases: A case study on autonomous driving. CoRR abs/1807.09537 (2018) - [i10]Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity-Based Analysis of Sampled and Quantized Control Implementations. CoRR abs/1810.11950 (2018) - [i9]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination with Counting Temporal Logics. CoRR abs/1810.13087 (2018) - [i8]Glen Chou, Dmitry Berenson, Necmiye Ozay:
Learning Constraints from Demonstrations. CoRR abs/1812.07084 (2018) - 2017
- [j10]Necmiye Ozay
Guest editorial: special issue on formal methods in control. Discret. Event Dyn. Syst. 27(2): 205-208 (2017) - [j9]Petter Nilsson
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2): 301-340 (2017) - [c49]Liren Yang
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. ACC 2017: 1839-1846 - [c48]Sze Zheng Yong, Lingyun Gao, Necmiye Ozay
Weak adaptive submodularity and group-based active diagnosis with applications to state estimation with persistent sensor faults. ACC 2017: 2574-2581 - [c47]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC 2017: 335-342 - [c46]Liren Yang
Provably-correct fault tolerant control with delayed information. CDC 2017: 542-549 - [c45]Petter Nilsson, Necmiye Ozay
Maximizing the time of invariance for large collections of switched systems. CDC 2017: 3618-3625 - [c44]Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay
Guaranteed fault detection and isolation for switched affine models. CDC 2017: 5161-5167 - [c43]Petter Nilsson, Necmiye Ozay
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. HSCC 2017: 187-196 - [c42]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS 2017: 249-258 - [i7]Sze Zheng Yong, Lingyun Gao, Necmiye Ozay:
Weak Adaptive Submodularity and Group-Based Active Diagnosis with Applications to State Estimation with Persistent Sensor Faults. CoRR abs/1701.06731 (2017) - [i6]Emil Jacobsen, Farshad Harirchi, Sze Zheng Yong, Necmiye Ozay:
Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles. CoRR abs/1702.01112 (2017) - [i5]Petter Nilsson, Necmiye Ozay:
Control Synthesis for High-Dimensional Systems With Counting Constraints. CoRR abs/1706.07863 (2017) - 2016
- [j8]Sweewarman Balachandran, Necmiye Ozay
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff. J. Aerosp. Inf. Syst. 13(9): 357-369 (2016) - [j7]Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control. Syst. Technol. 24(4): 1294-1307 (2016) - [c41]Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA 2016: 1030-1041 - [c40]Andrew J. Wagenmaker, Necmiye Ozay
A bisimulation-like algorithm for abstracting control systems. Allerton 2016: 569-576 - [c39]Necmiye Ozay
An exact and efficient algorithm for segmentation of ARX models. ACC 2016: 38-41 - [c38]Farshad Harirchi, Zheng Luo, Necmiye Ozay
Model (in)validation and fault detection for systems with polynomial state-space models. ACC 2016: 1017-1023 - [c37]Liren Yang
Synthesis of fault tolerant switching protocols for vehicle engine thermal management. ACC 2016: 4213-4220 - [c36]Petter Nilsson, Necmiye Ozay
Synthesis of separable controlled invariant sets for modular local control design. ACC 2016: 5656-5663 - [c35]Stanley W. Smith, Petter Nilsson, Necmiye Ozay
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. CDC 2016: 5700-5707 - [c34]Petter Nilsson, Necmiye Ozay
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. HSCC 2016: 205-214 - [c33]Yunus Emre Sahin, Necmiye Ozay:
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving. ICCPS 2016: 23:1 - [i4]Yunus Emre Sahin, Necmiye Ozay:
SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks. CoRR abs/1607.03479 (2016) - 2015
- [j6]Necmiye Ozay
Set membership identification of switched linear systems with known number of subsystems. Autom. 51: 180-191 (2015) - [c32]Yinan Li, Jun Liu, Necmiye Ozay
Computing finite abstractions with robustness margins via local reachable set over-approximation. ADHS 2015: 1-6 - [c31]Farshad Harirchi, Necmiye Ozay
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection. ADHS 2015: 260-266 - [c30]Xiangru Xu, Necmiye Ozay
Passivity degradation in discrete control implementations: An approximate bisimulation approach. CDC 2015: 6817-6822 - [i3]Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. CoRR abs/1507.06248 (2015) - [i2]Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach. CoRR abs/1509.02366 (2015) - [i1]Petter Nilsson, Necmiye Ozay:
Synthesis of separable controlled invariant sets for modular local control design. CoRR abs/1510.02990 (2015) - 2014
- [j5]Pierluigi Nuzzo, Huan Xu, Necmiye Ozay
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014) - [j4]Robert Rogersten, Huan Xu, Necmiye Ozay
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. J. Aerosp. Inf. Syst. 11(10): 665-678 (2014) - [j3]Necmiye Ozay
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches. IEEE Trans. Autom. Control. 59(11): 2921-2932 (2014) - [c29]Oscar Mickelin, Necmiye Ozay, Richard M. Murray
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information. ACC 2014: 2305-2311 - [c28]Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray
Efficient control synthesis for augmented finite transition systems with an application to switching protocols. ACC 2014: 3273-3280 - [c27]Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC 2014: 816-823 - [c26]Mario Sznaier, Octavia I. Camps, Necmiye Ozay
Surviving the upcoming data deluge: A systems and control perspective. CDC 2014: 1488-1498 - [c25]Petter Nilsson, Necmiye Ozay
Incremental synthesis of switching protocols via abstraction refinement. CDC 2014: 6246-6253 - [c24]Jun Liu, Necmiye Ozay:
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. HSCC 2014: 293-302 - 2013
- [j2]Jun Liu
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. 58(7): 1771-1785 (2013) - [c23]Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray:
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC 2013: 6237-6244 - [c22]Quentin Maillet, Huan Xu, Necmiye Ozay, Richard M. Murray
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity. CDC 2013: 5497-5503 - [c21]Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. HSCC 2013: 89-94 - 2012
- [j1]Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa
A Sparsification Approach to Set Membership Identification of Switched Affine Systems. IEEE Trans. Autom. Control. 57(3): 634-648 (2012) - [c20]Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Switching protocol synthesis for temporal logic specifications. ACC 2012: 727-734 - [c19]Petter Nilsson, Necmiye Ozay, Ufuk Topcu
Temporal logic control of switched affine systems with an application in fuel balancing. ACC 2012: 5302-5309 - [c18]Yongfang Cheng, Yin Wang, Mario Sznaier, Necmiye Ozay, Constantino M. Lagoa
A convex optimization approach to model (in)validation of switched ARX systems with unknown switches. CDC 2012: 6284-6290 - [c17]Jun Liu, Ufuk Topcu
Reactive controllers for differentially flat systems with temporal logic constraints. CDC 2012: 7664-7670 - [c16]Ufuk Topcu
On synthesizing robust discrete controllers under modeling uncertainty. HSCC 2012: 85-94 - 2011
- [c15]Mustafa Ayazoglu, Mario Sznaier, Necmiye Ozay:
Blind identification of sparse dynamic networks and applications. CDC/ECC 2011: 2944-2950 - [c14]Necmiye Ozay
Distributed power allocation for vehicle management systems. CDC/ECC 2011: 4841-4848 - [c13]Necmiye Ozay, Mario Sznaier:
Hybrid system identification with faulty measurements and its application to activity analysis. CDC/ECC 2011: 5011-5016 - [c12]Tichakorn Wongpiromsarn, Ufuk Topcu
TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC 2011: 313-314 - [c11]Necmiye Ozay, Ufuk Topcu
Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS 2011: 45-54 - 2010
- [c10]Chao Feng, Constantino M. Lagoa
Hybrid system identification: An SDP approach. CDC 2010: 1546-1552 - [c9]Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa
Model (in) validation of switched ARX systems with unknown switches and its application to activity monitoring. CDC 2010: 7624-7630 - [c8]Necmiye Ozay
GPCA with denoising: A moments-based convex approach. CVPR 2010: 3209-3216 - [c7]Sila Kurugol
Locally Deformable Shape Model to Improve 3D Level Set Based Esophagus Segmentation. ICPR 2010: 3955-3958
2000 – 2009
- 2009
- [c6]Necmiye Ozay, Constantino M. Lagoa
Robust identification of switched affine systems via moments-based convex optimization. CDC 2009: 4686-4691 - [c5]Necmiye Ozay, Yan Tong, Frederick W. Wheeler, Xiaoming Liu:
Improving face recognition with a quality-based probabilistic framework. CVPR Workshops 2009: 134-141 - 2008
- [c4]Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa
A sparsification approach to set membership identification of a class of affine hybrid systems. CDC 2008: 123-130 - [c3]Necmiye Ozay
Sequential sparsification for change detection. CVPR 2008 - 2007
- [c2]Necmiye Ozay
A pessimistic approach to frequency domain model (in)validation. CDC 2007: 4895-4900 - 2006
- [c1]Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps:
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques. ICPR (1) 2006: 347-350
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-01 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: