Level

Date

 Not chosen  

 17.3.2003 

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 sub-problems with the lower complexity as the consequence of the compositional semantics and state refinement.

 Not chosen  

 17.3.2003 

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.

 Not chosen  

 17.3.2003 

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. The set of the weighted statements about the instantaneous state of the monitored process is a result.

 Not chosen  

 17.3.2003 

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. By mixing the re-active AI paradigm and the hypothesis space search focused one, by using fast prototyping Prolog facilities, by using specially created fast CLP based scheduling techniques and agent modules, the ABATS is able to serve as a basis for a fast building of automatic transport systems. From new scheduling techniques, the adaptive approximate min_max and 7:5 branch and bound algorithms are explained.