Andrew Wintenberg

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Main Contribution

Representation Language

Top Venues

IEEE Control. Syst. Lett.

Discret. Event Dyn. Syst.

Publications

Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Opacity From Observers With a Bounded Memory. IEEE Control. Syst. Lett. 7 (2023)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A Dynamic Obfuscation Framework for Security and Utility. ICCPS (2022)
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32 (2) (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
Enforcement of K-Step Opacity with Edit Functions. CDC (2021)
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130 (2021)
Andrew Wintenberg, Necmiye Ozay
Implicit Invariant Sets for High-Dimensional Switched Affine Systems. CDC (2020)