29 search results - page 6 / 6 » On-the-Fly Controller Synthesis for Discrete and Dense-Time ... |
75
Voted
CORR
2010
Springer
14 years 10 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...
70
Voted
AUTOMATICA
1999
14 years 11 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...
101
click to vote
AC
2003
Springer
15 years 4 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...
80
Voted
ACSD
2009
IEEE
15 years 2 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...