Programming in Hybrid Constraint Languages
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Danny Bobrow
Abstract
We present a language, Hybrid cc, for modeling hybrid systems
compositionally. This language is declarative, with programs being
understood as logical formulas that place constraints upon the
temporal evolution of a system. We show the expressiveness of our
language by presenting several examples, including a model for the
paperpath of a photocopier. We describe an interpreter for our
language, and provide traces for some of the example programs.
© Springer Verlag, 1995. Published in the
Lecture Notes in Computer Science Series.
@inproceedings{progg-htcc
,author=" Vineet Gupta and Radha Jagadeesan and Vijay Saraswat and Daniel Bobrow"
,title="Programming in hybrid constraint languages"
,year=" 1995"
,month=" November"
,booktitle=" Hybrid Systems II "
,editor="Panos Antsaklis and Wolf Kohn and Anil Nerode and Sankar Sastry"
,volume = 999
,series = "Lecture Notes in Computer Science"
,publisher="Springer Verlag"
}
Postscript file (172K)
Pdf file (205K)