Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems

Whittaker, Sarah-Jane; Rudie, Karen

doi:10.1007/s10626-007-0033-0

Cited by 1 publication

(1 citation statement)

References 14 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Technically related research includes works (e.g., [15] and [16]) that focus on minimizing or reducing the number of states in a supervisor automaton to achieve economy of implementation. The procedures developed might lead to transparent automata in certain cases.…”

Section: Introductionmentioning

confidence: 99%

On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata

Pham

Dhananjayan

Seow

2013

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%