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

Amrith Dhananjayan, Kiam Tian Seow

Browse the full ICINCO paper archive.