Automating timed specification transparency for human designer validation of real-time discrete-event control requirements

• Main Authors: Dhananjayan, Amrith., Seow, Kiam Tian.
• Other Authors: School of Computer Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/101794; http://hdl.handle.net/10220/16356
• Institution: Nanyang Technological University

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 validat...