Handbook of logic in computer science (vol. 4)
A domain-theoretic approach to computability on the real line
Theoretical Computer Science - Special issue on real numbers and computers
Communications of the ACM
Hybrid Systems
Towards Refining Temporal Specifications into Hybrid Systems
Hybrid Systems
Formal Verification of Safety-Critical Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Reachability Verification for Hybrid Automata
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Characteristic Properties of Majorant-Computability over the Reals
Proceedings of the 12th International Workshop on Computer Science Logic
Generalised Computability and Applications to Hybrid Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Semantic Characterisations of Second-Order Computability over the Real Numbers
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Hi-index | 0.00 |
The main subject of our investigation is behaviour of the continuous components of hybrid systems. By a hybrid system we mean a network of digital and analog devices interacting at discrete times. A first-order logical formalization of hybrid systems is proposed in which the trajectories of the continuous components are presented by majorantcomputable functionals.