Abstract
In this paper we present a means of modeling hybrid systems which involve both discrete and continuous time. For the purposes of modeling we use "processes" that are functions dependent on both state and time and show how they can be used on top of existing action languages. To ease computation on current answer set solvers, we use local time instead of global time. The use of such processes in programming is shown by an example.
Original language | English |
---|---|
Pages (from-to) | 356-370 |
Number of pages | 15 |
Journal | CEUR Workshop Proceedings |
Volume | 78 |
State | Published - 2003 |
Event | 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003 - Messina, Italy Duration: Sep 26 2003 → Sep 28 2003 |