系统与控制
Low Earth Orbit (LEO) constellation design for navigation augmentation (NA) has attracted increasing attention in navigation satellite system studies, yet balancing navigation performance and deployment cost remains a fundamental challenge.…
The rapid growth of electric vehicles (EVs) is increasing the need to accurately quantify their flexibility as a resource for power system operation. However, most existing approaches rely on simplified or power-controllable models that…
Manufacturing systems exhibit strong concurrency, synchronization, and contention for shared reusable resources, which makes fast and reliable scheduling and verification challenging. Petri nets provide a rigorous formalism for modeling…
This paper studies a probabilistic interpretation of input-to-state stability (ISS) bounds for estimation-error dynamics in continuous-time systems. We show that, if the aggregated disturbance satisfies a probabilistic envelope in an…
This paper addresses the problem of achieving both coarse and precise privacy in state estimation. Coarse privacy forces the eavesdropper's total mean-square error (MSE) to infinity, but errors along certain confidential directions may…
Operating envelopes (OEs) are increasingly used to allocate limits to distributed energy resources (DERs) while maintaining secure distribution network operation. In unbalanced low-voltage feeders, OE calculation based only on voltage…
We propose a robust Extended Kalman Filter (EKF) architecture for land navigation using an array of hundreds of low-cost micro-electromechanical systems (MEMS) inertial sensors. The main challenges in this setting are bursty sensor-specific…
Post-hurricane damage assessment and repair scheduling can require computationally intensive simulation and optimization. This paper presents an integrated two-stage deep-learning tool for rapid damaged-line identification and…
This paper proposes a divergence-based safety measure for large language models (LLMs) under embedding-input attacks. The proposed measure quantifies the worst-case Kullback--Leibler divergence between the clean and attacked LLMs' output…
This paper studies resilient control for cyber-physical systems operating under hidden degraded or compromised modes. We formulate hidden-mode detection and belief-dependent control as a game between two decision makers with different…
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…