1341 search results - page 78 / 269 » Unified Modeling of Complex Real-Time Control Systems |
132
Voted
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
115
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management (DPM) has been implemented in many sy...
100
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
119
Voted
COMPLEXITY
2007
15 years 3 months ago
2007
: We study the parametric controls of self-adjusting systems with numerical models. We investigate the situation where the target dynamics changes slowly and passes through a chaot...
131
Voted
IFIP13
2004
15 years 4 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...