ABSTRACT
Abstract. In this chapter we discuss formal modeling of environmental monitoring. Environmental monitoring is needed to study complex environmental processes and to understand the effects of our actions in those processes. Environmental monitoring, however, is about measuring, whereby it is prone to measurement errors. When measuring, there are many sources for uncertainty. This makes it hard to estimate the total uncertainty. As the main contribution, we investigate the use of action systems in modeling an environmental monitoring system together with sources for uncertainty. We use hybrid action systems, that is, action systems with differential actions, to model both discrete-time and continuous-time dynamics. We illustrate the approach by modeling the central function of a home monitoring system, monitoring of room temperature. We also discuss, how properties of interest are validated from the model.
