Building Bridges in Abstraction-Based Controller Synthesis. Advancing, Combining, and Comparing Methods from Computer Science and Control

Más información sobre el libro

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.