This paper is about better engineering of cyber-physical systems (CPSs) through better
models. Deterministic models have historically proven extremely useful and arguably form …

Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …

An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

'Performance'has become one of the key terms for the new century. But what do we mean
by'performance'? In today's world it can refer to experimental art; productivity in the …

This paper argues that cyber-physical systems present a sub-stantial intellectual challenge
that requires changes in both theories of computation and dynamical systems theory. The …

Complex artificial dynamic systems require advanced modeling techniques that can
accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event …

We give a denotational framework (a" meta model") within which certain properties of
models of computation can be compared. It describes concurrent processes in general terms …

The Ramadge-Wonham framework for control of discrete event systems is augmented with
timing features by use of Ostroff's semantics for timed transition models. It is shown that the …

Stochastic activity networks have been used since the mid-1980s for performance,
dependability, and performability evaluation. They have been used as a modeling formalism …

The markovchain package aims to provide S4 classes and methods to easily handle
Discrete Time Markov Chains (DTMCs), filling the gap with what is currently available in the …