Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications

Shigemasa Takai. Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications. IEEE Trans. Automat. Contr., 47(1):132-136, 2002. [doi]

Abstract

Abstract is missing.