Campus Event Calendar
Event Entry
What and Who
The Power of Feedback in a Cyber-Physical World
Dr. Anne-Kathrin Schmuck
Max Planck Institute for Software Systems
SWS Colloquium
Anne-Kathrin Schmuck is an independent research group leader at the Max
Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern,
Germany. Her group is externally funded by the Emmy Noether Programme of
the German Science Foundation (DFG). She received the Dipl.-Ing. (M.Sc)
degree in engineering cybernetics from OvGU Magdeburg, Germany, in 2009
and the Dr.-Ing. (Ph.D.) degree in electrical engineering from TU
Berlin, Germany, in 2015. Between 2015 and 2020 she was a postdoctoral
researcher at MPI-SWS mentored by Rupak Majumdar. She currently serves
as the co-chair of the IEEE CSS Technical Committee on Discrete Event
Systems and as associate editor for the Springer Journal on Discrete
Event Dynamical Systems, the IEEE Open Journal of Control Systems and
the IFAC Journal on Nonlinear Analysis: Hybrid Systems. Her current
research interests include cyber-physical system design, logical control
software synthesis, reliability of automation systems and dynamical
systems theory.
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 28 February 2023
09:30
60 Minutes
G26
111
Kaiserslautern
Abstract
Feedback allows systems to seamlessly and instantaneously adapt their
behavior to their environment and is thereby the fundamental principle
of life and technology -- it lets animals breathe, it stabilizes the
climate, it allows airplanes to fly, and the energy grid to operate.
During the last century, control technology excelled at using this power
of feedback to engineer extremely stable, robust, and reliable
technological systems.
With the ubiquity of computing devices in modern technological systems,
feedback loops become cyber-physical -- the laws of physics governing
technological, social or biological processes interact with (cyber)
computing systems in a highly nontrivial manner, pushing towards higher
and higher levels of autonomy and self-regulation. While reliability of
these systems remains of utmost importance, a fundamental understanding
of cyber-physical feedback loops for large-scale CPS is lacking far
behind.
In this talk I will discuss how a control-inspired view on formal
methods for reliable software design enables us to utilize the power of
feedback for robust and reliable self-adaptation in cyber-physical
system design.
Please contact office team for link information.
behavior to their environment and is thereby the fundamental principle
of life and technology -- it lets animals breathe, it stabilizes the
climate, it allows airplanes to fly, and the energy grid to operate.
During the last century, control technology excelled at using this power
of feedback to engineer extremely stable, robust, and reliable
technological systems.
With the ubiquity of computing devices in modern technological systems,
feedback loops become cyber-physical -- the laws of physics governing
technological, social or biological processes interact with (cyber)
computing systems in a highly nontrivial manner, pushing towards higher
and higher levels of autonomy and self-regulation. While reliability of
these systems remains of utmost importance, a fundamental understanding
of cyber-physical feedback loops for large-scale CPS is lacking far
behind.
In this talk I will discuss how a control-inspired view on formal
methods for reliable software design enables us to utilize the power of
feedback for robust and reliable self-adaptation in cyber-physical
system design.
Please contact office team for link information.
Contact
Geraldine Anderson
+49 631 9303 9607
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 5
029
passcode not visible
logged in users only
Geraldine Anderson, 02/27/2023 11:34 -- Created document.