| Authors | Title | Year | Conference |
|---|
| A. Wintenberg,
N. Ozay | Implicit Invariant Sets for High-Dimensional Switched Affine Systems | 2020 | 59th IEEE Conference on Decision and Control
(CDC) |
| A. Wintenberg,
M. Blischke,
S. Lafortune,
N. Ozay | Enforcement of K-Step Opacity with Edit Functions | 2021 | 60th IEEE Conference on Decision and Control
(CDC) |
| A. Wintenberg,
M. Blischke,
S. Lafortune,
N. Ozay | A Dynamic Obfuscation Framework for Security and Utility | 2022 | ACM/IEEE 13th International Conference on Cyber-Physical Systems
(ICCPS) |
| R. Meria-Goes,
A. Wintenberg,
S. Matsui,
S. Lafortune | MDESops: An Open-Source Software Tool for Discrete Event Systems Modeled by Automata | 2023 | 22nd World Congress of the International Federation of Automatic Control
(IFAC) |
| A. Mainhardt,
A. Wintenberg,
A. Schmuck,
S. Lafortune | Formulating Attacks with Supervisory Control | 2024 | 17th IFAC Workshop on Discrete Event Systems
(WODES) |
| Authors | Title | Year | Journal |
|---|
| A. Wintenberg,
M. Blischke,
S. Lafortune,
N. Ozay | A General Language-Based Framework for Specifying and Verifying Notions of Opacity | 2021 | Journal of Discrete Event Dynamic Systems
(JDEDS) |
| S. Mohajerani,
R. Malik,
A. Wintenberg,
S. Lafortune,
N. Ozay | Divergent Stutter Bisimulation Abstraction for Controller Synthesis in Continuous State Spaces | 2021 | Automatica |
| S. Morovati,
Y. Zhang,
S. Djouadi,
K. Tomsovic,
A. Wintenberg,
M. Olama | Robust Output Feedback Control Design for Inertia Emulation by Wind Turbine Generators | 2021 | IEEE Transactions on Power Systems |
| A. Wintenberg,
S. Lafortune,
N. Ozay | Opacity From Observers With a Bounded Memory | 2023 | IEEE Control Systems Letters
(LCSS) |
| A. Wintenberg,
S. Lafortune,
N. Ozay | Integrating Obfuscation and Control for Privacy | 2024 | Under review at Transactions on Automatic Controls
(TAC) |