12115 search results - page 57 / 2423 » Bisimulation of Dynamical Systems |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
DAM
2007
13 years 8 months ago
2007
R. Thomas conjectured, twenty years ago, that the presence of a positive circuit in the interaction graph of a dynamical system is a necessary condition for the presence of severa...
EKAW
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we review two existing static load balancing schemes based on M/M/1 queues. We then use these schemes to propose two dynamic load balancing schemes for multi-user (...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...