On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation

Hangju Cho, Steven I. Marcus. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. MCSS, 2(1):47-69, 1989. [doi]

Abstract

Abstract is missing.