164
click to vote
RTSS
15 years 3 months ago
1995 IEEE 
A distributed protocol is proposed for the synchronization of real-time tasks that have variable resource requirements. The protocol is simple to implement and is intended for lar...
125
click to vote
RTSS
15 years 3 months ago
1995 IEEE 
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
117
Voted
HYBRID
15 years 4 months ago
1995 Springer 113
Voted
RTSS
15 years 3 months ago
1995 IEEE 107
click to vote
HYBRID
15 years 4 months ago
1995 Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
|
Control Systems