584 search results - page 3 / 117 » The Light Control Case Study: Problem Description |
ECRTS
2006
IEEE
13 years 11 months ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
FM
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
PEWASUN
2004
ACM
13 years 10 months ago
2004
ACM
The nature of ad hoc networks makes it a challenge to offer connections with an assured quality. In order to improve the performance of the network, multipath routing in combinati...
DAC
1998
ACM
14 years 6 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...