945 search results - page 96 / 189 » Evolving Symbolic Controllers |
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
JSAC
2010
14 years 8 months ago
2010
—Over the next decades, the Internet will evolve to support increasingly complex mission-critical services such as telerobotically controlled surgery. The world’s first telero...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Consider a biped evolving in the sagittal plane. The unexpected rotation of the supporting foot can be avoided by controlling the zero moment point or ZMP. The objective of thi...
JCP
2006
14 years 10 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...