DocumentCode
3314263
Title
A computable type theory for control systems
Author
Collins, Pieter
Author_Institution
Centrum Wiskunde en Inf., Amsterdam, Netherlands
fYear
2009
fDate
15-18 Dec. 2009
Firstpage
5538
Lastpage
5543
Abstract
In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for which all allowable operations are guaranteed to be computable. We apply the theory to the study of hybrid systems, reachability analysis, and control synthesis.
Keywords
control system synthesis; reachability analysis; type theory; computable type theory; control synthesis; control systems; hybrid systems; reachability analysis; Computational modeling; Control system analysis; Control system synthesis; Control systems; Control theory; Mathematical model; Mathematics; Pervasive computing; Power engineering computing; Reachability analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on
Conference_Location
Shanghai
ISSN
0191-2216
Print_ISBN
978-1-4244-3871-6
Electronic_ISBN
0191-2216
Type
conf
DOI
10.1109/CDC.2009.5400683
Filename
5400683
Link To Document