Students learn about the basics of modeling and engineering of computer based systems. They will be able to design using UML formal language, realize and verify systems with emphasis on mobile/service robots.

Knowledge about the procedures and tools for modeling, design and realization of computer based systems.

Introduction. Fundamentals of designing complex control systems. Description of complex physical systems as objects of control in real time. Basic methods and techniques of analysis, modeling and development of computer based systems. Methods of identifying system components. Methods of simplification of complex systems. Architecture and components of computer based systems, distribution of activities by components, evaluatin of performance and availabilita of the whole system. Development cycle of computer based systems. Modelling, engineering of technical demends and specification of computer based systems. Methods of integration and testing. Formal languages for system modeling from Petri networks to UML. Typical computer based systems (acquisition – control systems in industry and traffic – SCADA, mobile and service robots). Methods of intelligent control, predictions and diagnostics in computer based systems.

Lectures. Tutorials. Computer practice. Consultations. The teaching is divided into two blocks. In the first block students attend theoretical classes during the mornings. In the afternoon they attend computer practice classes. During the second block students work on tasks which comprise their examination papers.