Abstract
This paper considers the problem of obtaining high quality attitude extraction and gyros bias estimation from typical low cost intertial measurement units for applications in control of unma...
Abstract
This paper considers the problem of obtaining high quality attitude extraction and gyros bias estimation from typical low cost intertial measurement units for applications in control of unma...
The refinement calculus, based on predicate transformer semantics, is proving useful in the construction of sequential programs. It is argued that the refinement calculus provides a suitable developme...
Abstract
This paper considers the question of designing a fully image based visual servo control for a dynamic system. The work is motivated by the ongoing development of image based visual servo con...
A predicate transformer model for network composition of dataflow processes is developed. This model for network composition is shown to support a powerful decomposition rule which allows the arbitrar...