Computing with Continuous Change

13 years 10 months ago

Download www-cs-students.stanford.edu

A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exempliﬁed by the theory of differential equations and real analysis on the one hand, and the theory of programming languages on the other. We take the ﬁrst steps towards such an integrated theory by presenting a recipe for the construction of continuous programming languages — languages in which state dynamics can be described by differential equations. The basic idea is to start with an untimed language and extend it uniformly over dense (real) time. We present a concrete mathematical model and language (the Hybrid concurrent constraint programming model, Hybrid cc) instantiating these ideas. The language is intended to be used for modeling and programming hybrid systems. The language is declarative — programs can be understood as formulas that place constraints on the (temporal) evolution of the system, with parallel composi...

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Real-time Traffic