Abstraction-based controller synthesis is a two-step method for solving complex control problems with discrete values. It involves creating a symbolic model and then constructing a controller based on specifications, typically using LTL or CTL. This study explores two abstraction approaches, QBA and SAlCA, and compares their effectiveness in different settings, ultimately extending supervisory control theory to include deterministic pushdown automata.
