A designer support framework for specification comprehensibility in automata-based discrete-event control design

• Main Author: Amrith Dhananjayan
• Other Authors: Seow Kiam Tian
• Format: Theses and Dissertations
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages
• Online Access: http://hdl.handle.net/10356/54801
• Institution: Nanyang Technological University

This thesis addresses the longstanding problem of comprehensibility in formal language specification for supervisory control of logical and real-time discrete-event systems (DES’s). The problem stems from control designers who often face the dilemma of not knowing if a manually prescribed specificat...