Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
Bestätigte E-Mail-Adresse bei mpi-sws.org
Titel
Zitiert von
Zitiert von
Jahr
Multi-layered abstraction-based controller synthesis for continuous-time systems
K Hsu, R Majumdar, K Mallik, AK Schmuck
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
342018
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
272018
Lazy abstraction-based control for safety specifications
K Hsu, R Majumdar, K Mallik, AK Schmuck
2018 IEEE Conference on Decision and Control (CDC), 4902-4907, 2018
132018
Asynchronous l-complete approximations
AK Schmuck, J Raisch
Systems & Control Letters 73, 67-75, 2014
132014
Distributed Kalman filter algorithms for self-localization of mobile devices
AK Hess, A Rantzer
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
102010
On the relation between reactive synthesis and supervisory control of non-terminating processes
AK Schmuck, T Moor, R Majumdar
Discrete Event Dynamic Systems 30 (1), 81-124, 2020
92020
Compositional construction of finite state abstractions for stochastic control systems
K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 550-557, 2017
92017
Compositional abstraction-based controller synthesis for continuous-time systems
K Mallik, AK Schmuck, S Soudjani, R Majumdar
arXiv preprint arXiv:1612.08515, 2016
92016
Comparing asynchronous l-complete approximations and quotient based abstractions
AK Schmuck, P Tabuada, J Raisch
2015 54th IEEE Conference on Decision and Control (CDC), 6823-6829, 2015
92015
PGCD: robot programming and verification with geometry, concurrency, and dynamics
GB Banusić, R Majumdar, M Pirron, AK Schmuck, D Zufferey
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
72019
Compositional synthesis of finite state abstractions
R Majumdar, K Mallik, AK Schmuck
arXiv preprint arXiv:1612.08515, 2016
72016
Extending supervisory controller synthesis to deterministic pushdown automata—enforcing controllability least restrictively
AK Schmuck, S Schneider, J Raisch, U Nestmann
IFAC Proceedings Volumes 47 (2), 286-293, 2014
72014
Environmentally-friendly GR (1) synthesis
R Majumdar, N Piterman, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2019
62019
On the relation between reactive synthesis and supervisory control of input/output behaviours
AK Schmuck, T Moor, R Majumdar
IFAC-PapersOnLine 51 (7), 31-38, 2018
62018
Reducing an operational supervisory control problem by decomposition for deterministic pushdown automata
S Schneider, AK Schmuck, U Nestmann, J Raisch
IFAC Proceedings Volumes 47 (2), 214-221, 2014
62014
Lazy abstraction-based control for reachability
K Hsu, R Majumdar, K Mallik, A Schmuck
CoRR abs/1804.02722, 2018
52018
Supervisory control synthesis for deterministic context free specification languages
AK Schmuck, S Schneider, J Raisch, U Nestmann
Discrete Event Dynamic Systems 26 (1), 5-32, 2016
52016
On abstraction-based controller design with output feedback
R Majumdar, N Ozay, AK Schmuck
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
42020
Incremental abstraction computation for symbolic controller synthesis in a changing environment
Y Bai, K Mallik, AK Schmuck, D Zufferey, R Majumdar
2019 IEEE 58th Conference on Decision and Control (CDC), 6261-6268, 2019
42019
Simulation and bisimulation over multiple time scales in a behavioral setting
AK Schmuck, J Raisch
22nd Mediterranean Conference on Control and Automation, 517-524, 2014
42014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20