direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Logo der TU Berlin

Inhalt des Dokuments

Anne-Kathrin Schmuck

From Fachgebiet Regelungssysteme TU Berlin

Jump to: navigation, search

I have moved!

I am now working with Rupak Majumdar at the MPI for Software Systems in Kaiserslautern.
Please find my new website here.

Address

Dipl.-Ing. Anne-Kathrin Schmuck

Technische Universität Berlin
Fachgebiet Regelungssysteme
Sekretariat EN11
Einsteinufer 17
D-10587 Berlin
Germany

Office: EN 239 (Elektrotechnik Neubau)
Phone: +49 (0)30 314-24094
Fax: +49 (0)30 314-21137
Email: A.Schmuck@control.TU-berlin.de

Teaching


Brief Biography

I studied Engineering Cybernetics at the OvGU Magdeburg in Germany from 2004 to 2009. During my studies I’ve spent one year at UBC in Vancouver, Canada and six month at LTH in Lund, Sweden. I’ve also done an Internship with Bosch in Stuttgart, Germany. Since March 2010 I’m working as a research assistant in the Control Systems Group at the TU Berlin. In March and December 2014 I have been a visiting PhD student at the Cyber-Physical Systems Laboratory at UCLA working with Paulo Tabuada.

Research

My main research interest is in Abstraction-based Controller Synthesis, Supervisory Control Theory and Hierarchical Control Theory.

Publications

Journal Articles

A.-K. Schmuck, J. Raisch. Asynchronous l-Complete Approximations. Systems and Control Letters, pages 67-75, 2014.
A.-K. Schmuck, S. Schneider, J. Raisch, U. Nestmann. Supervisory Control Synthesis for Deterministic Context Free Specification Languages – Enforcing Controllability Least Restrictively. Discrete Event Dynamic Systems, 2015. (under review).


Conference Articles

A.-K. Schmuck, J. Raisch. Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations. 2014. Accepted for presentation at the 53rd Conference on Decision and Control, Los Angeles, USA.
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.
A.-K. Schmuck, S. Schneider, J. Raisch, U. Nestmann. Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata —Enforcing Controllability Least Restrictively. In Proceedings of the 12th IFAC- IEEE International Workshop on Discrete Event Systems, pages 286–293, 2014. 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. In Proceedings of the 12th IFAC- IEEE International Workshop on Discrete Event Systems, pages 214–221, 2014.
A.-K. Hess, A. Rantzer. Distributed Kalman Filter algorithms for self-localization of mobile devices. In Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, pages 191–200, 2010. ACM.

Technical Reports

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

Supervised Masterstudents

Kai Biebrach. Mehrgrößenregelung eines hydrodynamischen Prüffeldes. 2011.

Stefan Jacobi. Controller Synthesis for Discrete Event Systems in the Setting of a Regular Plant and a Deterministic Context-Free Specification in Libfaudes. 2013.
Xiaoying Bai. Translation of the construction of approximately similar or bisimilar symbolic models into the framework of behavioural systems theory. 2013.
Basel Sheik Khalil. Prototype Development of a Smart Packstation System. 2013.
Hendrik Himstedt. Controller Synthesis for Deterministic Context Free ω-Language Specifications. 2014.
Kaushik Mallik. Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems using Deterministic Context Free Specification Languages. 2015.


Recommend this page