2639 search results - page 190 / 528 » Biological Systems as Reactive Systems |
189
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
211
click to vote
AGTIVE
2007
Springer
16 years 25 days 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...
175
click to vote
DSRT
2005
IEEE
16 years 7 days 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...
173
click to vote
KI
2004
Springer
15 years 12 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...
209
click to vote
RTAS
2003
IEEE
15 years 12 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...