Sentence examples for simulation relation from inspiring English sources

Implementation models are formalized in terms of guarded input/output transition systems and the correctness notion is based on a simulation relation between an MIOD and an implementation model which relates not only abstract and concrete control states but also (abstract) data constraints and concrete data states.

The equivalence is induced by a downward and an upward simulation relation, which can be efficiently computed.

We define the notion of a directed alternating simulation relation and show how it can be used to tackle common bottlenecks in abstraction-based controller synthesis.

We show that truth for this logic can be understood as a simulation relation itself, but with respect to a richer functor F moreover, it is the the largest simulation, i.e. the similarity relation between states of the coalgebra and elements of the language.

We consider systems related by approximate (alternating) simulation relations and show how such relations enable the transfer of time-optimality information between the systems.

A key tool are simulation relations which are used to relate systems models with their specifications as well as to determine abstractions of given system behaviors.

As an application to formal verification, simulation relations allow to check system properties such as safety requirements.

To address the problem of complexity explosion, simulation relations can be employed to abstract system behaviors by lower order models.

Simulation relations (Milner, 1971) are used to demonstrate the correctness of the access control code with respect to the design.

To reduce complexity, we first construct a simple abstract system to guide the agents, then we discuss the simulation relations between the abstract system and multiple agents.

In this paper, we present a new approach for hierarchical control based on the recent notions of approximate simulation and simulation functions, a quantitative version of the simulation relations.