2838 search results - page 187 / 568 » Verifying Controlled Components |
HYBRID
1992
Springer
14 years 2 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
ESANN
2000
14 years 3 days ago
2000
Using a nonlinear 15-state helicopter model in 6 DOF, two di erent neural control systems, both acting as rate damping, have been designed and compared. They are both based on the ...
RAS
2006
13 years 10 months ago
2006
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
JLP
2010
13 years 5 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...