Over the past two decades, the volume of electronics and software in cars have grown
tremendously. But this growth has also resulted in hardware and software architectures that …

Due to the continuous interaction with the physical world, autonomous cyber-physical
systems (CPS) require both functional and temporal correctness. Despite recent advances in …

Control systems are by design robust to various disturbances, ranging from noise to
unmodelled dynamics. Recent work on the weakly hard model---applied to controllers---has …

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 …

Weakly-hard models have been used to analyse real-time systems subject to patterns of
deadline hits and misses. However, the tools that are available in the literature have a set of …

Software in autonomous systems, owing to performance requirements, is deployed on
heterogeneous hardware comprising task specific accelerators, graphical processing units …

Most off-the-shelf embedded control systems lack proper mechanisms to handle
computational overload conditions. Therefore, delays may accumulate and produce …

Multi-core platforms are becoming increasingly prevalent in cyber-physical systems such as
automobiles and robots. However, contention for shared resources makes it challenging to …

This paper considers control systems with failures in the feedback channel, that occasionally
lead to loss of the control input signal. A useful approach for modeling such failures is to …