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...
Saved in:
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 |
Similar Items
-
Automating timed specification transparency for human designer validation of real-time discrete-event control requirements
by: Dhananjayan, Amrith., et al.
Published: (2013) -
Study on probability or number theory
by: Zhuang, Yugui
Published: (2023) -
The language preservation problem is undecidable for parametric event-recording automata
by: André, Étienne, et al.
Published: (2020) -
A Comparison of Bioinformatics Pipelines for Enrichment
Illumina Next Generation Sequencing Systems in Detecting
SARS-CoV-2 Virus Strains
by: AFIAHAYATI, AFIAHAYATI, et al.
Published: (2022) -
Modeling and verification of safety critical systems : a case study on pacemaker
by: Koo, Sheng Kiat
Published: (2014)