1380 search results - page 129 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
BMAS
2000
IEEE
14 years 2 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
ECAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
TACAS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
SIGMETRICS
2010
ACM
14 years 3 months ago
2010
ACM
Game theoretic modeling and equilibrium analysis of congestion games have provided insights in the performance of Internet congestion control, road transportation networks, etc. D...