Abstract | ||
---|---|---|
We investigate the concept of generalised computability of operators and functionals defined on the set of continuous functions, firstly introduced in [9]. By working in the reals, with equality and without equality, we study properties of generalised computable operators and functionals. Also we propose interesting applications to formalisation of hybrid systems. We obtain some class of hybrid systems, which trajectories are computable in the sense of computable analysis. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-45575-2_47 | Ershov Memorial Conference |
Keywords | Field | DocType |
hybrid systems,computable analysis,continuous function,hybrid system,generalised computable operator,generalised computability,interesting application | Discrete mathematics,Continuous function,Algebra,Computer science,Computability,Operator (computer programming),Hybrid system,Computable number,Discrete system,Computable function,Calculus,Computable analysis | Conference |
ISBN | Citations | PageRank |
3-540-43075-X | 0 | 0.34 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Margarita V. Korovina | 1 | 84 | 15.61 |
Oleg V. Kudinov | 2 | 105 | 15.85 |