Title | ||
---|---|---|
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory |
Abstract | ||
---|---|---|
Based on an effective theory of continuous domains, notions of computability for operators and real-valued functionals defined on the class of continuous functions are introduced. Definability and semantic characterisation of computable functionals are given. Also we propose a recursion scheme which is a suitable tool for formalisation of complex systems, such as hybrid systems. In this framework the trajectories of continuous parts of hybrid systems can be represented by computable functionals. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-45335-0_10 | CCA |
Keywords | Field | DocType |
continuous part,real-valued functionals,effective theory,continuous function,hybrid system,complex system,computable functionals,continuous domain,semantic characterisation,recursion scheme,domain theory,value function | Continuous function,Discrete mathematics,Algebra,Domain theory,Computability,Operator (computer programming),Hybrid system,Mathematics,Computable function,Recursion,Computable analysis | Conference |
ISBN | Citations | PageRank |
3-540-42197-1 | 3 | 0.48 |
References | Authors | |
12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Margarita V. Korovina | 1 | 84 | 15.61 |
Oleg V. Kudinov | 2 | 105 | 15.85 |