Please use this identifier to cite or link to this item:
Title: Supervisory control of time-interval discrete event systems
Authors: Brandin, Bertil
Su, Rong
Lin, Liyong
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2021
Source: Brandin, B., Su, R. & Lin, L. (2021). Supervisory control of time-interval discrete event systems. IFAC-PapersOnLine, 53(4), 217-222.
Project: 2018-T1-001-245 (RG91/18)
Journal: IFAC-PapersOnLine
Abstract: 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 in supervisor synthesis. To overcome this challenge, in this work we develop a theory of supervisory control of time-interval discrete event systems, whereby intervals are used to compactly encode sequences of ticks. By introducing the concepts of free and coercive (interval) languages, we are able to describe the impact of event forcing (i.e., time preemption) in a resulting time-interval language, upon which we introduce controllability property. It turns out that coercive languages are not closed under union, in contrast to free languages. The supremal controllable coercive language for a given time-interval plant and time-interval requirement exists, which can be computed by a synthesis algorithm presented in this paper.
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2021.04.022
Rights: © 2020 The Authors. This is an open access article under the CC-BY-NC-ND license (
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:EEE Journal Articles

Files in This Item:
File Description SizeFormat 
Supervisory control of time interval discrete event systems.pdf422.27 kBAdobe PDFView/Open

Page view(s)

Updated on Jan 18, 2022


Updated on Jan 18, 2022

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.