SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Engineering Autonomous Systems - NSWI175
Title: Engineering Autonomous Systems
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2020
Semester: winter
E-Credits: 2
Hours per week, examination: winter s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: cancelled
Language: English
Teaching methods: full-time
Teaching methods: full-time
Guarantor: prof. 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
Annotation
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.
Syllabus
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 (http://wasp-sweden.org/), Co4Robots (http://www.co4robots.eu/), and NGEA (http://ngea.se/).

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html