823 search results - page 100 / 165 » On Scheduling Tasks in Reliable Real-Time Control Systems |
186
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
163
click to vote
ATAL
2009
Springer
16 years 6 days ago
2009
Springer
This paper reports on a novel decentralised technique for planning agent schedules in dynamic task allocation problems. Specifically, we use a Markov game formulation of these pr...
168
Voted
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
A real-time system must execute functionally correct computations in a timely manner. In order to guarantee that all tasks accepted in the system will meet their timing requiremen...
133
click to vote
CDC
2010
IEEE
15 years 19 days ago
2010
IEEE
In this paper, we start from an assigned control law with known probability distributions of its execution time. Our goal is to identify an optimised scheduling policy that allows ...
166
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...