Toronto Metropolitan University
Browse

Hybrid Temporal Situation Calculus

Download (816.09 kB)
conference contribution
posted on 2023-07-14, 18:42 authored by Vitaliy Batusov, Giuseppe De Giacomo, Mikhail SoutchanskiMikhail Soutchanski

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. 

History

Language

English

Usage metrics

    Computer Science

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC