A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

In this note, we revisit the problem of scheduling stabilizing control tasks on embedded
processors. We start from the paradigm that a real-time scheduler could be regarded as a …

This chapter surveys timed automata as a formalism for model checking real-time systems.
We begin with introducing the model, as an extension of finite-state automata with real …

We present a model, task automata, for real time systems with non-uniformly recurring
computation tasks. It is an extended version of timed automata with asynchronous processes …

It is predicted that multicores will be increasingly used in future embedded real-time systems
for high performance and low energy consumption. The major obstacle is that we may not …

Embedded systems involve the monitoring and control of complex physical processes using
applications running on dedicated execution platforms in aresource-constrained manner in …

We study the temporal robustness of stochastic signals. This topic is of particular interest in
interleaving processes such as multi-agent systems where communication and individual …

We study the temporal robustness of temporal logic specifications and show how to design
temporally robust control laws for time-critical control systems. This topic is of particular …

Motivated by a string of recent errata, the paper argues that mechanized, yet readable
schedulability proofs are desirable, feasible to create with current tools and with reasonable …

This paper provides a survey on task models to characterize real-time workloads at different
levels of abstraction for the design and analysis of real-time systems. It covers the classic …