1202 search results - page 76 / 241 » Sortings for Reactive Systems |
119
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
135
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper a robotic catching algorithm based on a nonlinear mapping of visual information to the desired trajectory is proposed. The nonlinear mapping is optimized by learn...
103
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
132
click to vote
ENTCS
2007
15 years 4 months ago
2007
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way f...
131
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...