125 search results - page 8 / 25 » Bounds Checking with Taint-Based Analysis |
AUTOMATICA
2007
13 years 7 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
14 years 8 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
AUTOMATICA
2004
13 years 7 months ago
2004
This paper considers the problem of stability of linear feedback systems with time-varying but bounded delays. Simple but powerful criteria of stability are presented for both con...
PTS
2010
13 years 5 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...