237 search results - page 17 / 48 » A Process Algebra for Predictible Control Systems |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
In most operating systems, the handling of interrupts is typically performed within the address space of the kernel. Moreover, interrupt handlers are invoked asynchronously during...
WWW
2005
ACM
16 years 12 days ago
2005
ACM
Proportional slowdown differentiation (PSD) aims to maintain slowdown ratios between different classes of clients according to their pre-specified differentiation parameters. In t...
129
click to vote
ICDCSW
2009
IEEE
15 years 6 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...