|
Courses and Workshops
|
| Title: | Hybrid concurrent constraint programming and its applications II |
| Lecturer(s): | Vijay Saraswat (The Pennsylvania State University) and Radha Jagadeesan (DePaul University) |
| Type: | Advanced Course |
| Section: | Logic and Computation |
| Week: | Second | | Time: | 17.00-18.30 (Slot 4) |
| Webpage: | http://www.cse.psu.edu/~saraswat
|
| Reader: | Course will not have a reader | | Room: | CR |
Description /Description/
Hybrid systems are those that are best modeled as varying continuously
in time, but with periods of disontinuous change. Examples of such
systems abound in the biological and artificial, engineered worlds.
Since 1995, the authors, collaborating with Vineet Gupta, have developed
a decaclarative framework for representing and reasoning about hybrid
systems, Hybrid Concurrent Constraint Programming. This framework and
its implementation has found widespread use in modeling complex
electro-mechanical systems (e.g. paper-path in a photo-copier, the
dynamics of a controlled AerCam, NASA's Martian Rover), as well as
biological systems, as pioneered by Bockmayr and his colleagues.
This course will cover the foundations of Concurrent Constraint
Programming (CCP) (including constraint systems, relationship with
Intuitionistic Logic), Timed Default CCP, and its extension to hybrid
systems. It will also introduce an implementation of HCC and discuss
various case studies using this implementation. Participants will be
strongly encouraged to use the system for various modeling tasks.
Throughout the lecture, various open problems will be highlighted.
/Further particulars/
This course is based on a 1-semester, 32-lecture graduate course taught
at Penn State in Spring 2003, and a 14-lecture course taught at IIT
Delhi in Summer 2003. The websites for these courses are:
* http://www.cse.psu.edu/~saraswat/cse598f
* http://www.cse.psu.edu/~saraswat/iitd/csv889
These will give you an idea of the lecture schedule and reading
material. In terms of pre-requisites, very little is assumed. Students
should be familiar with modern object-oriented programming languages,
such as Java. Knowledge of logic or constraint programming and
concurrency theory is a plus.
|
© 2003, 2004 LORIA, Carlos Areces. |
2003-11-20
| |
