176 search results - page 1 / 36 » Relating Time Progress and Deadlines in Hybrid Systems |
HYBRID
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
AGENTS
1997
Springer
13 years 8 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
CONCUR
2005
Springer
13 years 6 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
ICPPW
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...