NECSTFridayTalk – Control Systems in the presence of Computational Problems
NECSTFridayTalk
Prof. Martina Maggio
Computer Science Department
Saarland University
DEIB - NECSTLab Meeting Room (Building 20)
On Line via Facebook
April 14th, 2023
12.30 pm
Contacts:
Marco Santambrogio
Research Line:
System architectures
Prof. Martina Maggio
Computer Science Department
Saarland University
DEIB - NECSTLab Meeting Room (Building 20)
On Line via Facebook
April 14th, 2023
12.30 pm
Contacts:
Marco Santambrogio
Research Line:
System architectures
Abstract
On April 14th, 2023 at 12.30 pm "Control Systems in the presence of Computational Problems" a new appointment of NECSTFridayTalk, will be held by Martina Maggio, Professor at the Computer Science Department at Saarland University, in DEIB NECSTLab Meeting Room.
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.
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.
The NECSTLab is a DEIB laboratory, with different research lines on advanced topics in computing systems: from architectural characteristics, to hardware-software codesign methodologies, to security and dependability issues of complex system architectures.
Every week, the “NECSTFridayTalk” invites researchers, professionals or entrepreneurs to share their work experiences and projects they are implementing in the “Computing Systems”.
Event will hold on line by Facebook.
