Necmiye Ozay
Orcid: 0000-0002-5552-4392Affiliations:
- University of Michigan, Ann Arbor, MI, USA
According to our database1,
Necmiye Ozay
authored at least 173 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., July, 2024
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles.
IEEE Robotics Autom. Lett., May, 2024
Ankle Exoskeletons May Hinder Standing Balance in Simple Models of Older and Younger Adults.
CoRR, 2024
Learning true objectives: Linear algebraic characterizations of identifiability in inverse reinforcement learning.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets.
Proceedings of the American Control Conference, 2024
2023
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
A Low-Rank Approach to Minimize Sensor-to-Actuator Communication in Finite-Horizon Output Feedback.
IEEE Control. Syst. Lett., 2023
Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings.
CoRR, 2023
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles.
CoRR, 2023
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability.
Proceedings of the European Control Conference, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL.
Proceedings of the American Control Conference, 2023
2022
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection.
IEEE Trans. Control. Syst. Technol., 2022
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Revisiting Ho-Kalman-Based System Identification: Robustness and Finite-Sample Analysis.
IEEE Trans. Autom. Control., 2022
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants".
IEEE Robotics Autom. Lett., 2022
Discret. Event Dyn. Syst., 2022
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems.
IEEE Control. Syst. Lett., 2022
An Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads.
CoRR, 2022
Learning temporal logic formulas from suboptimal demonstrations: theory and experiments.
Auton. Robots, 2022
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory.
Proceedings of the Algorithmic Foundations of Robotics XV, 2022
Proceedings of the Learning for Dynamics and Control Conference, 2022
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Sample Complexity Analysis and Self-regularization in Identification of Over-parameterized ARX Models.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
Data-driven estimation of probabilistic constraints for network-safe distributed energy resource control.
Proceedings of the 58th Annual Allerton Conference on Communication, 2022
2021
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.
ACM Trans. Embed. Comput. Syst., 2021
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants.
IEEE Robotics Autom. Lett., 2021
Int. J. Robotics Res., 2021
Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds.
CoRR, 2021
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.
Autom., 2021
Proceedings of the Algorithmic Foundations of Robotics XIV, 2021
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 55th Annual Conference on Information Sciences and Systems, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Toward Phase-Variable Control of Sit-to-Stand Motion with a Powered Knee-Ankle Prosthesis.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.
IEEE Trans. Control. Syst. Technol., 2020
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints.
IEEE Trans. Autom. Control., 2020
Learning Constraints From Locally-Optimal Demonstrations Under Cost Function Uncertainty.
IEEE Robotics Autom. Lett., 2020
Planning with Learned Dynamics: Guaranteed Safety and Reachability via Lipschitz Constants.
CoRR, 2020
Autom., 2020
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations.
Proceedings of the Robotics: Science and Systems XVI, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the 18th European Control Conference, 2020
Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations.
Proceedings of the 4th Conference on Robot Learning, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020
Proceedings of the 2020 American Control Conference, 2020
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.
Proceedings of the 2020 American Control Conference, 2020
2019
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Equalized recovery: Weakening invariance for control and estimation: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 17th European Control Conference, 2019
Proceedings of the 3rd Annual Conference on Robot Learning, 2019
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019
Proceedings of the 8th IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2019
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads.
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
Optimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach.
IEEE Trans. Control. Syst. Technol., 2018
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach.
Autom., 2018
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018
Optimal input design for affine model discrimination with applications in intention-aware vehicles.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the Distributed Autonomous Robotic Systems, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Discrete State Estimation with Persistent Sensor Faults and Non-Persistent Noise via Noisy Bayesian Active Diagnosis.
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Discret. Event Dyn. Syst., 2017
Discret. Event Dyn. Syst., 2017
Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles.
CoRR, 2017
Provably-correct coordination of large collections of agents with counting temporal logic constraints.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Weak adaptive submodularity and group-based active diagnosis with applications to state estimation with persistent sensor faults.
Proceedings of the 2017 American Control Conference, 2017
2016
IEEE Trans. Control. Syst. Technol., 2016
Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff.
J. Aerosp. Inf. Syst., 2016
CoRR, 2016
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Synthesis of fault tolerant switching protocols for vehicle engine thermal management.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Model (in)validation and fault detection for systems with polynomial state-space models.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
Set membership identification of switched linear systems with known number of subsystems.
Autom., 2015
Passivity degradation in discrete control implementations: An approximate bisimulation approach.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Computing finite abstractions with robustness margins via local reachable set over-approximation.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches.
IEEE Trans. Autom. Control., 2014
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst., 2014
IEEE Access, 2014
Abstraction, discretization, and robustness in temporal logic control of dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
Proceedings of the American Control Conference, 2014
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.
Proceedings of the American Control Conference, 2014
2013
IEEE Trans. Autom. Control., 2013
An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
Proceedings of the American Control Conference, 2013
2012
A Sparsification Approach to Set Membership Identification of Switched Affine Systems.
IEEE Trans. Autom. Control., 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Reactive controllers for differentially flat systems with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
A convex optimization approach to model (in)validation of switched ARX systems with unknown switches.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Temporal logic control of switched affine systems with an application in fuel balancing.
Proceedings of the American Control Conference, 2012
Proceedings of the American Control Conference, 2012
2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Hybrid system identification with faulty measurements and its application to activity analysis.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Proceedings of the 20th International Conference on Pattern Recognition, 2010
Proceedings of the Twenty-Third IEEE Conference on Computer Vision and Pattern Recognition, 2010
Model (in) validation of switched ARX systems with unknown switches and its application to activity monitoring.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009
Robust identification of switched affine systems via moments-based convex optimization.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
2008
Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008
A sparsification approach to set membership identification of a class of affine hybrid systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques.
Proceedings of the 18th International Conference on Pattern Recognition (ICPR 2006), 2006