This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linea...

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-com...

the relationship between topography, land use, and topsoil moisture storage is investigated for a small catchment with undulating deep loess hilslopes in the south of the netherlands. for a period of 10 months, soil moisture profiles have been measured weekly at 15 locations throughout the catchment. a generalized additive model was employed to find relationships between the various factors inf...

We present a new proof of the fact that every formula in linear temporal logic with past is equivalent to a formula of the form ∧

Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We elucidate here the relationship between various kinds of compositional propositional ITL formulas. Several are closed under conjunction and the standard temporal operator known as “box” and “always”.

Remembering a past event involves reactivation of distributed patterns of neural activity that represent the features of that event-a process that depends on associative mechanisms supported by medial temporal lobe structures. Although efficient use of memory requires prioritizing those features of a memory that are relevant to current behavioral goals (target features) over features that may b...

This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen’s time intervals, is crossed with a new spatial logic based on topology called spatial states. These spatial states are derived from topological relationships and a new concept of degenerate topological relationships...