Comparing Asynchronous $l$-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…