Redox stress defines the small artery vasculopathy of hypertension: how do we bridge the bench-to-bedside gap?

Although convincing experimental evidence demonstrates the importance of vascular reactive oxygen and nitrogen species (RONS), oxidative stress, and perturbed redox signaling as causative processes in the vasculopathy of hypertension, this has not translated to the clinic. We discuss this bench-to-bedside disparity and the urgency to progress vascular redox pathobiology from experimental models to patients by studying disease-relevant human tissues. It is only through such approaches that the unambiguous role of vascular redox stress will be defined so that mechanism-based therapies in a personalized and precise manner can be developed to prevent, slow, or reverse progression of small-vessel disorders and consequent hypertension

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach

This paper considers the safety-critical navigation problem with Signal Temporal Logic (STL) tasks. We developed an explicit reference governor-guided control barrier function (ERG-guided CBF) method that enables the application of first-order CBFs to high-order linearizable systems. This method significantly reduces the conservativeness of the existing CBF approaches for high-order systems. Furthermore, our framework provides safety-critical guarantees in the sense of obstacle avoidance by constructing the margin of safety and updating direction of safe evolution in the agent's state space. To improve control performance and enhance STL satisfaction, we employ efficient gradient-based methods for iteratively learning optimal parameters of ERG-guided CBF. We validate the algorithm through both high-order linear and nonlinear systems. A video demonstration can be found on: \url{https://youtu.be/ZRmsA2FeFR4

Model-Free Output Feedback Path Following Control for Autonomous Vehicle With Prescribed Performance Independent of Initial Conditions

Time-delay control (TDC) is widely recognized as a robust and straightforward model-free control approach for complex systems. However, the transient performance and settling time are often given less consideration in most TDC-based controllers. In this article, we propose an integrated control protocol that combines fixed-time prescribed performance control with time-delay estimation techniques for autonomous ground vehicles. The proposed control paradigm offers the advantages of being model-free while ensuring that the preview error converges to a neighborhood of zero within a fixed time, adhering to predefined constraint functions. To overcome the limitations of commonly used exponential decay boundaries, a prescribed performance function that remains independent of the initial conditions is employed. Furthermore, a high-order model-free fixed-time differentiator is constructed to observe the high-order dynamics of the preview error, which are essential for estimating unknown model dynamics. Finally, the simulations and practical experiments have been conducted to demonstrate the superiority of our proposed control protocol

Connectivity in the presence of an opponent

The paper introduces two player connectivity games played on finite bipartite graphs. Algorithms that solve these connectivity games can be used as subroutines for solving M\"uller games. M\"uller games constitute a well established class of games in model checking and verification. In connectivity games, the objective of one of the players is to visit every node of the game graph infinitely often. The first contribution of this paper is our proof that solving connectivity games can be reduced to the incremental strongly connected component maintenance (ISCCM) problem, an important problem in graph algorithms and data structures. The second contribution is that we non-trivially adapt two known algorithms for the ISCCM problem to provide two efficient algorithms that solve the connectivity games problem. Finally, based on the techniques developed, we recast Horn's polynomial time algorithm that solves explicitly given M\"uller games and provide an alternative proof of its correctness. Our algorithms are more efficient than that of Horn's algorithm. Our solution for connectivity games is used as a subroutine in the algorithm

Efficient motional-mode characterization for high-fidelity trapped-ion quantum computing

To achieve high-fidelity operations on a large-scale quantum computer, the parameters of the physical system must be efficiently characterized with high accuracy. For trapped ions, the entanglement between qubits are mediated by the motional modes of the ion chain, and thus characterizing the motional-mode parameters becomes essential. In this paper, we develop and explore physical models that accurately predict both magnitude and sign of the Lamb-Dicke parameters when the modes are probed {\it in parallel}. We further devise an advanced characterization protocol that shortens the characterization time by more than an order of magnitude, when compared to that of the conventional method that only uses mode spectroscopy. We discuss potential ramifications of our results to the development of a scalable trapped-ion quantum computer, viewed through the lens of system-level resource trade offs.Comment: 18 pages, 8 figure

Distributed Fixed-Time Control for Leader-Steered Rigid Shape Formation with Prescribed Performance

Resorting to the principle of rigid body kinematics, a novel framework for a multi-robot network is proposed to form and maintain an invariant rigid geometric shape. Unlike consensus-based formation, this approach can perform both translational and rotational movements of the formation geometry, ensuring that the entire formation motion remains consistent with the leader. To achieve the target formation shape and motion, a distributed control protocol for multiple Euler-Lagrange robotic vehicles subject to nonholonomic constraints is developed. The proposed protocol includes a novel prescribed performance control (PPC) algorithm that addresses the second-order dynamics of the robotic vehicles by employing a combination of nonsingular sliding manifold and adaptive law. Finally, the effectiveness of the proposed formation framework and control protocol is demonstrated through the numerical simulations and practical experiments with a team of four robotic vehicles

Interactions between dislocations and three-dimensional annealing twins in face centered cubic metals

Annealing twins often form in metals with a face centered cubic structure during thermal and mechanical processing. Here, we conducted molecular dynamic (MD) simulations for copper and aluminum to study the interaction processes between {1 1 1}1/2 \u3c1 1 0\u3e dislocations and a three-dimensional annealing twin. Twin boundaries are characterized with Σ3{1 1 1} coherent twin boundaries (CTBs) and Σ3{1 1 2} incoherent twin boundaries (ITBs). MD results revealed that dislocation-ITB interactions affect slip transmission for a dislocation crossing CTBs, facilitating the nucleation of Lomer dislocation

Adaptive Sliding Mode Fault Tolerant Control for Autonomous Vehicle With Unknown Actuator Parameters and Saturated Tire Force Based on the Center of Percussion

With consideration of tire force saturation in vehicle motions, a novel path-following controller is developed for autonomous vehicles with unknown-bound disturbances and unknown actuator parameters. An adaptive sliding-mode fault-tolerant control (ASM-FTC) strategy is designed to stabilize the path-following errors without any information of disturbance boundaries, actuator fault boundaries and steering ratio from the steering wheel to the front wheels. By selecting the distance from the center of gravity to the center of percussion as the preview length, the effects of the lateral rear-tire force are decoupled and cancelled out, and then the preview error, which represents the path-following performance, can be only commanded by the front-tire force. To further address the issue of unknown tire-road friction limits, a modified ASM-FTC strategy is presented to improve the path-following performance as the lateral tire force is saturated. Simulation results show that the modified ASM-FTC controller demonstrates superior tracking performance over the normal ASM-FTC while the autonomous vehicle follows desired paths