Please use this identifier to cite or link to this item:
|Title:||Automating timed specification transparency for human designer validation of real-time discrete-event control requirements||Authors:||Dhananjayan, Amrith.
Seow, Kiam Tian.
|Keywords:||DRNTU::Engineering::Computer science and engineering||Issue Date:||2012||Source:||Dhananjayan, A., & Seow, K. T. (2012). Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. 2012 IEEE International Conference on Automation Science and Engineering (CASE), pp.908-913.||Abstract:||In supervisory control of discrete-event systems, prescribing formal specifications is a non-trivial task that depends on the intuition and cognitive understanding of the designer. A human designer has no assurance if a prescribed specification is as intended, making it necessary to manually validate the specification, i.e., check whether the specification does indeed prescribe the intended requirement. This uncertainty in specification is compounded in the case of timed discrete-event systems (TDES's), where real-timing behavior also needs to be correctly specified. The fundamental control theory for TDES's requires a specification to be formalized as a timed transition graph (TTG), prescribing a timed regulation of logical behavior that restricts a TDES to some timed execution sequences. To help validate the specification, human designers need an algorithm that can automatically remodel the TTG specification, to highlight sequences essential for comprehending the specification's timed restrictions while hiding irrelevant information. By `hiding' in self-loops the associated events of all transitions deemed irrelevant to the specification, we can obtain a more comprehensible TTG, formalized by what we call a transparent TTG specification. In this paper, we propose a polynomial-time algorithm to compute TTG specifications of clear transparency.||URI:||https://hdl.handle.net/10356/101794
|DOI:||10.1109/CoASE.2012.6386316||Fulltext Permission:||none||Fulltext Availability:||No Fulltext|
|Appears in Collections:||SCSE Conference Papers|
Updated on Jul 16, 2020
Page view(s) 50377
Updated on Jun 27, 2022
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.