×
Edit Profile (opens in new tab)

Ozay, Necmiye

Co-Author Distance
Author ID: ozay.necmiye Recent zbMATH articles by "Ozay, Necmiye"
Published as: Ozay, Necmiye; Ozay, N.
Documents Indexed: 32 Publications since 2007
1 Contribution as Editor
Co-Authors: 38 Co-Authors with 32 Joint Publications
704 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
6 Sznaier, Mario
5 Lagoa, Constantino M.
5 Liu, Jun
4 Nilsson, Petter
3 Rutledge, Kwesi J.
2 Aréchiga, Nikos
2 Camps, Octavia I.
2 Chou, Glen
2 DeCastro, Jonathan A.
2 Harirchi, Farshad
2 Karagulle, Ruya
2 Lafortune, Stéphane
2 Murray, Richard M.
2 Tabuada, Paulo
2 Topcu, Ufuk
2 Wintenberg, Andrew
2 Yang, Liren
2 Yong, Sze Zheng
1 Anevlavis, Tzanis
1 Berenson, Dmitry
1 Best, Andrew
1 Blischke, Matthew
1 Brooks, Dana H.
1 Ding, Tao
1 Feng, Chao
1 Knuth, Craig
1 Liu, Zexiang
1 Majumdar, Rupak
1 Malik, Robi
1 Mickelin, Oscar
1 Mohajerani, Sahar
1 Oymak, Samet
1 Raz, Daphna
1 Sahin, Yunus Emre
1 Schmuck, Anne-Kathrin
1 Tadmor, Gilead
1 Umberger, Brian
1 Xu, Xiangru

Serials

7 IEEE Transactions on Automatic Control
5 Automatica
3 Discrete Event Dynamic Systems
2 Nonlinear Analysis. Hybrid Systems
1 International Journal of Robust and Nonlinear Control
all top 5

Fields

30 Systems theory; control (93-XX)
13 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
2 Operations research, mathematical programming (90-XX)
1 General and overarching topics; collections (00-XX)
1 Ordinary differential equations (34-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

20 Publications have been cited 142 times in 113 Documents Cited by ▼ Year ▼
Synthesis of reactive switching protocols from temporal logic specifications. Zbl 1369.93307
Liu, Jun; Ozay, Necmiye; Topcu, Ufuk; Murray, Richard M.
24
2013
A sparsification approach to set membership identification of switched affine systems. Zbl 1369.93163
Ozay, Necmiye; Sznaier, Mario; Lagoa, Constantino M.; Camps, Octavia I.
24
2012
Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach. Zbl 1400.93129
Harirchi, Farshad; Ozay, Necmiye
13
2018
Finite abstractions with robustness margins for temporal logic-based control synthesis. Zbl 1344.93046
Liu, Jun; Ozay, Necmiye
12
2016
On synthesizing robust discrete controllers under modeling uncertainty. Zbl 1362.68190
Topcu, Ufuk; Ozay, Necmiye; Liu, Jun; Murray, Richard M.
11
2012
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. Zbl 1362.93058
Liu, Jun; Ozay, Necmiye
10
2014
Set membership identification of switched linear systems with known number of subsystems. Zbl 1309.93048
Ozay, Necmiye; Lagoa, Constantino; Sznaier, Mario
9
2015
Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050
Nilsson, Petter; Ozay, Necmiye; Liu, Jun
9
2017
Convex certificates for model (in)validation of switched affine systems with unknown switches. Zbl 1360.93080
Ozay, Necmiye; Sznaier, Mario; Lagoa, Constantino
8
2014
Revisiting Ho-Kalman-based system identification: robustness and finite-sample analysis. Zbl 1537.93159
Oymak, Samet; Ozay, Necmiye
4
2022
Finite horizon constrained control and bounded-error estimation in the presence of missing data. Zbl 1441.93083
Rutledge, Kwesi; Yong, Sze Zheng; Ozay, Necmiye
3
2020
On abstraction-based controller design with output feedback. Zbl 07300856
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin
3
2020
Passivity-based analysis of sampled and quantized control implementations. Zbl 1451.93283
Xu, Xiangru; Ozay, Necmiye; Gupta, Vijay
3
2020
On sufficient conditions for mixed monotonicity. Zbl 1482.34103
Yang, Liren; Mickelin, Oscar; Ozay, Necmiye
2
2019
Control synthesis for large collections of systems with mode-counting constraints. Zbl 1364.93265
Nilsson, Petter; Ozay, Necmiye
2
2016
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. Zbl 07300873
Ozay, Necmiye
1
2020
A general language-based framework for specifying and verifying notions of opacity. Zbl 1492.93118
Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye
1
2022
The role of dynamics in extracting information sparsely encoded in high dimensional data streams. Zbl 1220.68055
Sznaier, Mario; Camps, Octavia; Ozay, Necmiye; Ding, Tao; Tadmor, Gilead; Brooks, Dana
1
2010
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Zbl 1478.93187
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye
1
2021
Control synthesis for permutation-symmetric high-dimensional systems with counting constraints. Zbl 1533.93197
Nilsson, Petter; Ozay, Necmiye
1
2020
Revisiting Ho-Kalman-based system identification: robustness and finite-sample analysis. Zbl 1537.93159
Oymak, Samet; Ozay, Necmiye
4
2022
A general language-based framework for specifying and verifying notions of opacity. Zbl 1492.93118
Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye
1
2022
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Zbl 1478.93187
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye
1
2021
Finite horizon constrained control and bounded-error estimation in the presence of missing data. Zbl 1441.93083
Rutledge, Kwesi; Yong, Sze Zheng; Ozay, Necmiye
3
2020
On abstraction-based controller design with output feedback. Zbl 07300856
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin
3
2020
Passivity-based analysis of sampled and quantized control implementations. Zbl 1451.93283
Xu, Xiangru; Ozay, Necmiye; Gupta, Vijay
3
2020
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. Zbl 07300873
Ozay, Necmiye
1
2020
Control synthesis for permutation-symmetric high-dimensional systems with counting constraints. Zbl 1533.93197
Nilsson, Petter; Ozay, Necmiye
1
2020
On sufficient conditions for mixed monotonicity. Zbl 1482.34103
Yang, Liren; Mickelin, Oscar; Ozay, Necmiye
2
2019
Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach. Zbl 1400.93129
Harirchi, Farshad; Ozay, Necmiye
13
2018
Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050
Nilsson, Petter; Ozay, Necmiye; Liu, Jun
9
2017
Finite abstractions with robustness margins for temporal logic-based control synthesis. Zbl 1344.93046
Liu, Jun; Ozay, Necmiye
12
2016
Control synthesis for large collections of systems with mode-counting constraints. Zbl 1364.93265
Nilsson, Petter; Ozay, Necmiye
2
2016
Set membership identification of switched linear systems with known number of subsystems. Zbl 1309.93048
Ozay, Necmiye; Lagoa, Constantino; Sznaier, Mario
9
2015
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. Zbl 1362.93058
Liu, Jun; Ozay, Necmiye
10
2014
Convex certificates for model (in)validation of switched affine systems with unknown switches. Zbl 1360.93080
Ozay, Necmiye; Sznaier, Mario; Lagoa, Constantino
8
2014
Synthesis of reactive switching protocols from temporal logic specifications. Zbl 1369.93307
Liu, Jun; Ozay, Necmiye; Topcu, Ufuk; Murray, Richard M.
24
2013
A sparsification approach to set membership identification of switched affine systems. Zbl 1369.93163
Ozay, Necmiye; Sznaier, Mario; Lagoa, Constantino M.; Camps, Octavia I.
24
2012
On synthesizing robust discrete controllers under modeling uncertainty. Zbl 1362.68190
Topcu, Ufuk; Ozay, Necmiye; Liu, Jun; Murray, Richard M.
11
2012
The role of dynamics in extracting information sparsely encoded in high dimensional data streams. Zbl 1220.68055
Sznaier, Mario; Camps, Octavia; Ozay, Necmiye; Ding, Tao; Tadmor, Gilead; Brooks, Dana
1
2010
all cited Publications top 5 cited Publications
all top 5

Cited by 263 Authors

10 Ozay, Necmiye
7 Bako, Laurent
6 Liu, Jun
5 Schmuck, Anne-Kathrin
4 Coogan, Samuel
4 Lauer, Fabien
4 Majumdar, Rupak
4 Mallik, Kaushik
3 Abate, Alessandro
3 Arcak, Murat
3 Belta, Calin A.
3 Bianchi, Federico
3 Neider, Daniel
3 Piga, Dario
3 Piroddi, Luigi
3 Prandini, Maria
3 Rungger, Matthias
3 Schürmann, Bastian
3 Tabuada, Paulo
3 Yong, Sze Zheng
3 Zimmermann, Martin
2 Akçay, Hüseyin
2 Althoff, Matthias
2 Ames, Aaron D.
2 Bemporad, Alberto
2 Bencherki, Fethi
2 Breschi, Valentina
2 Černá, Ivana
2 Chatterjee, Krishnendu
2 Chmelík, Martin
2 Girard, Antoine
2 Grizzle, Jessy W.
2 Harirchi, Farshad
2 Kim, Eunhee
2 Kolathaya, Shishir
2 Křetínský, Jan
2 Kupferman, Orna
2 Kwon, YoungMin
2 Lafortune, Stéphane
2 Lagoa, Constantino M.
2 Lecoeuche, Stéphane
2 Ma, Wen-Loong
2 Malik, Robi
2 Mohajerani, Sahar
2 Nilsson, Petter
2 Ohlsson, Henrik
2 Rutledge, Kwesi J.
2 Soudjani, Sadegh
2 Svoreňová, Mária
2 Sznaier, Mario
2 Türkay, Semiha
2 Weinert, Alexander
2 Zhu, Fanglai
1 Abate, Matthew
1 Alexandre dit Sandretto, Julien
1 Almagor, Shaull
1 Amaldi, Edoardo
1 Apaza-Perez, W. Alejandro
1 Bai, Yunjun
1 Bakshi, Ainesh
1 Balduccini, Marcello
1 Balkan, Ayça
1 Balun, Jiří
1 Beneš, Nikola
1 Bessa, Iury
1 Bloch, Gérard
1 Bloem, Roderick
1 Boukharouba, Khaled
1 Bouyer, Patricia
1 Boyd, Stephen Poythress
1 Brim, Luboš
1 Cantoni, Michael
1 Cao, Zhengbao
1 Casini, Marco
1 Chae, Minji
1 Chapoutot, Alexandre
1 Chen, Yunjun
1 Chockler, Hana
1 Chou, Glen
1 Chun, Semin
1 Cohen, Max H.
1 Combastel, Christophe
1 Coniglio, Stefano
1 Cordeiro, Lucas C.
1 Dabbene, Fabrizio
1 Dai, Tianyu
1 David, Cristina
1 Davoren, Jennifer M.
1 DeCastro, Jonathan A.
1 Devonport, Alex
1 Diggavi, Suhas N.
1 Dimarogonas, Dimos V.
1 Dobra, Petru
1 Dong, Jingwei
1 Dražanová, Jana
1 Duan, Jinqiao
1 Dutreix, Maxence
1 Duviella, Eric
1 Ebrahimi, Masoud
1 Ehlers, Rüdiger
...and 163 more Authors
all top 5

Cited in 25 Serials

22 Automatica
15 Nonlinear Analysis. Hybrid Systems
7 International Journal of Robust and Nonlinear Control
6 Discrete Event Dynamic Systems
5 International Journal of Adaptive Control and Signal Processing
3 Acta Informatica
3 Journal of the Franklin Institute
2 Applied Mathematics and Computation
2 Information Sciences
2 Formal Methods in System Design
2 Journal of Machine Learning Research (JMLR)
2 Asian Journal of Control
1 Theoretical Computer Science
1 Systems & Control Letters
1 Computers & Operations Research
1 Neural Networks
1 Journal of Nonlinear Science
1 Cybernetics and Systems Analysis
1 Complexity
1 Mathematical Problems in Engineering
1 Chaos
1 International Journal of Applied Mathematics and Computer Science
1 Theory and Practice of Logic Programming
1 SIAM Journal on Applied Dynamical Systems
1 ACM Transactions on Computational Logic
all top 5

Cited in 14 Fields

95 Systems theory; control (93-XX)
39 Computer science (68-XX)
12 Operations research, mathematical programming (90-XX)
10 Mathematical logic and foundations (03-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Statistics (62-XX)
3 Biology and other natural sciences (92-XX)
2 Ordinary differential equations (34-XX)
2 Numerical analysis (65-XX)
1 Real functions (26-XX)
1 Partial differential equations (35-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year