Description in English
The present situation in modelling and simulation tools shows that there is still a lack of support for the generation of heterogeneous systems, which are characterised by their volume, incomplete information, qualitative nature of parameters, high degree of dynamism of processes and complex relationships between their objects. A comprehensive analysis of these heterogeneous systems may be facilitated by a combination of methods and approaches inherent in the environment that we have designed. The use of this environment may be very productive in modelling traffic, floods, VLSI circuits or in control processes. A global objective of the project is to find a suitable combination of methods and tools for designing and implementing heterogeneous models. This will result in creating an object-oriented environment for the design and distributed simulation of heterogeneous models, which will help link the classical continuous and discrete simulation abstractions with knowledge modelling based on logical programming, fuzzy concepts, and neural networks with models based on Petri nets. Since we also plan to include system security issues, we want to adopt a complex approach to the risk analysis. The environment created will also include support of space visualisation -- virtual reality. This, together with the use of methods of artificial intelligence, will help to build an efficient space model of simulation and generate behaviour descriptions of space objects.

Keywords
simulační nástroje, heterogenní modely, Petriho sítě, fuzzy logika, neuronové sítě, řídicí systémy, umělá inteligence

GA102/01/1485

Czech

Vavřín Petr, prof. Ing., DrSc. - principal person responsible
Černohorský Jakub, Ing. - fellow researcher
Drahanský Martin, prof. Ing., Ph.D. - fellow researcher
Güttner Jakub, Ing., Ph.D. - fellow researcher
Hrubý Martin, Ing., Ph.D. - fellow researcher
Kočí Radek, Ing., Ph.D. - fellow researcher
Martinek David, Ing. - fellow researcher
Orság Filip, Ing., Ph.D. - fellow researcher
Petřek Jiří, Ing. - fellow researcher
Řezáč David, Ing., Ph.D. - fellow researcher
Zacios Dalibor, Ing. - fellow researcher
Zbořil František, doc. Ing., Ph.D. - fellow researcher

Department of Control and Instrumentation
- responsible department (1.1.2001 - not assigned)
Department of Intelligent Systems
- responsible department (23.10.2001 - not assigned)
Automated Analysis and Verification Research Group - VeriFIT
- internal (23.10.2001 - 31.12.2003)
Petri Nets Research Group
- internal (23.10.2001 - 31.12.2003)
System Modelling and Optimization Research Group
- internal (23.10.2001 - 31.12.2003)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.2003)
Department of Control and Instrumentation
- beneficiary (1.1.2001 - not assigned)

URBÁŠEK, M.; BRAATZ, B.; EHRIG, H.; HOFFMAN, K.; PADBERG, J. Application of Graph Transformation Techniques to the Area of Petri Nets: An Overview. Applied Graph Transformation - AGT'02. Grenoble: 2002. p. 35-44.
Detail

BOUAJJANI, A.; HABERMEHL, P.; VOJNAR, T. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, 2003, vol. 2003, no. 2761, p. 174-190. ISSN: 0302-9743.
Detail

URBÁŠEK, M. Preserving Properties in System Redesign: Rule-Based Approach. ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich: 2002. p. 87-88.
Detail

URBÁŠEK, M. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: Technical University of Berlin, 2002. p. 0-0. ISSN: 1436-9915.
Detail

PETŘEK, J. Analýza činnosti procesoru pro numerickou integraci. Proceedings of 6th Student Conference STC FEI VUT Brno. Brno: Fakulta elektrotechniky a informatiky VUT, 2000. s. 222-224. ISBN: 80-7204-155-X.
Detail

VOJNAR, T. Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets. Brno: 2001. p. 0-0.
Detail

Jura, Fremel: FRH2003-01; Fuzzy regulátor odparu helia. Ústav přístrojové techniky AV. URL: odkaz. (funkční vzorek)
Detail

JURA, P. Základy fuzzy logiky pro řízení a modelování. Brno: VUTIUM, 2003. 132 s. ISBN: 80-214-2261-0.
Detail

HEROUT, A. Knihovna pro práci s objemovými daty. Brno: 2001. s. 0-0.
Detail

GÜTTNER, J. Voxel Model Creation Using Wavelet-based Stereoanalysis. Brno: Grantová agentura AV ČR, 2001. p. 0-0.
Detail

RÁBOVÁ, Z., HRUBÝ, M., KOČÍ, R. The Heterogeneous Modelling Methods and Tools. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. p. 40-50. ISBN: 8001033228.
Detail

RÁBOVÁ, Z. Modelling and Simulation Education and Research at Faculty of Information Technology (FIT), Brno University of Technology (BUT). In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005. p. 9-11.
Detail

URBÁŠEK, M. Preserving Properties in System Redesign: Rule-Based Approach. In Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2003. p. 442-456. ISBN: 3-540-20537-3.
Detail

ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. p. 265-278. ISBN: 3-540-20221-8.
Detail

SMOLÍK, P.; HRUŠKA, T. Application of an Object-Oriented Metasystem in University Information System Development. In Annals of Cases on Information Technology. Hershey: Idea Group Publishing, 2003. p. 550-562. ISBN: 1-59140-061-9.
Detail

HNILIČKA, B., BESANCON-VODA, A., FILARDI, G. Control of DVD players; focus and tracking control loop. In Advances in Automatic Control edited by M. Voicu. Technical University "Gh. Asachi" of IASI, Romania: Kluwer Academic Publishers, 2004. p. 101 ( p.)ISBN: 1-4020-7607-X.
Detail

PIVOŇKA, P. Artificial Neural Networks for On-Line Trained Controllers. In Advances in Systems Science: Measurement, Circuits and Control. Electrical and Computer Engineering Series - A series of Reference Books and Textbooks. http://www.worldses.org: Published by WSES Press, http://www.worldses.org, 2001. p. 189 ( p.)ISBN: 960-8052-39-4.
Detail

VYCHODIL, H., PIVOŇKA, P., KRUPANSKÝ, P. The Choice of Patterns in Training Set for Neural On-line Identification. In Recent Advances in Circuits, Systems and Signal Processing. Electrical and Computer Engineering Series - A series of Reference Books and Textbooks. http://www.worldses.org: Published by WSES Press, http://www.worldses.org, 2002. p. 250 ( p.)ISBN: 960-8052-64-5.
Detail

KŘENA, B. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, 2003, vol. 1, no. 1, p. 27-31. ISSN: 1312-2622.
Detail

HONZÍK, P., HRABEC, J., LÁBROVÁ, R., SEMRÁD, B., HONZÍKOVÁ, N. Fuzzification, weight and summation of risk factors in a patient improves the prediction of risk for cardiac death. Scripta medica, Brno, Masaryk University in Brno, 2003, vol. 76, no. 3, p. 141 ( p.)ISSN: 0211-3395.
Detail

Responsibility: Vavřín Petr, prof. Ing., DrSc.