117 search results - page 16 / 24 » Approximate Simulation Relations for Hybrid Systems |
ASC
2004
13 years 7 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...
PLDI
2000
ACM
13 years 12 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
ICRA
2003
IEEE
14 years 25 days ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
A multi-agent system architecture for coordination of just-in-time production and distribution is presented. The problem to solve is two-fold: first the right amount of resources ...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...