On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications.
Amrith DhananjayanKiam Tian SeowPublished in: ICINCO (1) (2012)
Keyphrases
- finite automata
- discrete event systems
- transition systems
- petri net
- discrete event
- high level
- formal specification
- deterministic automata
- model based diagnosis
- telecommunication networks
- grammatical inference
- complex systems
- state space
- cooperative
- probabilistic automata
- finite automaton
- finite state machines
- hidden markov models
- tree automata
- databases