Necmiye Ozay
Professor, Robotics and Electrical and Computer Engineering
Studies control, optimization and formal methods for safe autonomous cyber-physical systems, including verification and system identification.
Necmiye Ozay's lab at Michigan works on planning, control & multi-robot systems, embodied & active vision and compilers & programming languages. 45 papers since 2023, 5 at top venues, mostly CDC and ACC. 5 PhD students. 63 alumni, most often to Bosch and Sinovation Ventures AI research. Applications close .
At a glance
- papers, 2023–2026
- 12/ year
- at T1 venues
- 11%
- PhD students
- 5
- MS students
- 0
- alumni listed
- 63
Papers by yearfrom the lab homepage, 2023–2026
- 9 papers2026 · T1 1 · collecting
- 14 papers2025 · T1 3
- 12 papers2024 · T1 1
- 10 papers2023 · T1 0
T1 venuesOtherVenues: CDC, ACC, TAC, IFAC, RA-L
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems18 papers
- Embodied & active vision1 paper
- Compilers & programming languages1 paper
- safe autonomous0 papers
- studies control0 papers
Paper list
From the lab homepage.
20269 papers
- World Symposium on the Algorithmic Foundations of Robotics , Oulu, Finland, JuneActive Reward Machine Inference From Raw State Trajectories (opens in a new tab)
- CDCBenefits of Linear Dynamic State Feedback in Co-stabilization
- CDCExpressive Power of WSTL Formulas for Learning to Rank
- CDCInverse Reinforcement Learning under State Abstractions
- TAC (T1)Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR (opens in a new tab)
- CDCOn the Generalization Properties of Selective State-Space Models for Filtering Tasks for Unknown Systems (opens in a new tab)
- IFACOn the Nonexistence of Continuous Immersions for Discrete-time Systems (opens in a new tab)
- ACCSafe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1 (opens in a new tab)
- IEEE International Conference on Intelligent Transportation Systems , Naples, Italy, SeptemberTraffic Rule Compliant Autonomous Driving Using Reward Machines and Reinforcement Learning (opens in a new tab)
202514 papers
- IEEE Transactions on Neural Systems and Rehabilitation EngineeringAnkle Exoskeletons May Hinder Standing Balance in Simple Models of Older and Younger Adults (opens in a new tab)
- CDCEfficient Reward Identification In Max Entropy Reinforcement Learning with Sparsity and Rank Priors (opens in a new tab)
- CDCInitial Distribution Sensitivity of Constrained Markov Decision Processes (opens in a new tab)
- TAC (T1)Integrating Obfuscation and Control for Privacy (opens in a new tab)
- TMLR (T1)Learning Reward Machines from Partially Observed Policies (opens in a new tab)
- IFAC Joint Conference on Computers, Cognition, and Communication , Padova, Italy, SeptemberLLM-Enhanced Symbolic Control for Safety-Critical Applications (opens in a new tab)
- IEEE Control Systems LettersMode-Prefix-Based Control of Switched Linear Systems with Applications to Fault Tolerance (opens in a new tab)
- Proc. Annual International Conference of the IEEE Engineering in Medicine and Biology Society , Copenhagen, Denmark, JulyModeling the effects of non-ideal ankle exoskeleton controllers on assisted standing balance in older adults with impaired muscle strength (opens in a new tab)
- ACCNoise Sensitivity of Direct Data-Driven Linear Quadratic Regulator by Semidefinite Programming (opens in a new tab)
- AutomaticaProperties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings (opens in a new tab)
- TAC (T1)Quantifying the Value of Preview Information for Safety Control (opens in a new tab)
- CDCSafe Control of Multi-Agent Systems with Minimal Communication (opens in a new tab)
202412 papers
- IFAC Workshop4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback (opens in a new tab)
- RA-LA Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles (opens in a new tab)
- IFAC Conference on Analysis and Design of Hybrid Systems , Boulder, CO, JulyA Simulation Preorder for Koopman-Like Lifted Control Systems (opens in a new tab)
- IEEE Transactions on Control of Network Systems, 11: 2213-225, DecemberAn Invariant Set Construction Method, Applied to Safe Coordination of Thermostatic Loads (opens in a new tab)
- TAC (T1)Controlled invariant sets: implicit closed-form representations and applications (opens in a new tab)
- CDCData-Driven Network-Aware Control of Thermostatically Controlled Loads with Unknown Dynamics (opens in a new tab)
- International Conference on Hybrid Systems: Computation and Control , Hong Kong, China, MayIncorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles (opens in a new tab)
- Annual Learning for Dynamics & Control Conference , Oxford, UK, JulyLearning True Objectives: Linear Algebraic Characterizations of Identifiability in Inverse Reinforcement Learning (opens in a new tab)
- CDCMinimal L2-Consistent Data-Transmission (opens in a new tab)
- Electric Power Systems Research , June . *Equal contributionNodal Operating Envelopes Vs. Network-Wide Constraints: What Is Better For Network-Safe Coordination of DERS? (opens in a new tab)
- IEEE Transactions on Power Systems, 39: 4473-4485, MarchProbabilistic Constraint Construction for Network-safe Load Coordination (opens in a new tab)
- ACCSafe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets (opens in a new tab)
202310 papers
- IEEE Control Systems LettersA Low Rank Approach to Minimize Sensor-to-Actuator Communication in Finite Horizon Output Feedback (opens in a new tab)
- IEEE Control Systems LettersCan Transformers Learn Optimal Filtering for Unknown Systems? (opens in a new tab)
- ACCController Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL (opens in a new tab)
- Proc. European Control Conference , Bucharest, Romania, JuneDetermining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability (opens in a new tab)
- AutomaticaFrom Drinking Philosophers to Asynchronous Path-Following Robots (opens in a new tab)
- IEEE Control Systems LettersKoopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems (opens in a new tab)
- CDCOn the Hardness of Learning to Stabilize Linear Systems (opens in a new tab)
- IFACOn the Non-existence of Immersions for Systems with Multiple Omega-Limit Sets (opens in a new tab)
- IEEE Control Systems LettersOpacity from Observers with a Bounded Memory (opens in a new tab)
- IEEE Control Systems LettersOpportunistic Safety Outside the Maximal Controlled Invariant Set (opens in a new tab)
Where alumni went63 listed, 29% to industry
Industry 4Academia 10
Most often to
- Bosch
- Sinovation Ventures AI research
- Toyota Research Institute
Also to
- UC Berkeley
- MIT
- Brookhaven National Laboratory
Apply to MichiganFall 2027
Michigan CSE Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USUC Berkeley
Masayoshi Tomizuka
- Manipulation & robot learning
- USMIT
Daniela Rus
- Autonomous vehicles & drones
- SGNTU
Yoonchang Sung
- Planning, control & multi-robot systems
- USUT Austin
Ufuk Topcu
- Autonomous vehicles & drones
- GBUCL
Lorenzo Jamone
- Manipulation & robot learning
- USMIT
Tomás Lozano-Pérez
- Manipulation & robot learning
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Michigancloses