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

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

Full description

Saved in:
Bibliographic Details
Main Author: Amrith Dhananjayan
Other Authors: Seow Kiam Tian
Format: Theses and Dissertations
Language:English
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/10356/54801
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
Be the first to leave a comment!
You must be logged in first