We extend Reiter's temporal situation calculus by introducing continuous change due to passage of time in addition to discrete change due to actions. We define regression for hybrid action theories and show that hybrid action theories can capture hybrid automata.
Hybrid temporal situation calculus / Batusov, V.; De Giacomo, G.; Soutchanski, M.. - 147772:(2019), pp. 1162-1164. (Intervento presentato al convegno 34th Annual ACM Symposium on Applied Computing, SAC 2019 tenutosi a Limassol; Cyprus) [10.1145/3297280.3297578].
Hybrid temporal situation calculus
De Giacomo G.
;Soutchanski M.
2019
Abstract
We extend Reiter's temporal situation calculus by introducing continuous change due to passage of time in addition to discrete change due to actions. We define regression for hybrid action theories and show that hybrid action theories can capture hybrid automata.File allegati a questo prodotto
| File | Dimensione | Formato | |
|---|---|---|---|
|
Batusov_Hybrid-temporal_2019.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
765.76 kB
Formato
Adobe PDF
|
765.76 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
