Computing with continuous change

DOI10.1016/S0167-6423(97)00006-3zbMath0891.68039OpenAlexW2163654786MaRDI QIDQ1380117

Radha Jagadeesan, Vijay Saraswat, Vineet Gupta

Publication date: 19 July 1998

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(97)00006-3

zbMATH Keywords

hybrid systemsknowledge representation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Knowledge representation (68T30)

Related Items

A multi-scale constraint programming model of alternative splicing regulation, Model-based computing: Developing flexible machine control software, TCC, with History, Decidability of infinite-state timed CCP processes and first-order LTL, Linear time-dependent constraints programming with MSVL, A Hybrid Denotational Semantics for Hybrid Systems, ConGolog, a concurrent programming language based on the situation calculus, A comprehensive methodology for building hybrid models of physical systems, Models and emerging trends of concurrent constraint programming