The language features and formal deenitions of the three most popular process algebras, csp, ccs and lotos, are introduced and compared.

We describe the modelling of a post-translational oscillator using a process algebra and the specification of complex properties of its dynamics using a spatio-temporal logic. We show that specifications in the Logic of Behaviour in Context can be seen as hypotheses about oscillations and other biochemical behaviours, to be tested automatically by model-checking software. By using these techniq...

Spatial–temporal Gaussian process regression is a popular method for spatial–temporal data modeling. Its state-of-art implementation based on the state-space model realization of and its corresponding Kalman filter smoother, has computational complexity O ( N M 3 ) , where are number time instants spatial input locations, respectively, thus can only be applied to with large but relatively small...

Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In the past, such systems have been limited to data sets that recorded change over time, but many interesting problems involve both spatial and temporal dynamics. To meet this challenge, we introduce SCISM, an integrated...

Supervisory control usually involves timely switching among different courses of action over multiple time scales. In this work, intelligent process supervision is addressed in the context of semi-Markov decision processes and reinforcement learning. Temporally extended actions that represent a way of behaving together with a termination condition are used to achieve a set of operational goals/...

Spatial data mining focuses on searching rules of the geographical statement, the structures of distribution and the spatial patterns of phenomena. However, many methods ignore the temporal information, thus, limited results describing the statement of spatial phenomena. This paper focuses on developing a mining method which directly detects spatial-temporal association rules hidden in the geog...