For concurrent programming to become mainstream, we must discard threads as a
programming model. Nondeterminism should be judiciously and carefully introduced where …

The Actor model is a mathematical theory that treats" Actors" as the universal primitives of
concurrent digital computation. The model has been used both as a framework for a …

This volume describes how to construct Ptolemy II models for web-based modeling or
building applications. The first chapter includes an overview of Ptolemy II software, and a …

Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due
to the deep intertwining of software and hardware, and the complex, continuous interactions …

The discrete-event (DE) domain supports time-oriented models of systems such as
queueing systems, communication networks, and digital hardware. In this domain, actors …

We consider concurrent models of computation where “actors”(components that are in
charge of their own actions) communicate by exchanging messages. The interfaces of actors …

In this paper, we consider concurrent models of computation where” actors”(components
that are in charge of their own actions) communicate by exchanging messages. The …

Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software
Architecture) Page 1 Heterogeneous Concurrent Modeling and Design in Java (Volume 2 …

Designing cost-sensitive real-time control systems for safety-critical applications requires a
careful analysis of both performance versus cost aspects and fault coverage of fault tolerant …

This paper addresses the conceptual design of Mobile Cyber-Physical Systems (MCPS)
forming a part of a convoy of similar vehicles operating as a system of systems. MCPS are a …