127 search results - page 16 / 26 » Decentralized Bisimulation for Multiagent Systems |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Although a remarkably high degree of automation has been reached in production and intra-logistics nowadays, human labor is still used for transportation using handcarts and forkl...
ACAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents in-formation flocking, a novel information visualization technique that extends the original information flocking concept with dynamic and data-driven visual fo...
MAAMAW
1994
Springer
13 years 11 months ago
1994
Springer
Advanced manufacturing control still remains an important topic in current research. Especially aspects of dynamics and of failures in the production process are insufficiently ta...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Different driving forces push the electricity production towards decentralization. As a result, the current electricity infrastructure is expected to evolve into a network of netw...