This paper deals with the real-time implementation of feedback controllers. In particular, it
provides an analysis of the stability property of closed-loop systems that include a controller …

As embedded systems architectures become more complex and distributed, checking the
safety of feedback control loops implemented on them becomes a crucial problem for …

With the emergence of complex autonomous systems, multiple control tasks are increasingly
being implemented on shared computational platforms. Due to the resource-constrained …

Future autonomous systems will employ complex sensing, computation, and communication
components for their perception, planning, control, and coordination, and could operate in …

The real-time implementation of periodic controllers requires solving a co-design problem, in
which the choice of the controller sampling period is a crucial element. Classic design …

The usage of weakly hard real-time constraints to model the loss process in Networked
Control Systems aims for studying more realistic network models, while still being able to …

Most works in schedulability analysis theory are based on the assumption that constraints on
the performance of the application can be expressed by a very limited set of timing …

Modern embedded software includes complex functionalities and routines, often
implemented by splitting the code across different tasks. Such tasks communicate their …

We provide algorithmically verifiable necessary and sufficient conditions for fundamental
system theoretic properties of discrete-time linear, systems subject to data losses. More …

Software in autonomous systems like autonomous cars, robots or drones is often
implemented on resource-constrained embedded systems with heterogeneous …