Search
Results
-
A computer system for model helicopter flight control
(1998)Technische Berichte / ETH Zürich, Departement InformatikThis memorandum is the first in a series giving an account of the design and structure of the on−board computer system for controlling a model helicopter. The aircraft itself is designed by a research group of the Institut für Mess− und Regeltechnik of ETH Zürich. The computer is to stabilize the helicopter and to execute commands for flight movements. It receives inputs from various sensors and drives the necessary servos. The computer ...Report -
Exact arithmetic at low cost
(1998)Technische Berichte / ETH Zürich, Departement InformatikReport -
A lower bound for a class of graph based loss resilient codes
(1998)Technical report / Departement of Computer Science, ETH ZürichReport -
A probabilistic zero test for expressions involving roots of rational numbers
(1998)Technical report / Departement Informatik, ETH ZürichReport -
Using interval diagram techniques for the symbolic verification of timed automata
(1998)TIK ReportIn this report, we suggest interval diagram techniques for formal verification of timed automata. Interval diagram techniques are based on interval decision diagrams (IDDs) – representing sets of system configurations of, e.g., timed automata – and interval mapping diagrams (IMDs) – modeling their transition behavior. IDDs are canonical representations of Boolean functions and allow for their efficient manipulation. We present the methods ...Report -
Concept Oriented Design of Numerical Software
(1998)SAM Research ReportThe continuously growing computing power of modern computers admits to tackle numerical problems of extreme complexity. This complexity carries over to the numerical methods applied to solve the problems. Whereas the mathematical formulation of these methods does not raise any difficulties, their implementation turns out to be the bottleneck in the realization of numerical applications. In the last years, in order to afford relief, object ...Report -
Long-Term Evolution of Coorbital Motion
(1998)SAM Research ReportIn these lectures the planar problem of three bodies with masses $m_0$, $m_1$, $m_2$ will be used as a model of coorbital motion, thus leaving the analysis of three-dimensional effects to later work. For theoretical as well as for numerical studies the choice of appropriate variables is essential. Here Jacobian coordinates and a rotating frame of reference will be used. The application of the Hamiltonian formalism in connection with complex ...Report -