2123 search results - page 355 / 425 » Composition of Cyber-Physical Systems |
89
Voted
AUTOMATICA
2008
15 years 26 days ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
104
click to vote
ENTCS
2010
15 years 24 days ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
97
Voted
BMCBI
2006
15 years 24 days ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
136
Voted
CVGIP
2006
15 years 23 days ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
96
Voted
JAR
2008
15 years 22 days ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...