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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.