| 1 |
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
Nilsson P, Ozay N
IEEE Transactions on Automatic Control, 65(2), 461, 2020 |
| 2 |
On Sufficient Conditions for Mixed Monotonicity
Yang LR, Mickelin O, Ozay N
IEEE Transactions on Automatic Control, 64(12), 5080, 2019 |
| 3 |
Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach
Harirchi F, Ozay N
Automatica, 93, 476, 2018 |
| 4 |
Set membership identification of switched linear systems with known number of subsystems
Ozay N, Lagoa C, Sznaier M
Automatica, 51, 180, 2015 |
| 5 |
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches
Ozay N, Sznaier M, Lagoa C
IEEE Transactions on Automatic Control, 59(11), 2921, 2014 |
| 6 |
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Liu J, Ozay N, Topcu U, Murray RM
IEEE Transactions on Automatic Control, 58(7), 1771, 2013 |
| 7 |
A Sparsification Approach to Set Membership Identification of Switched Affine Systems
Ozay N, Sznaier M, Lagoa CM, Camps OI
IEEE Transactions on Automatic Control, 57(3), 634, 2012 |
