Modeling hybrid systems in action languages

Richard Watson, Sandeep Chintabathina

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations


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 languageEnglish
Pages (from-to)356-370
Number of pages15
JournalCEUR Workshop Proceedings
StatePublished - 2003
Event2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003 - Messina, Italy
Duration: Sep 26 2003Sep 28 2003


Dive into the research topics of 'Modeling hybrid systems in action languages'. Together they form a unique fingerprint.

Cite this