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

Amrith Dhananjayan, Kiam Tian Seow. On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications. In Jean-Louis Ferrier, Alain Bernard, Oleg Yu. Gusikhin, Kurosh Madani, editors, ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28 - 31 July, 2012. pages 357-367, SciTePress, 2012.

Abstract

Abstract is missing.