引用次数
引用: 4,161
H-指数: 34
I10-指数 : 92
出版物: 207
SAT-based distributed reactive control protocol synthesis for Boolean networks
Yunus Emre Sahin , Necmiye Oza
2016 IEEE Conference on Computer Aided Control System Design (CACSD) 874 -880
2016
Temporal logic control of switched affine systems with an application in fuel balancing
Petter Nilsson , Necmiye Özay , Ufuk Topcu , Richard M Murray
2012 American Control Conference (ACC) 5302 -5309
18
2012
Optimal control for linear networked control systems with information transmission constraints
Antoine Aspeel , Kwesi Rutledge , Raphaël M Jungers , Benoit Macq
2021 60th IEEE Conference on Decision and Control (CDC) 1960 -1967
2
2021
Distributed reactive control synthesis for aircraft electric power systems via SAT solving: WiP abstract
Necmiye Ozay , Yunus Emre Sahin
international conference on cyber physical systems 23
2016
A note on some sufficient conditions for mixed monotone systems
Necmiye Ozay , Liren Yang
7
2017
Non-asymptotic Identification of LTI Systems from a Single Trajectory.
Samet Oymak , Necmiye Ozay
arXiv: Learning
178
2018
Safety Control with Preview Automaton
Necmiye Ozay , Zexiang Liu
arxiv:eess.SY
5
2019
On Abstraction-Based Controller Design With Output Feedback
Anne-Kathrin Schmuck , Necmiye Ozay , Rupak Majumdar
arxiv:eess.SY
2020
Passivity degradation in discrete control implementations: An approximate bisimulation approach
Vijay Gupta , Necmiye Ozay , Xiangru Xu
conference on decision and control 6817 -6822
3
2015
Implicit Invariant Sets for High-Dimensional Switched Affine Systems
Necmiye Ozay , Andrew Wintenberg
conference on decision and control 3291 -3297
7
2020
Efficient Safety Control Synthesis with Imperfect State Information
Necmiye Ozay , Liren Yang
conference on decision and control 874 -880
1
2020
On the Value of Preview Information For Safety Control.
Necmiye Ozay , Zexiang Liu
arxiv:eess.SY
2021
A General Language-Based Framework for Specifying and Verifying Notions of Opacity.
Stéphane Lafortune , Necmiye Ozay , Andrew Wintenberg , Matthew Blischke
arXiv: Formal Languages and Automata Theory
9
2021
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
Danny Weyns , Bradley R. Schmerl , Marin Litoiu , Alberto Leva
arXiv: Software Engineering
2021
Compositional safety rules for inter-triggering hybrid automata
Necmiye Ozay , Glen Chou , Kwesi J. Rutledge
international conference on hybrid systems computation and control
2021
Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants
Dmitry Berenson , Necmiye Ozay , Glen Chou , Craig Knuth
international conference on robotics and automation 6 ( 3) 5129 -5136
18
2021
Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection
Necmiye Ozay , Yuxiao Chen
IEEE Transactions on Control Systems and Technology 1 -12
2021
Revisiting Ho-Kalman based system identification: robustness and finite-sample analysis
Samet Oymak , Necmiye Ozay
IEEE Transactions on Automatic Control 1 -1
19
2021
Falsification of a Vision-based Automatic Landing System
Sara Shoouri , Shayan Jalili , Jiahong Xu , Isabelle Gallagher
AIAA Scitech 2021 Forum
2021
Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Petter Nilsson , Necmiye Ozay
Safe, Autonomous and Intelligent Vehicles 97 -122
2
2019