Masaaki Kanno
Abstract
The aim of this research is to investigate the development of numerical methods for systems and control which have a guarantee on accuracy. An end-product of such research is an algorithm which could be described as "infallible" in the following sense: the user would specify a priori a tolerance as small as desired, and the computer would provide an answer which was guaranteed to be accurate to the specified tolerance. Though this is an established subject within Computer Science [5], as well as a few application areas in science and engineering (see [1, Part III]), the direction appears to be quite new in the control systems area. A characteristic feature of previous work is the application of computer algebra tools and the avoidance of floating-point arithmetic.
- E. Adams and U. Kulisch, editors. Scientific Computing with Automatic Result Verification, volume 189 of Mathematics in Science and Engineering, London, 1993. Academic Press. Google Scholar
Digital Library
- S. Boyd and V. Balakrishnan. A regularity result for the singular values of a transfer matrix and a quadratically convergent algorithm for computing its L∞-norm. Systems and Control Letters, 15(1):1--7, July 1990. Google ScholarDigital Library
- M. Green and M. C. Smith. Continuity properties of LQG optimal controllers. Systems and Control Letters, 26(1):33--39, September 1995. Google ScholarDigital Library
- M. Kanno. Guaranteed Accuracy Computations in Systems and Control. PhD thesis, University of Cambridge, 2003. In preparation.Google Scholar
- W. Krandick and S. Rump, editors. Journal of Symbolic Computation: Special Issue on Validated Numerical Methods and Computer Algebra, volume 24, number 6. Academic Press, December 1997.Google Scholar
- A. Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990.Google Scholar
- G. Vinnicombe. Uncertainty and Feedback - H∞ loop-shaping and the μ-gap metric. Imperial College Press, 2001.Google Scholar
Index Terms
- Validated numerical methods for systems and control engineering
Recommendations
A domain-specific architectural foundation for engineering of numerical software systems
Numerical computations have found vast applications in numerous areas of science and engineering. Many scientific and engineering advances rely on the capability to build computational models in the form of numerical software systems. A review of the ...
Saab 500 — A numerical control system
AbstractThe content of the first part is a short analysis of the concept Numerical Control and a discussion of associated procedures. The hardware part assigned to the controlled process is constructed as a control calculator. After a discussion of the ...
Comments