1681 search results - page 52 / 337 » Formal Design of Distributed Control Systems with Lustre |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This demonstration proposal is for a distributed traffic intersection traffic-light control called GreenWave. The solution couples camera sensors with a novel collaborative multia...
TCAD
2008
13 years 7 months ago
2008
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the con...
IJRR
2008
13 years 7 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
A key challenge for distributed real-time and embedded (DRE) middleware is maintaining both system reliability and desired real-time performance in unpredictable environments wher...