Browsing by Subject "extended finite automata (EFA)"
Now showing items 1-1 of 1
-
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, ...