Supervisory control of time-interval discrete event systems

• Main Authors: Brandin, Bertil, Su, Rong, Lin, Liyong
• Other Authors: School of Electrical and Electronic Engineering
• Format: Article
• Language: English
• Published: 2021
• Subjects: Engineering::Electrical and electronic engineering; Interval Automata; Event Forcing; Timed Controllability
• Online Access: https://hdl.handle.net/10356/152247
• Institution: Nanyang Technological University

Since the timed supervisory control framework was proposed, it has been adopted in many subsequent developments in various areas. Yet, the mechanism of explicitly enumerating time in terms of sequences of ticks significantly increases the number of states, causing major computational challenges i...