Publications

A full publication list is available at dblp and google scholar.

Some of my more recent papers list all authors in alphabetic order (indicated by a pink *). If you have ever wondered why one would do this, see this very brief essay discussing this issue.

Recent Work:

R. Majumdar, A.-K. Schmuck*. Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. 2020. (under review, preprint)

R. Majumdar, K. Mallik, A.-K. Schmuck, D. Zufferey*. Assume-Guarantee Distributed Synthesis. 2020. (to appear at EMSOFT’20, preprint)

S. Samuel, K. Mallik, A.-K. Schmuck, D. Neider. Resilient Abstraction-Based Controller Design. 2020. (to appear at CDC’20, preprint, Teaser-Video of this poster presented at HSCC’20)

Journal Articles:

A.-K. Schmuck, T. Moor, R. Majumdar. On the Relation between Reactive Synthesis and Supervisory Control of Non-Terminating Processes. Journal on Discrete Event Dynamic Systems, 2019. pdf

K. Mallik, A.-K. Schmuck, S. Soudjani, R. Majumdar. Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems. Transactions on Automatic Control, 2019. PDF

A.-K. Schmuck, R. Majumdar, A. Leva. Dynamic Hierarchical Reactive Controller Synthesis Journal on Discrete Event Dynamic Systems, 2017. PDF

A.-K. Schmuck, S. Schneider, J. Raisch, U. Nestmann. Supervisory Control Synthesis for Deterministic Context Free Specification Languages – Enforcing Controllability Least Restrictively. Journal on Discrete Event Dynamic Systems, 26(1), pages 5-32, 2015. DOI

A.-K. Schmuck, J. Raisch. Asynchronous l-Complete Approximations. Systems and Control Letters, pages 67-75, 2014. DOI

Conference Articles:

A.-K. Schmuck, T. Moor, K. W. Schmidt. A Reactive Synthesis Approach to Supervisory Control of Terminating Processes. 2020. IFAC world congress 2020.

T. Moor, K. W. Schmidt, A.-K. Schmuck. An Efficient Algorithm for the Computation of the Controllability Prefix of ∗-Languages. 2020. IFAC world congress 2020.

R. Majumdar, N.Ozay, A.-K. Schmuck*. On Abstraction-Based Controller Design With Output Feedback. 2020. HSCC’20. PDF, full version, talk (screencast video)

K. Hsu, R. Majumdar, K. Mallik, A.-K. Schmuck*. Lazy Abstraction-Based Controller Synthesis. 2019. ATVA’19. (DOI)

Y. Bai, K. Mallik, A.-K. Schmuck, D. Zufferey, R. Majumdar. Incremental Synthesis of Symbolic Controllers in a Changing Environment. 2019. CDC’19. (PDF)

R. Majumdar, N. Piterman, A.-K. Schmuck*. Environmentally-friendly GR(1) Synthesis. 2019. TACAS’19. (DOI) (Full Version)

G. B. Banus̆ić, R. Majumdar, M. Pirron, A.-K. Schmuck, and D. Zufferey*. PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics. 2019. ICCPS’19. (DOI)

K. Hsu, R. Majumdar, K. Mallik, A.-K. Schmuck*. Lazy Abstraction-Based Control for Safety Specifications. 2018. CDC’18. ArXiv Preprint

A.-K. Schmuck, T. Moor, R. Majumdar. On the Relation between Reactive Synthesis and Supervisory Control for Input/Output Behaviours.  WODES’18, Italy, 2018. pdf, talk (screencast video)

K. Hsu, R. Majumdar, K. Mallik, A.-K. Schmuck*. Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. HSCC’18, Porto, Portugal, 2018. pdf

K. Mallik, S. Soudjani, A.-K. Schmuck, R. Majumdar. Compositional Construction of Finite State Abstractions for Stochastic Control Systems.  CDC’17, Melbourne, Australia, 2017. DOI

K. Mallik, A.-K. Schmuck. Supervisory controller synthesis for decomposable deterministic context free specification languages. WODES’16, 2016. DOI

A.-K. Schmuck, P. Tabuada, J. Raisch. Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. CDC’15, Osaka, Japan, 2015. (extended version: ArXiv)

A.-K. Schmuck, J. Raisch. Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations. 53rd CDC’14, LA, USA, 2014. DOI

A.-K. Schmuck, J. Raisch. Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting. In Proceedings of the 22nd Mediterranean Conference on Control and Automation, Palermo, Italy, pages 517–524, 2014. DOI

A.-K. Schmuck, S. Schneider, J. Raisch, U. Nestmann. Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata —Enforcing Controllability Least Restrictively. In WODES’14, pages 286–293, 2014. DOI     (Best Student Paper Award Finalist.)

S. Schneider, A.-K. Schmuck, U. Nestmann, J. Raisch. Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES’14, pages 214–221, 2014. DOI

A.-K. Hess, A. Rantzer. Distributed Kalman Filter algorithms for self-localization of mobile devices. In HSCC’10, pages 191–200, 2010. ACM. DOI

Thesis:

A.-K. Schmuck. Building Bridges in Abstraction-Based Controller Synthesis — Advancing, Combining, and Comparing Methods from Computer Science and Control. 2015. PhD Thesis. Technische Universität Berlin. pdf, screencast (Recognition award for dissertations at the Universities of Berlin (Tiburtius-Preis 2016))

Technical Reports:

A.-K. Schmuck, T. Moor, R. Majumdar. On the Relation between Reactive Synthesis and Supervisory Control of Non-Terminating Processes. 2017. Technical Report. MPI-SWS. pdf

S. Schneider, A.-K. Schmuck. Controller Synthesis for Deterministic Context Free Specification Languages. 2013. Technical Report. Technische Universität Berlin. pdf