Title: Synthesis and control of discrete event systems
Subjects: Discrete-time systems, System analysis