Abstract Cyber-Physical Systems (CPS) refer to systems where some intelligence is
embedded into devices that interact with their environment. Using wireless technology in …

Although wireless control is one of the key technologies for future industries, most wireless
networks are only used for monitoring. When wireless networks are applied to transmit …

Many-to-many/all-to-all sharing of data is one of the common requirements in any
distributed/decentralized system. In low-power wireless distributed systems composed of …

There has been a growing interest to adopt low-power wide-area network technology,
specially LoRa, for industrial control applications. Its machine-to-machine communication …

Distributed model predictive control (DMPC) is often used to tackle path planning for
unmanned aerial vehicle (UAV) swarms. However, it requires considerable computations on …

This work is concerned with a formal approach for safety controller synthesis of stochastic
control systems with both process and measurement noises while considering wireless …

This paper offers a formal data-driven scheme for constructing control barrier certificates
(CBC) and synthesizing safety controllers for discrete-time control systems. Our framework …

Over the past years, various low-power wireless protocols based on synchronous
transmissions (ST) have been developed to meet the high dependability requirements of …

Model Predictive Control (MPC) is a method to control nonlinear systems with guaranteed
stability and constraint satisfaction but suffers from high computation times. Approximate …

Modern control systems are embracing multi-tier architectures integrating end devices and
edge servers. However, due to the distinct control performance demands associated with …