Many networked systems require a central authority to enforce a global configuration against local peer influence. We study influence dynamics on finite weighted directed graphs with a distinguished hub node and binary vertex states ('Glory' or 'Gnash'). We give a sharp, local, and efficiently checkable criterion that guarantees global convergence to Glory in a single synchronous update from any initial state. At each non-hub vertex, the incoming weight from the hub must at least match the total incoming weight from all other nodes. Specialising in uniform hub broadcasts, the exact threshold equals the maximum non-hub incoming weight over all vertices, and we prove this threshold is tight. We extend the result to a tau-biased update rule and to asynchronous (Gauss-Seidel) schedules, where a single pass still suffices under the same domination hypothesis. Machine-checked proofs in Coq accompany all theorems.
In this paper, we describe the algorithm to measure the stroke of solenoid using the electric characteristics of the solenoid, without mechanical attachments. We also describe the experimental results of controlling the solenoid stroke at intermediate position.
A new concept called biased derivative is proposed. It has a potential to better understand and model some aspects of dynamical systems associated with creating bubbles.
This note corrects some technical inaccuracies in a recently published paper on predefined-time convergence (Automatica 112 (2020) 108710) and discusses implementation issues of the presented control algorithm.
The goal of the automatic tuning algorithm is to compute suitable values for the controller gains, including the proportional (Kp), integral (Ki), and derivative (Kd), as well as the tachometer feedback gain (Kv).
The kinematic model for the planar Purcell's swimmer - a low Reynolds number microswimmer is derived and used extensively in the literature. We revisit the derivation and give the explicit expression of the local form of the connection form in this note.
The model-free adaptive control (MFAC) law is a promising method in applications. We analyzed model-free adaptive control (MFAC) law through closed-loop function to widen its application range.
This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).
This chapter provides a concise survey on different dissipativity conditions that have appeared in the literature on economic model predictive control and discusses their decisive role in this context.
Sie haben es wieder getan: Nachdem arXiv erst im April um Applied Physics erweitert wurde, sind jetzt mit Electrical Engineering and Systems Science EESS und Economics Econ gleich zwei weitere Fachgebiete hinzugekommen.
Sie haben es wieder getan: Nachdem arXiv erst im April um Applied Physics erweitert wurde, sind jetzt mit Electrical Engineering and Systems Science EESS und Economics Econ gleich zwei weitere Fachgebiete hinzugekommen.
An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this paper we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.
The present document aims at providing a short, didactical introduction to three standard versions of the Kalman filter, namely its variants identified as Basic, Extended, and Unscented. The application of these algorithms in three representative problems is discussed.