Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/87454
Title: A hierarchical consistency framework for real-time supervisory control
Authors: Ngo, Quang Ha
Seow, Kiam Tian
Keywords: DRNTU::Engineering::Computer science and engineering
Hierarchical Control
Timed Discrete-event Systems
Issue Date: 2018
Source: Ngo, Q. H., & Seow, K. T. (2018). A hierarchical consistency framework for real-time supervisory control. Discrete Event Dynamic Systems, 28(3), 375-426. doi:10.1007/s10626-018-0267-z
Series/Report no.: Discrete Event Dynamic Systems
Abstract: The control framework of hierarchical consistency of timed discrete-event systems (TDES’s) is investigated in a standard two-level hierarchy. Real-time concepts and the associated theoretical results supporting consistent TDES hierarchies are developed. Where the given low-level system model of the hierarchy possesses time fidelity, a consistency version that assures time fidelity of the high-level system model is also developed. Importantly, this version furnishes a sound real-time high-level specification design foundation for hierarchical control. An example illustrates the new time-fidelity control foundation. Given that in general, a given two-level TDES hierarchy is not hierarchically consistent between the levels, the structural existence and synthesis of the sufficiency structure for hierarchical consistency is investigated. Both the timed versions of hierarchical consistency - without and with output-time fidelity guarantee - are successively treated. The abstraction or output-system refinement procedures for the version without output-time fidelity guarantee are first developed for a class of TDES hierarchies under mild output-system design restrictions. The abstraction methods for the version with output-time fidelity are then developed for a subclass ‘linearly’ structured under further output-system design restrictions. A detailed example explains and illustrates the use of an overarching method developed.
URI: https://hdl.handle.net/10356/87454
http://hdl.handle.net/10220/48413
ISSN: 0924-6703
DOI: 10.1007/s10626-018-0267-z
Rights: © 2018 Springer Science+Business Media, LLC, part of Springer Nature. All rights reserved.This is a post-peer-review, pre-copyedit version of an article published in Discrete Event Dynamic Systems. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10626-018-0267-z.
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Journal Articles

Files in This Item:
File Description SizeFormat 
A hierarchical consistency framework for real-time supervisory control.pdf1.13 MBAdobe PDFThumbnail
View/Open

Google ScholarTM

Check

Altmetric


Plumx

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