| 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)
|