0% found this document useful (0 votes)
4 views12 pages

Embedded Control Course Overview

Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
4 views12 pages

Embedded Control Course Overview

Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Embedded Control

Chair for Embedded Systems


Prof. Dr. Roman Obermaisser, Yosab Bebawy
Organizational Information
 Lecture:
 By Yosab Bebawy
 E-Mail: [Link]@[Link]
 Office: H-E 004

 Thursdays: 14:00 - 16:00 in H-C 3305 (Start


date: Oct. 16, 2025 - End date: Feb. 5, 2026)
 Cancellation dates (Dec. 25, 2025, and Jan. 1, 2026)

Embedded Control 2
Organizational Information
Laboratory:
 By Utkarsh Raj & Abdulmajeed Alhumaidi

 E-Mail: [Link]@[Link]
 E-Mail: [Link]@[Link]
 Office: H-E 006/004
 Lab-E-Mail: ec_lab@[Link]

 Tuesdays: 16:00 - 18:00 in H-C 3305 (Start date: Oct. 21,


2025 - End date: Feb. 3, 2026)
 Cancellation dates (Dec. 23, 2025, Dec. 30, 2025, and Jan.
06, 2026)

Embedded Control 3
Further Information
 Moodle E-Learning Platform
 [Link]
 Fakultät IV  Elektrotechnik
und Informatik  Embedded
Systems Embedded Control

 [Link]
[Link]/course/[Link]?id=
32971

Embedded Control 4
Literature – Course Book
 Introduction to Embedded Systems:
A Cyber-Physical Systems Approach
 E.A. Lee, S.A. Seshia
 Version 2.2
 Second Edition, MIT Press, 2017
 Available to download:
[Link]

Embedded Control 5
What are Embedded Systems?
 The less visible computers whose job is not primarily information processing
but rather is interacting with physical processes are called embedded
systems, and the software they run is called embedded software.
 Embedded systems are designed to perform a specific (dedicated)
function, i.e., Task.
 Examples:

Source: [Link]

Source: [Link]

Embedded Control 6
Embedded Systems Challenge
 The key engineering problem of embedded systems:
 coping with limited resources, e.g.
 limited processing power,
 limited energy sources,
 small memories, etc.
 The engineering challenge is to optimize the designs.

 It was understood that the principal challenges in embedded


systems stem from their interaction with physical
processes, and not from their limited resources.

Embedded Control 7
Introduction - Applications
 cyber-physical systems (CPS)
 Integration of computation, networking, and physical processes
 CPS is about the intersection, not the union, of the physical and
the cyber
 The design of CPS, requires understanding the joint dynamics
(not separate dynamics) of computational platforms,
networks, and physical plants.
 Three main parts:
 Physical plant: mechanical parts, biological or chemical processes, or
human operators
 Computational platforms: sensors, actuators, one or more computers,
and (possibly) one or more operating systems
 Network fabric: the mechanisms for the computers to
communicate

Embedded Control 8
CPS - Example

Embedded Control 9
CPS vs. GPC
More fundamental differences of CPS from general-
purpose computation:
 For general-purpose computing, it is not incorrect to take
longer to perform a task. But, in CPS, the time it takes to
perform a task may be critical for correct functioning of the
system.
 In CPS many things happen at once.
 Physical processes are compositions of many things going on
at once (rarely procedural), unlike software processes,
which are deeply rooted in sequential steps.

Embedded Control 10
Contents of the Course
 1. Modeling and Mathematical Descriptions of Dynamic Systems
 Continuous Dynamics
 Discrete Dynamics
 Hybrid Systems
 Composition of State Machines
 Concurrent Models of Computation

 2. Design of Embedded Control Systems


 Sensors and Actuators
 Embedded Processors
 Memory Architectures
 Input and Output
 Multitasking
 Scheduling

 3. Analysis and Verification


 Invariants and Temporal Logic
 Equivalence, Refinement, Simulations
 Reachability Analysis and Model Checking
 Quantitative Analysis

Embedded Control 11
Book Map

Embedded Control 12

You might also like