Back to Search
Start Over
On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata
- Source :
- IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43:139-148
- Publication Year :
- 2013
- Publisher :
- Institute of Electrical and Electronics Engineers (IEEE), 2013.
-
Abstract
- In control of discrete-event systems (DESs), specifying control requirements in automata is not a trivial task. For many DES applications, designers are often confronted with the long-standing problem of uncertainty in specification, namely, how do we know that a specification automaton does indeed model the intended control requirement? Toward a formal framework that helps mitigate this uncertainty for designer comprehensibility, in this paper, we introduce and develop a new specification concept of automaton transparency and investigate the problem of maximizing the transparency of specification automata for DESs. In a transparent specification automaton, events that are irrelevant to the specification but can occur in the system are “hidden” in self-loops. Different automata of the same specification on a DES can be associated with different sets of such irrelevant events, and any such automaton is said to be the most transparent if it has an irrelevant event set of maximal cardinality. The transparency maximization problem is theoretically formulated, and a provably correct solution algorithm is obtained. Given a specification automaton for a DES, the transparent specification automaton produced by the algorithm is a more comprehensible structure, essentially showing the precedence ordering among events from a minimal cardinality set that is relevant in modeling some requirement for the DES, and should aid designers in clarifying if the requirement prescribed is the one intended.
- Subjects :
- Finite-state machine
Theoretical computer science
Computer science
Timed automaton
Büchi automaton
Specification language
ω-automaton
Nonlinear Sciences::Cellular Automata and Lattice Gases
Computer Science Applications
Automaton
Human-Computer Interaction
Language Of Temporal Ordering Specification
Control and Systems Engineering
Deterministic automaton
Formal specification
Automata theory
Two-way deterministic finite automaton
Nondeterministic finite automaton
Electrical and Electronic Engineering
Computer Science::Formal Languages and Automata Theory
Software
Subjects
Details
- ISSN :
- 21682232 and 21682216
- Volume :
- 43
- Database :
- OpenAIRE
- Journal :
- IEEE Transactions on Systems, Man, and Cybernetics: Systems
- Accession number :
- edsair.doi...........36a4c64ed905023b97bae4336479d191