Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

In this paper we develop an intermittent communication framework for teams of mobile
robots. Robots move along the edges of a mobility graph and communicate only when they …

In this paper, we develop a compositional approach to abstraction and safety synthesis for a
general class of discrete-time nonlinear systems. Our approach makes it possible to define a …

This article investigates the resiliently distributed fixed-time control of frequency recovery
and power allocation in a multi-terminal high voltage direct current (MTDC) system against …

In this paper, we develop a distributed intermittent communication and task planning
framework for mobile robot teams. The goal of the robots is to accomplish complex tasks …

This article studies the tracking control problem of networked multiagent systems under both
multiple networks and event-triggered mechanisms. Multiple networks are to connect …

Diabetes is a widespread disease characterized by chronic hyperglycemia so that diabetic
individuals usually require the administration of exogenous insulin for survival. As a …

Networked control systems (NCSs) are distributed systems where plants, sensors, actuators,
and controllers communicate over shared networks. Nonideal behaviors of the …

In this study, an H∞ attack-tolerant decentralized observer-based formation tracking control
strategy is designed for the network control system (NCS) of large-scale LEO satellite team …