Sciweavers

ENTCS
2006
161views more  ENTCS 2006»
13 years 11 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
ICRA
2003
IEEE
139views Robotics» more  ICRA 2003»
14 years 4 months ago
Vehicle motion planning using stream functions
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-...
Stephen Waydo, Richard M. Murray
EMSOFT
2004
Springer
14 years 4 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...