15 citations · 61 across the 32 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 1 cited
Dynamic Hierarchical Reactive Controller Synthesis
Anne-Kathrin Schmuck, Rupak Majumdar
In the formal approach to reactive controller synthesis, a symbolic controller for a possibly hybrid system is obtained by algorithmically computing a winning strategy in a two-pla…
eess.SY2015★ 2 cited
Comparing Asynchronous -Complete Approximations and Quotient Based Abstractions
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid s…