Popis anglicky
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.

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

GA102/01/1485

čeština

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

Ústav automatizace a měřicí techniky
- odpovědné pracoviště (1.1.2001 - nezadáno)
Ústav inteligentních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
- interní (23.10.2001 - 31.12.2003)
Výzkumná skupina modelování a optimalizace
- interní (23.10.2001 - 31.12.2003)
Výzkumná skupina Petriho sítí
- interní (23.10.2001 - 31.12.2003)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.2003)
Ústav automatizace a měřicí techniky
- příjemce (1.1.2001 - nezadáno)

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

Odpovědnost: Vavřín Petr, prof. Ing., DrSc.