1202 search results - page 113 / 241 » Sortings for Reactive Systems |
158
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
135
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
135
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Table soccer (also called “foosball”) is much simpler than real soccer. Nevertheless, one faces the same challenges as in all other robotics domains. Sensors are nois...
174
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
132
click to vote
EOR
2011
14 years 11 months ago
2011
Lateral transshipments within an inventory system are stock movements between locations of the same echelon. These transshipments can be conducted periodically at predetermined po...