Peer-Reviewed Conference Papers

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
R. Meria-Goes, A. Wintenberg, S. Matsui, S. Lafortune MDESops: An Open-Source Software Tool for Discrete Event Systems Modeled by Automata 2023 IFAC World Congress (Under review)

Journal Papers

Authtors Title Year Conference
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
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