A Calculus for Hybrid Sampled Data Systems

Huiqun Yu,Paritosh K. Pandya,Yongqiang Sun
DOI: https://doi.org/10.1007/3-540-58468-4_192
1994-01-01
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.
What problem does this paper attempt to address?