系统与控制
A lateral velocity estimation scheme whose stability can be analytically derived (rather than empirically demonstrated through cut-and-try) is attempted. The designed adaptive sliding mode observer shows robust performance under a wide…
The DC optimal power flow is widely used in power system operations because of its computational efficiency and scalability. However, DC dispatches are not guaranteed to satisfy the nonlinear AC power-flow equations or associated…
Decarbonisation is raising the electrical load on mainline alternating-current railway feeders that were not designed for sustained, simultaneous high-power demand. When several trains accelerate together on a shared feeder, the…
Power delivery -- including high-to-low voltage conversion, complex power distribution across heterogeneously integrated chiplets, and efficient interconnect allocation -- remains a critical bottleneck in high-performance computing (HPC)…
Variational quantum reinforcement learning offers a compact policy class for building-energy control, but it inherits a deployment weakness shared by learned controllers: when the thermal model is locally wrong, a policy that appears safe…
Feasibility-restoration layers turn learned, market-based, or optimizer-generated decisions into actions satisfying hard constraints in systems such as power grids. Yet a repair is only as trustworthy as its constraint model: line…
This paper addresses the harmonic instability problem of the virtual-admittance (VA)-based grid-forming control. It is revealed that the intra-loop coupling among the VA control, the inner-loop current control, and the voltage feedforward…
This letter studies the budgeted scheduling of stealthy false data-injection (FDI) attacks against state estimators in cyber-physical systems. Existing event-based attack schedulers require full knowledge of the plant model and assume the…
The cart-pole swing-up is a canonical benchmark for nonlinear control of underactuated systems, yet an end-to-end guarantee linking the global swing-up maneuver to the local stabilizer is seldom formalized. We present a reachability…
Ensuring the operational safety of quadrotors under partial actuator failures, lumped external disturbances, and malicious cyberattacks is a critical challenge due to the system's underactuated and highly nonlinear nature. Building on the…
Accurate and efficient parameter estimation is essential for applying electrochemical battery models in simulation, state estimation, control, and repeated model updating. However, conventional optimization methods, such as particle swarm…
PAC-Bayesian bounds provide finite-sample guarantees for data-dependent randomized predictors, but applying them to learning-based control is difficult because the natural objective is a quadratic trajectory cost. Such losses are unbounded,…
We address the problem of robust controller synthesis for a class of linear temporal logic (LTL) specifications over families of perturbed systems using symbolic control techniques. Given a dynamical system, a specification, and a symbolic…
The driveability of a new heavy-truck driveline is traditionally assessed using physical prototypes. Enabling early evaluation of the driving experience in a human-in-the-loop driving simulator using a virtual prototype has the potential to…
The growing penetration of inverter-based resources (IBRs) necessitates stability assessment methods that are scalable, decentralized, and model-agnostic. This paper develops a block diagonal dominance (BDD) criterion for decentralized…
We propose an agentic Large Language Model (LLM) framework for active Fault-Tolerant Control (FTC) that transforms fault detection outputs into constraint-aware recovery actions grounded in plant-specific knowledge. The approach couples (i)…
Fast charging is decisive for electric-vehicle adoption, but field chargers are deployed as one setting while the cell's true thermal state, ambient temperature, and cooling-system health are uncertain. A current that is safe for a healthy…
In this paper, we study distributed circumnavigation of a stationary target by a heterogeneous team of agents. Each agent is modelled as a disk rather than a point mass to account for its physical dimensions. The target location is assumed…
Separable scheduling unleashes the deployment flexibility of mobile emergency resources by dispatching carriers and functional modules separately yet in a coordinated manner, offering a promising avenue to enhance power system resilience.…
Understanding human responses to autonomous vehicle (AV) behaviors is essential for socially aware interaction, which is crucial for socially compatible navigation in shared traffic environments. We characterize human driving responses in…