Hybrid Temporal Situation Calculus

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.