SubjectsSubjects(version: 845)
Course, academic year 2018/2019
   Login via CAS
Engineering Autonomous Systems - NSWI175
Title in English: Engineering Autonomous Systems
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2018 to 2018
Semester: winter
E-Credits: 2
Hours per week, examination: winter s.:0/2 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: English
Teaching methods: full-time
Guarantor: doc. RNDr. Tomáš Bureš, Ph.D.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science
Last update: Mgr. Petr Jedelský (13.08.2018)
This course aims at introducing the fundamental concepts related to the development of autonomous systems from a software engineering perspective. Various methods and techniques currently applied in the design of autonomous systems are shown. Techniques like Continuous Integration and Development (CI&D) are particularly challenging for autonomous systems that are often also safety critical. The course will cover also these aspects. Concrete examples of autonomous systems in the domains of robotics and autonomous vehicles are given.
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (30.07.2018)

Autonomous systems

Self-adaptive systems

The limitations of traditional software development and verification methods

The limitations of Artificial Intelligence (AI)

When and how to combine traditional methods and AI

Continuous Integration and Development for autonomous systems

Examples and experiences from the projects WASP (, Co4Robots (, and NGEA (

Charles University | Information system of Charles University |