The need to dynamically monitor the modern power grid, react to its disturbances, control,
and protect its operations requires the availability of globally synchronized measurement …

A permissioned blockchain framework typically runs an efficient Byzantine consensus
protocol and is attractive to deploy fast trading applications among a large number of …

Distributed mobile robotics (DMR) involves teams of networked robots navigating in a
physical space to achieve tasks in a coordinated fashion. A major challenge in DMR is to …

Smart grid applications demand the availability of a reliable and accurate time signal.
Measurements and events need to be correctly aligned to enable proper actions and …

This paper presents the HybridSynchAADL modeling language and formal analysis tool for
virtually synchronous cyber-physical systems with complex control programs, continuous …

Abstract We present the Hybrid Synch AADL HYBRIDSYNCH AADL modeling language and
formal analysis tool for virtually synchronous cyber-physical systems with complex control …

Smart cyber-physical systems (CPSs) have complex interaction with their environment which
is rarely known in advance, and they heavily depend on intelligent data processing carried …

In safety-critical cyber-physical systems (CPS), a service failure may result in severe
financial loss or damage in human life. Smart CPSs have complex interaction with their …

Forms of synchrony can greatly simplify modeling, design, and verification of distributed
systems. Thus, recent advances in clock synchronization protocols and their adoption hold …

Smart grid applications demand the availability of a reliable and accurate time signal.
Measurements and events need to be correctly aligned to enable proper actions and …