1681 search results - page 75 / 337 » Formal Design of Distributed Control Systems with Lustre |
SAC
2006
ACM
13 years 10 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
ECBS
1996
IEEE
14 years 2 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
IJRR
2010
13 years 8 months ago
2010
The increasing demand for physical interaction between humans and robots has led to the development of robots that guarantee safe behavior when human contact occurs. However, atta...
MONET
2006
13 years 10 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...