License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.NG-RES.2023.1
URN: urn:nbn:de:0030-drops-177320
Go to the corresponding OASIcs Volume Portal

Maggio, Martina

Control Systems in the Presence of Computational Problems (Invited Talk)

OASIcs-NG-RES-2023-1.pdf (0.3 MB)


Feedback control is a central enabling technology in a wide range of applications. Control systems are at the core of energy distribution infrastructure, regulate the behaviour of engines in vehicles, and are embedded in household appliances like washing machines. Control is centred around the feedback mechanism. Sensors provide information about the current state of the physical environment. This is used to compute suitable control actions to fulfil performance requirements, that are then implemented by actuators. For example, adaptive cruise control systems use measurements from a range of sensors to determine how to adjust the throttle to automatically regulate the vehicle’s speed, while maintaining a safe distance from vehicles ahead.
Control actions are often calculated using hardware and software. Hence, the computation of the new control signals is subject to accidental faults, systematic issues, and software bugs. In practice, these computational problems are often ignored. But when can this be done safely? This talk will introduce a framework for analyzing the behaviour of control software subject to computational problems. The focus will be on the development of tools that can certify when control software is able to fulfil the system requirements, despite the presence of computational problems.

BibTeX - Entry

  author =	{Maggio, Martina},
  title =	{{Control Systems in the Presence of Computational Problems}},
  booktitle =	{Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)},
  pages =	{1:1--1:1},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-268-6},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{108},
  editor =	{Terraneo, Federico and Cattaneo, Daniele},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-177320},
  doi =		{10.4230/OASIcs.NG-RES.2023.1},
  annote =	{Keywords: control systems, fault tolerance}

Keywords: control systems, fault tolerance
Collection: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023)
Issue Date: 2023
Date of publication: 16.03.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI