Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
  1. SucheSuchen         
  2. SoSe 2024
  3. Hilfe
  4. Sitemap
Switch to english language
++ Weitere Informationen zur Vergabe der Plätze unter https://www.uni-hildesheim.de/lsf-vergabe ++
Startseite    Anmelden     

Mathematical Foundations and Practices for Cyber-Physical Systems - Einzelansicht

Grunddaten
Veranstaltungsart Vorlesung mit Übung Learnweb   Logo Learnweb
Veranstaltungsnummer 3680 Kurztext
Semester WiSe 2023/24 SWS 5
Erwartete Teilnehmer/-innen 50 Max. Teilnehmer/-innen 50
Rhythmus Studienjahr / Zielgruppe
Credits 8 Anmeldung Anmeldepflicht , Vergabe: Automatisch(Fachsemesterpriorität) (?)
Hyperlink   Evaluation Noch nicht entschieden
Sprache englisch
Anmeldefrist Anmeldung VL-Ende 13.09.2023 - 16.02.2024 23:59:59

Anmeldepflicht
Termine Gruppe: 1-Gruppe iCalendar Export
  Tag Zeit Rhythmus Dauer Raum (mögliche Änderungen beachten!) Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Mi. 08:00 bis 10:00 c.t. wöchentlich 01.11.2023 bis 14.02.2024  Gebäude B (Samelson-Campus) - SC.B.0.37 (Seminarraum) Raumplan        
Einzeltermine anzeigen
iCalendar Export
Di. 08:00 bis 10:00 c.t. wöchentlich 07.11.2023 bis 13.02.2024  Gebäude A (Samelson-Campus) - SC.A.0.09 (Großer Seminarraum) Raumplan        
Einzeltermine anzeigen
iCalendar Export
Di. 12:00 bis 13:30 c.t. 14-täglich 07.11.2023 bis 13.02.2024  Gebäude A (Samelson-Campus) - SC.A.0.09 (Großer Seminarraum) Raumplan        
Gruppe 1-Gruppe:


Zugeordnete Personen
Kontaktperson (durchführend) Zuständigkeit
Cheng, Chih-Hong, Dr. verantwortlich und durchführend
Weitere Person Zuständigkeit
Reuß, Pascal, Dr. nicht durchführend, nicht verantwortlich
LSF - Module
Modulkürzel Modultitel
BWI-WIT8LP Wahlbereich mit IT-Bezug (BA) 8 LP
BWI-Wa8LP Wahlbereich (BA) mit 8 LP (Wirtschaftsinf. i.e.S., BWL, Inf.)
MWIN-WWi8 Wahlbereich (MA) Wirtschaftsinformatik i.e.S. (8 LP)
MWIN-WIT8 Wahlbereich mit IT-Bezug (MA) 8 LP
IT-CPS Mathematical Foundations and Practices for Cyber-Physical Systems
Zuordnung zu Einrichtungen
Inst. für Informatik
Abt. Autonomous Cyber-physical Systems
Inhalt
Literatur

Textbook: Lee and Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017

Lerninhalte

 

https://sites.google.com/site/chengchihhong/home/teaching/hildesheim_2023_ws_intro_cps (materials)

 

Description: Cyber-physical systems control and regulate many applications in everyday life, from smart refrigerators, through elevator control, traffic control and safety, automotive systems, etc. to critical and distributed infrastructures. This course provides an understanding of the problems an engineer will face when designing such systems: the selection of the scheduling algorithms, the interfacing with physical sensors and actuators, the modelling of the system and the interaction between its software and hardware components, as well as the analysis of its reachability and real-time performance.
Importantly, the lecture will emphasize the mathematical aspects of system design and analysis, where many topics in the cyber-physical systems such as Kalman-filters, model-predictive control, estimation of the WCET, or even scheduling for synchronous dataflow systems, are based on rigorous mathematical modelling and the application of constraint optimization techniques.

 


Apart from exercises, the students are expected to apply these knowledge in their own defined projects (e.g., 1/10 autonomous cars), where principles listed in the lecture should be included. Guest lectures from industry speakers will also be planned.

 

Contents covered in the lecture:
• Model-based Design
• Modelling Continuous Dynamics
• Modeling Discrete Dynamics
• Extended and Hybrid Automata
• Synchronous Reactive (SR) & Static Dataflow (SDF)
• Sensors & Actuators
• Autonomous CPS: Embedded vision with neural networks
• Autonomous CPS: Kalman filter and extensions
• Autonomous CPS: Model-predictive control
• Scheduling and scheduling Anomalies
• Worst-case execution time analysis
• Specification and temporal logic
• Reachability analysis
• Safety assurance for autonomous CPS

 

Grading (subject to the availability of equipments):
• Exam 40%
• HW 20%
• Project 40%
• Paper presentation from top tier CPS conferences (e.g., ICCPS, EMSOFT) as bonus


Guest speakers in SS2023, TU München
• Mathworks on MBD
• ABB on industry 4.0
• DENSO on scenario-based testing for AD


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2023/24 , Aktuelles Semester: SoSe 2024
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit