1930 search results - page 154 / 386 » Decentralised Control of Complex Systems |
175
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
177
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
209
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
169
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
150
click to vote
IJCAI
2003
15 years 7 months ago
2003
Multi-agent systems result from interactions between individual agents. Through these interactions different kinds of relationships are formed, which can impact substantially on t...