On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications

Amrith Dhananjayan, Kiam Tian Seow

2012

Abstract

In control of discrete-event systems (DES’s), the formalization of control requirements from natural language statements is essentially a human endeavor. Without automated support tools, human designers often face the uncertainty of not knowing if the control requirements formalized in the rudimentary DES formalism of automata are as intended, motivating the automata-theoretic study of specification informatics in the field of DES’s. A specification automaton that renders its linguistic description more transparent should help designers ascertain the prescribed requirement. Such transparency may be formalized in either the state space or the event space of the DES. In this paper, treating the former as fundamental, a state-transparent specification automaton is conceptualized with respect to a full specification automaton (‘full’ in the sense of having all the a priori transitional constraints of the DES embedded in it). It contains only specification relevant states called specification epochs. Each epoch denotes a “well-defined” disjoint subset of states of the full specification automaton in the same phase of execution, meaningfully aggregated such that the resultant specification automaton retains the original restrictiveness on the DES. The problem of maximizing the state-transparency of specification automata for DES’s is then theoretically formulated. Subject to human perceptive or cognition limits, we believe that such a maximally state-transparent specification automaton could be more comprehensible, showing clearly the compliant execution of the system through a minimum number of specification epochs, and should aid designers in clarifying if the requirement prescribed is the one intended.

Paper Citation

in Harvard Style

Dhananjayan A. and Seow K. (2012). On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications . In Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8565-21-1, pages 357-367. DOI: 10.5220/0003977403570367

in Bibtex Style

@conference{icinco12,
author={Amrith Dhananjayan and Kiam Tian Seow},
title={On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications},
booktitle={Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2012},
pages={357-367},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003977403570367},
isbn={978-989-8565-21-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications
SN - 978-989-8565-21-1
AU - Dhananjayan A.
AU - Seow K.
PY - 2012
SP - 357
EP - 367
DO - 10.5220/0003977403570367