28 search results - page 1 / 6 » Supervisory control of modular systems with global specifica... |
AUTOMATICA
2008
13 years 5 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
AUTOMATICA
2000
13 years 4 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
TASE
2008
IEEE
13 years 4 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
LCTRTS
2010
Springer
13 years 11 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...