Sentence examples for behavioural specifications from inspiring English sources

Duplicate labels are eliminated in order to attain a uniquely labelled net, on which object-based behavioural specifications are obtained as projections.

Following Formal Concept Analysis (FCA) approaches, we derive behavioural specifications from structural and information input by the user in the context of the intelligent control of physical systems.

This mapping enables a technique for generating the behavioural specification.

A behavioural specification model is one critical missing link.

Sequential Function Chart is considered as an initial behavioural specification of Concurrent State Machine with Data Path.

The algorithm of symbolic analysis of a Petri net based behavioural specification of logic controllers is given, together with conditions, which allow analysing the properties mentioned above.

The behavioural specification of heterogonous embedded microsystems is represented as a timed, hierarchical Petri net extended with programming constructs and exception handling.

Nonetheless, the pedestrian behavioural specification is so articulated, encompassing even an adaptive mechanism for the preservation of group cohesion, to the point that the model is more properly classified as agent-based.

In response, we introduce two new views to complement smart: a behavioural specification and a structural specification which, together, determine the components that make up an agent, and how they operate.

The main goal of this approach is to get a generic formal method to create monitors for hybrid systems using the behavioural specification and a special class of mixed numerical and symbolic Petri-Net.

Works like (Bandini et al. 2004; Henein and White 2005) essentially extend CA approaches, separating the pedestrians from the environment and granting them a behavioural specification that is generally more complex than what is generally represented in terms of a simple CA transition rule, but they essentially adopt similar methodologies.