Volume 03

In the paper, we present the timed extension of the hierarchical state machines with the compositional semantics ensuring that the semantics of the model can be determined from the semantics of its components. We proposed the compositional semantics of traces with the goal of its successive utilization in the analysis and verification of the model properties. At the end of the paper, we discussed the computational complexity of the reachability problem, and its decomposition to subproblems with the lower complexity as the consequence of the compositional semantics and state refinement.

In the practice there is requirement for the designing of control algorithms in the given time without detriment to quality and functionality. Thanks to some software products forwardness, new control algorithms can be designed and tested in real practice very quickly with excellent quality. The leader in this field of products is Mathworks company with Matlab system with toolboxes Real-Time Workshop and xPC Target. The tutorial of setting and using of the xPC Target toolbox is proposed in this paper.

In this paper the theory of the hypotheses evaluation about the instantaneous state of the safety-related critical processes has been described. Firstly, the critical processes (CP) are characterised. Fuzzy state images of the monitored process are defined by the composition of process variables. The hypotheses about the possible states of the safety-related critical process are set and the finite sets of the system states in discrete state space are defined. Secondly, the hypotheses are evaluated using fuzzy logic from their credibility point of view.

Modern technologies give us a possibility to build systems, which fully support automatic control of a transport. In the paper the ABATS (Agent Based Automatic Transport System) is presented. The system was created under the ECLiPSe platform, which can use the constraint logic programming technology.