3 search results - page 1 / 1 » Supervisor synthesis for discrete event systems with arbitra... |
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
DEDS
2007
13 years 4 months ago
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 p...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...