Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a
basic mathematical framework to support description and analysis of timed (computing) …

We describe the timed input/output automata (TIOA) framework, a general mathematical
framework for modeling and analyzing real-time systems. It is based on timed I/O automata …

One of the most significant challenges introduced by mobile networks is co** with the
unpredictable motion and the unreliable behavior of mobile nodes. In this paper, we define …

Current approaches to service composition range from industrial standards (like BPEL and
OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a …

In this paper, we present R ambo, an algorithm for emulating a read/write distributed shared
memory in a dynamic, rapidly changing environment. R ambo provides a highly reliable …

We define a reliable neighbor discovery layer for mobile adhoc networks and present two
algorithms that implement this layer as a service with varying progress guarantees. Our …

Combining; discrete state transitions with differential equations, Hybrid system models
provide an expressive formalism for describing software systems that interact with a physical …

Controlling access to critical zones by drones is crucial for ensuring safety and efficient
operations in various applications. In this research, we propose a strategy for controlling the …

This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …