(IOS Press, 2012) Skowron, Andrzej; Stepaniuk, Jarosław; Jankowski, Andrzej; Bazan, Jan G.; Swiniarski, Ryszard
We consider several issues related to reasoning about changes in systems interacting
with the environment by sensors. In particular, we discuss challenging problems of reasoning about changes in hierarchical modeling and approximation of transition functions or trajectories. This paper can also be treated as a step toward developing rough calculus.