Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems
Jung–Min Yang, Thomas Moor, Jörg Raisch · IFAC-PapersOnLine · 2018
l-complete approximation is a discrete abstraction method for a specific class of hybrid control problems involving purely discrete specifications. It allows for global refinement if the subsequent synthesis of supervisory control should fail for the currently selected abstraction level. In this paper, we present a methodology of local refinement for l-complete approximations. If the strongest l-complete approximation of a given hybrid system does not guarantee the existence of a suitable supervisor for a given specification, the proposed scheme refines the abstract model only in a local set of states that violate a controllability condition. Compared to the standard unfocused and global refinement procedure, this may significantly reduce the computational burden both in the abstraction step and the subsequent controller synthesis step.