关注
Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
在 mpi-sws.org 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
682018
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
64*2018
On abstraction-based controller design with output feedback
R Majumdar, N Ozay, AK Schmuck
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
322020
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
262020
Environmentally-friendly GR (1) synthesis
R Majumdar, N Piterman, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2019
232019
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
212018
Assume–guarantee distributed synthesis
R Majumdar, K Mallik, AK Schmuck, D Zufferey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
202020
Symbolic qualitative control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
IFAC-PapersOnLine 54 (5), 127-132, 2021
192021
Asynchronous l-complete approximations
AK Schmuck, J Raisch
Systems & Control Letters 73, 67-75, 2014
192014
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
172015
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
162019
Resilient abstraction-based controller design
S Samuel, K Mallik, AK Schmuck, D Neider
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
152020
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
142017
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
132010
Symbolic control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
Nonlinear Analysis: Hybrid Systems 51, 101430, 2024
11*2024
Fast symbolic algorithms for omega-regular games under strong transition fairness
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
TheoretiCS 2, 2023
112023
A direct symbolic algorithm for solving stochastic Rabin games
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
International Conference on Tools and Algorithms for the Construction and …, 2022
102022
Computing adequately permissive assumptions for synthesis
A Anand, K Mallik, SP Nayak, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2023
82023
Supervisory controller synthesis for nonterminating processes is an obliging game
R Majumdar, AK Schmuck
IEEE Transactions on Automatic Control 68 (1), 385-392, 2022
82022
Supervisory control synthesis for deterministic context free specification languages: Enforcing controllability least restrictively
AK Schmuck, S Schneider, J Raisch, U Nestmann
Discrete Event Dynamic Systems 26, 5-32, 2016
82016
系统目前无法执行此操作,请稍后再试。
文章 1–20