Necmiye Ozay

Available identifiers

zbMath Open ozay.necmiyeMaRDI QIDQ313325

List of research outcomes

Publication	Date of Publication	Type
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
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches	2017-05-16	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Necmiye Ozay