A Calculus for Hybrid Sampled Data Systems

Download PDF
Open Webpage

Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun

Published: 1994, Last Modified: 21 Jan 2026FTRTFT 1994EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This paper addresses the problem of formally describing hybrid sampled data systems. Using the techniques proposed in Duration Calculus, we first develop a formal calculus, called Accumulation Calculus, for specifying real valued step functions of time. The key idea is that such functions are described using their integrals in bounded closed intervals. The semantics of Accumulation Calculus formulae as well as a relatively complete axiom system are presented.