Publications

Preprints:

K. Hsu, R. Majumdar, K. Mallik, A.-K. Schmuck*. Lazy Abstraction-Based Control for Reachability.  2018. (under review)  ArXiv Preprint

Journal Articles:

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:

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

R. Majumdar, N. Piterman, A.-K. Schmuck*. Environmentally-friendly GR(1) Synthesis. 2019. TACAS’19. (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. To appear at ICCPS 2019.

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

* Authors ordered by last name due to equal contribution.                                              

* Authors ordered by last name due to the convention in computer science.