Sciweavers

1398 search results - page 93 / 280
» Ensuring Properties of Interaction Systems
Sort
View
WORDS
2005
IEEE
15 years 10 months ago
Virtual Networks in an Integrated Time-Triggered Architecture
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
Roman Obermaisser, Philipp Peti, Hermann Kopetz
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
15 years 11 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
CMS
2006
116views Communications» more  CMS 2006»
15 years 5 months ago
A Fair Anonymous Submission and Review System
Reputation systems play an important role in many Internet communities. They allow individuals to estimate other individual's behavior during interactions. However, a more pri...
Vincent Naessens, Liesje Demuynck, Bart De Decker
DAGSTUHL
2003
15 years 5 months ago
How Should Control and Body Systems Be Coupled? A Robotic Case Study
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....
Akio Ishiguro, Toshihiro Kawakatsu
BIRTHDAY
2008
Springer
15 years 6 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...