2650 search results - page 55 / 530 » Simulation and Control of Reactive Systems |
SPLC
2004
13 years 10 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Introducing autonomous machines to construction areas can improve many of the occurring processes. Therefore, this paper deals with problems in the field of creating an autono...
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...