The problem of global dissipativity analysis for quaternion-valued neural networks (QVNNs)
with time-varying delays is firstly investigated in this paper. The QVNN is studied as a single …

A small-gain theorem in the formulation of barrier function is developed in this work for safety
verification of interconnected systems. This result is helpful to verify input-to-state safety …

Platooning of connected and autonomous vehicles (CAVs) has a significant potential for
throughput improvement. However, the interaction between CAVs and non-CAVs may limit …

We study the optimal control of multiple-input and multiple-output dynamical systems via the
design of neural network-based controllers with stability and output tracking guarantees …

Many techniques for verifying properties of continuous-time systems are limited to systems of
moderate size. In this paper, we propose an approach based on assume-guarantee …

Platooning connected and autonomous vehicles (CAVs) can improve traffic and fuel
efficiency. However, scalable platooning operations require junction-level coordination …

Vehicle platooning is a promising technology that can lead to significant fuel savings and
emission reduction. However, the macroscopic impact of vehicle platoons on highway traffic …

This article develops a small-gain technique for the safety analysis and verification of
interconnected systems with high-relative-degree safety constraints. To this end, a high …

Many techniques for verifying invariance properties are limited to systems of moderate size.
In this paper, we propose an approach based on assume-guarantee contracts and …

Monotone systems preserve a partial ordering of states along system trajectories and are
often amenable to separable Lyapunov functions that are either the sum or the maximum of …