Name
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. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/990353.990361 | ACM SIGSAM Bulletin |
Keywords | Field | DocType |
following sense,floating-point arithmetic,part iii,control systems area,computer algebra tool,specified tolerance,established subject,computer science,characteristic feature,validated numerical method,application area,control engineering,numerical method,control system,floating point arithmetic,computer algebra | Computer science,A priori and a posteriori,Symbolic computation,Theoretical computer science,Control system,Numerical analysis | Journal |
Volume | Issue | Citations |
37 | 3 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Masaaki Kanno | 1 | 30 | 6.92 |
| Malcolm C. Smith | 2 | 250 | 47.90 |