575 search results - page 82 / 115 » Controller Synthesis for Probabilistic Systems |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents Pirrus, a replica management system that addresses the problem of providing data availability on a wireless sensor network. Pirrus uses probabilistic failur...
WCET
2008
13 years 9 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
QOFIS
2004
Springer
14 years 1 months ago
2004
Springer
Medium Access Control (MAC) policies in which the scheduling time slots are allocated irrespectively of the underline topology are suitable for ad-hoc networks, where nodes can ent...