Sciweavers

474 search results - page 37 / 95
» Structure-preserving model reduction of complex physical sys...
Sort
View
MABS
1998
Springer
15 years 10 months ago
Multi-Agent Architecture Integrating Heterogeneous Models of Dynamical Processes: The Representation of Time
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
Edem Fianyo, Jean-Pierre Treuil, Edith Perrier, Yv...
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 6 months ago
Emergence Explained
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
Russ Abbott
SEUS
2007
IEEE
16 years 13 days ago
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
Martin Schlager, Roman Obermaisser, Wilfried Elmen...
ISORC
2005
IEEE
15 years 11 months ago
An Integrated Architecture for Future Car Generations
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, ...
QEST
2007
IEEE
16 years 13 days ago
GRIP: Generic Representatives in PRISM
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker