{"title":"验证数值方法的系统和控制工程","authors":"M. Kanno, Malcolm C. Smith","doi":"10.1145/990353.990361","DOIUrl":null,"url":null,"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.","PeriodicalId":314801,"journal":{"name":"SIGSAM Bull.","volume":"66 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Validated numerical methods for systems and control engineering\",\"authors\":\"M. Kanno, Malcolm C. Smith\",\"doi\":\"10.1145/990353.990361\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":314801,\"journal\":{\"name\":\"SIGSAM Bull.\",\"volume\":\"66 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SIGSAM Bull.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/990353.990361\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIGSAM Bull.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/990353.990361","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Validated numerical methods for systems and control engineering
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
