In practice, safety-critical cyber-physical systems (CPS) are often implemented using high
quality-of-service (QoS) resources to provide maximum performance in all scenarios. Such …

Software-based control of physical systems is common in domains such as automotive,
avionics, and industrial automation. Safety of such systems is determined by control …

In modern autonomous systems, there is typically a large number of connected components
realizing complex functionalities. For example, in autonomous vehicles (AVs), there are tens …

One emerging research direction to address the design of Cyber-Physical Systems (CPS) is
the co-design of the architecture and the controllers. The co-design techniques integrate the …

Abstract Many Cyber-Physical Systems (CPSs) in industrial applications are embedded
control systems. With the increasing scale and complexity of such system, the resource …

Switched networks following the time-triggered paradigm rely on static schedules that
determine the communication pattern over each link. In order to tolerate link failures …

This paper proposes a communication framework (CM) that supports both of synchronous
and asynchronous communication between a client and a server. Original CM is an event …

This thesis addresses the problem of synthesizing communication-centric automotive CPS.
In particular, it proposes three approaches addressing broadly three requirements in the …

The thesis shows that holistic optimization is possible in cyber-physical systems (CPS)
design when heterogeneous models from different engineering domains are considered in …