Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
scientific article; zbMATH DE number 7030055
scientific article