Necmiye Ozay

Available identifiers

zbMath Open ozay.necmiyeMaRDI QIDQ313325

List of research outcomes

Publication	Date of Publication	Type
Controlled invariant sets: implicit closed-form representations and applications	2024-08-19	Paper
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization	2024-02-21	Paper
Compositional safety rules for inter-triggering hybrid automata	2024-02-21	Paper
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand	2024-02-21	Paper
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles	2024-02-21	Paper
From drinking philosophers to asynchronous path-following robots	2023-06-30	Paper
Classification of driving behaviors using STL formulas: a comparative study	2023-01-18	Paper
Revisiting Ho–Kalman-Based System Identification: Robustness and Finite-Sample Analysis	2022-07-28	Paper
A general language-based framework for specifying and verifying notions of opacity	2022-06-13	Paper
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications	2021-11-19	Paper
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations	2021-09-20	Paper
On abstraction-based controller design with output feedback	2021-01-25	Paper
Inter-triggering hybrid automata	2021-01-25	Paper
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints	2020-10-07	Paper
Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation	2020-08-20	Paper
Finite horizon constrained control and bounded-error estimation in the presence of missing data	2020-05-07	Paper
On Sufficient Conditions for Mixed Monotonicity	2020-01-28	Paper
Equalized recovery: Weakening invariance for control and estimation	2019-10-22	Paper
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems	2019-10-22	Paper
Safety control with preview automaton	2019-10-22	Paper
Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach	2018-10-17	Paper
Augmented finite transition systems as abstractions for control synthesis	2018-01-31	Paper
A Sparsification Approach to Set Membership Identification of Switched Affine Systems	2017-09-08	Paper
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications	2017-09-08	Paper
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems	2017-07-11	Paper
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints	2017-05-19	Paper
On synthesizing robust discrete controllers under modeling uncertainty	2017-05-16	Paper
Abstraction, discretization, and robustness in temporal logic control of dynamical systems	2017-05-16	Paper
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches	2017-05-16	Paper
Finite abstractions with robustness margins for temporal logic-based control synthesis	2016-09-09	Paper
Set membership identification of switched linear systems with known number of subsystems	2015-04-28	Paper
Identification and model (in)validation of switched ARX systems: A moment-based approach	2014-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3002949	2011-05-24	Paper
Risk‐adjusted output feedback receding horizon control of constrained linear parameter varying systems	2008-03-18	Paper

Research outcomes over time

This page was built for person: Necmiye Ozay