2838 search results - page 80 / 568 » Verifying Controlled Components |
ICESS
2005
Springer
14 years 2 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- The majority of slosh-control techniques have required feedback control to suppress liquid oscillations induced by container motion. However, input shaping is an alterna...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
DAIS
2010
13 years 10 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
We have constructed an autonomous quadruped, Scout II, which features only a hip actuator and a passive compliant prismatic joint per leg. In this paper we demonstrate in simulati...