3565 search results - page 11 / 713 » Modeling a system controller for timing analysis |
106
click to vote
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
16 years 20 days 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...
114
click to vote
CUZA
2002
14 years 11 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
108
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this paper the robust behavior in some piecewise affine systems with minimally spaced transition times is studied. Such systems are found e.g. in satellites and sat...
101
click to vote
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Networks-on-chip (NoCs) are an emergent communication infrastructure, which can be designed to deal with growing system complexity and technology evolution. The efficient use of N...