Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Jan Komenda, Tomás Masopust, Jan H. van Schuppen. Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Systems & Control Letters, 60(7):492-502, 2011. [doi]

Abstract

Abstract is missing.