Computing with continuous change

DOI10.1016/S0167-6423(97)00006-3MaRDI QIDQ1380117zbMATH OpenOpenAlexFDO

Authors Vineet Gupta, Radha Jagadeesan, Vijay Saraswat

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)

Recommendations

• Principles and applications of continual computation
• Publication:4490353
• Computational continua
• Continuity as a computational effect
• Computing with contexts
• ASPECTS OF PERSISTENT COMPUTATIONS
• Automata, Languages and Programming
• Continuous algorithms
• Computing with dynamical systems
• Persistent Computations of Turing Machines

Cited in

(13)

• A comprehensive methodology for building hybrid models of physical systems
• A Hybrid Denotational Semantics for Hybrid Systems
• A multi-scale constraint programming model of alternative splicing regulation
• Linear time-dependent constraints programming with MSVL
• Decidability of infinite-state timed CCP processes and first-order LTL
• TCC, with history
• scientific article; zbMATH DE number 2080012 (Why is no real title available?)
• Models and emerging trends of concurrent constraint programming
• A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
• The process semantics based reasoning about continuous change
• Reasoning about continuous systems
• ConGolog, a concurrent programming language based on the situation calculus
• Model-based computing: Developing flexible machine control software

This page was built for publication: Computing with continuous change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380117)