29 search results - page 6 / 6 » On-the-Fly Controller Synthesis for Discrete and Dense-Time ... |
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...
AUTOMATICA
1999
13 years 5 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
AC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
ACSD
2009
IEEE
13 years 7 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...