Browsing by Author "Akesson, Knut"
Now showing items 1-3 of 3
-
Compositional synthesis of maximally permissive supervisors using supervision equivalence
(Springer Netherlands, 2007)This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large ... -
Nonblocking and safe control of discrete-event systems modeled as extended finite automata
(IEEE, 2011)Extended Finite Automata (EFA), i.e., finite automata extended with variables, are a suitable modeling framework for discrete event systems owing to their compactness, resulting from the use of variables. In this paper, ... -
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems
(IEEE, 2006)An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together ...
