Deadlock-free output feedback controller design based on approximately abstracted observers
scientific article; zbMATH DE number 7032447
scientific article