12115 search results - page 433 / 2423 » Bisimulation of Dynamical Systems |
173
Voted
KI
2009
Springer
15 years 11 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
190
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...
189
Voted
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
192
Voted
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
191
click to vote
WSC
2008
15 years 9 months ago
2008
Discrete-event dynamic systems with feedback, where the behavior of the system depends on the system state, are difficult to model due to the uncertainties and dependencies of sys...