Control theory allows one to design controllers that are robust to external disturbances,
model simplification, and modelling inaccuracy. Researchers have investigated whether the …

Cyber-physical systems (CPS) are typically implemented as a set of real-time control tasks
with periodic activation. When a control task misses it's deadline, policies for handling …

The edge computing paradigm extends the architectural space of real-time systems by
bringing the capabilities of the cloud to the edge. Unlike cloud-native systems designed for …

The feedback control of a cyber-physical system consists of a sensor-cyber-actuator
pipeline. Controls are typically updated periodically and held constant between updates …

Operating electronics at elevated temperatures can severely reduce expected lifetime. Many
cyber-physical systems operate in environments where it is challenging to maintain effective …

Learning enabled components (LECs), while critical for decision making in autonomous
vehicles (AVs), are likely to make incorrect decisions when presented with samples outside …

This paper outlines formal methods and design automation techniques for exact checking of
control safety and reachability properties of cyber-physical systems (CPS), under timing …

A tradeoff between the Quality of Control of a controlled plant and the thermal stress suffered
by the controlling cyber platform is modeled under conditions allowing a small fraction of …

In industrial sites, multiple real-time control systems often share computing resources.
However, burst computing tasks may lead to the dropping of control computing subtasks …