871 search results - page 115 / 175 » Modular Design of Reactive Systems |
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...
INTENV
2010
13 years 2 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
ASYNC
1998
IEEE
14 years 9 days ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
TSMC
2011
13 years 3 months ago
2011
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...