arXiv subjects

Ian R. Petersen

Publications and source records attributed to Ian R. Petersen.

At least 19 recordsLinked to original sources

arXiv2026

State-Feedback Passivity Control for Synchronous Machine Systems

The passivity of a generating station enables network stability to be established from conditions verified locally at each station. For synchronous machines, however, passivity can only be certified under conditions on the operating point, and these conditions fail under heavy loading and weak damping. This paper develops a state-feedback controller that enforces passivity using a storage battery connected at the terminal bus. A bilinear term arising from the product of the rotor-speed and stator-current deviations is treated as a bounded uncertainty, leading to robust positive-real conditions that can be enforced by a state feedback control designed using a single algebraic Riccati equation. The resulting controller guarantees passivity whenever the Riccati equation admits a positive-definite solution, with no separate condition on the operating point. Numerical examples show that existing conditions certify passivity only up to a fraction of the rated current, whereas the proposed state-feedback approach certifies it at the rated operating point of the machine.

eess.SY↗

arXiv2026

On the Structure of Quantum Finite-Level Systems: Decoherence-Free Subsystems, Quantum Nondemolition Variables, and Back-Action-Evading Measurements

The purpose of this paper is to conduct a comprehensive structural analysis of quantum finite-level systems in the Heisenberg picture, where the evolution of system observables is modeled by bilinear quantum stochastic differential equations (QSDEs). Firstly, real coordinate transformations that preserve commutation and anticommutation relations are characterized, and relative admissibility between different orthonormal Hermitian bases is formulated. Secondly, strongly aligned subspaces are introduced, based on which decoherence-free subsystems (DFSs) are constructed in general orthonormal Hermitian basis as well as the generalized Gell-Mann basis. Thirdly, conditions for the existence of quantum nondemolition (QND) variables are given in terms of both linear systems theory and spectral separation by output-signal observables. Finally, a sufficient condition for quantum back-action-evading (BAE) measurements is established. A four-qubit nearest-neighbor Heisenberg chain with collective dephasing illustrates these structural properties of quantum finite-level systems.

quant-ph↗

arXiv2026

Plug-in Estimation Method for Topology and Admittance Estimation in Electric Grids

This paper proposes a scalable method for topology and admittance estimation in electric power grids. Our proposed plug-in estimation method incorporates precise phasor measurement unit data to estimate planned or unplanned grid topology and admittance parameter changes. Our plug-in estimation method decouples the problem into two stages: (i) constructing and averaging voltage coefficient matrices and current vectors from phasor data, and (ii) estimating admittance parameters via a least-squares regression approach with thresholding to recover the network topology. Rigidity matrix theory underpins the design of our plug-in estimation method --- to determine the data requirements (e.g., necessary and sufficient conditions) for accurate estimation of the grid topology and admittance parameters. By means of numerical simulations on the IEEE 13-node, 123-node, and European low voltage test feeders, we demonstrate the scalability of our plug-in estimation method and benchmark the computational time against a structured total least squares method. Our simulation results highlight the practicality of the proposed method for topology and admittance estimation in large-scale electric networks, including electric grids with partial topology information.

eess.SY↗

arXiv2026

Unified formalism and adaptive algorithms for optimal quantum state, detector and process tomography

Quantum tomography is a standard technique for characterizing, benchmarking and verifying quantum systems/devices and plays a vital role in advancing quantum technology and understanding the foundations of quantum mechanics. Achieving the highest possible tomography accuracy remains a central challenge. Here we unify the infidelity metrics for quantum state, detector and process tomography in a single index $1-F(\hat S,S)$, where $S$ represents the true density matrix, POVM element, or process matrix, and $\hat S$ is its estimator. We establish a sufficient and necessary condition for any tomography protocol to attain the optimal scaling $1-F= O(1/N) $ where $N$ is the number of state copies consumed, in contrast to the $O(1/\sqrt{N})$ worst-case scaling of static methods. Guided by this result, we propose adaptive algorithms with provably optimal infidelity scalings for state, detector, and process tomography. Numerical simulations and quantum optical experiments validate the proposed methods, with our experiments reaching, for the first time, the optimal infidelity scaling in ancilla-assisted process tomography.

quant-ph↗

arXiv2026

An Electricity Market with Reactive Power Trading: Incorporating Dynamic Operating Envelopes

Electricity market design that accounts for grid constraints such as voltage and thermal limits at the distribution level can increase opportunities for the grid integration of Distributed Energy Resources (DERs). In this paper, we consider rooftop solar backed by battery storage connected to a distribution grid. We design an electricity market to support customers sharing rooftop generation in excess of their energy demand, where customers earn a profit through peer-to-peer (P2P) energy trading. Our proposed electricity market also incorporates P2P reactive power trading to improve the voltage profile across a distribution feeder. We formulate the electricity market as an optimization-based problem, where voltage and thermal limits across a feeder are managed through the assignment of customer-specific dynamic operating envelopes (DOEs). The electricity market equilibrium is referred to as a competitive equilibrium, which is equivalent to a Nash equilibrium in a standard game. Our proposed market design is benchmarked using the IEEE 13-node test feeder.

eess.SY↗

arXiv2026

Equilibrium points and stability of synchronous machine systems

This paper investigates equilibrium points and stability in two synchronous machine configurations: (i) a single generator with an impedance load and (ii) two interconnected machines with co-located loads. We consider both abc and dq reference frames to show that the equilibrium condition reduces to a cubic polynomial in the single-machine case and to an 18th- degree polynomial in the two-machine case. For the single-machine system, Lyapunov stability analysis and linearization based stability analysis are carried out. For the two-machine system, local stability is assessed through linearization and eigenvalue analysis. Illustrative examples confirm the existence of multiple equilibria and illustrate the impact of parameter variation on stability. Our results provide insight into the stability of synchronous machine systems.

eess.SY↗

arXiv2026

Negative Imaginary and Passivity Properties of Synchronous Machine Systems

The recent rapid proliferation of renewable energy is fundamentally changing the dynamic operations of power systems, necessitating new approaches to assess stability for these highly nonlinear systems. In this paper, we prove that synchronous machine systems, modeled in the nonlinear dq-frame, possess fundamental dissipativity properties. Specifically, we show passivity from current input to voltage output and a nonlinear negative imaginary property from torque input to rotor angle output. For the nonlinear system shifted around an equilibrium point, we derive explicit conditions for both passivity and the NI property to hold. Finally, we demonstrate that interconnection with passive droop controllers preserves these dissipativity properties with identical supply rates, thereby ensuring closed-loop stability.

eess.SY↗

arXiv2026

Digital Control of Negative Imaginary Systems Using Discrete-Time Multi-HIGS: Application to a Dual-Stage MEMS Force Sensor

In this paper, we propose a digital control approach for multi-input multi-output negative imaginary (NI) systems using discrete-time hybrid integrator-gain systems (HIGS) controllers. We show the NI property of the bimodal and trimodal discrete-time HIGS, as well as the parallel combinations of them, which are referred to as the multi-HIGS. Also, we demonstrate that linear NI systems can be asymptotically stabilized using discrete-time HIGS in digital control. We apply discrete-time bimodal and trimodal multi-HIGS controllers to a two-input two-output dual-stage force sensor with lightly damped resonant modes. To validate the theoretical findings, the closed-loop performance is evaluated in both time and frequency domains. Experimental results show that the discrete-time multi-HIGS effectively suppresses resonances while preserving favorable phase characteristics, which highlights its potential as a robust nonlinear NI controller for the digital control of NI systems.

eess.SY↗

arXiv2026

Coherent feedback $H^\infty$ control of quantum linear systems

The purpose of this paper is to investigate the coherent feedback $H^\infty$ control problem for linear quantum systems. A key contribution is a simplified design methodology that guarantees closed-loop stability and a prescribed level of disturbance attenuation. It is shown that for general linear quantum systems, a physically realizable quantum controller can be obtained by solving at most four Lyapunov equations. In the passive case, a necessary and sufficient condition is provided in terms of two uncoupled pairs of Lyapunov equations. These results represent a significant simplification over the standard approach, which requires solving two coupled algebraic Riccati equations. The effectiveness of the proposed method is demonstrated through two typical quantum optical devices: an empty optical cavity and a degenerate parametric amplifier. These results provide a computationally efficient procedure for the robust and optimal control of quantum optical and optomechanical systems.

quant-ph↗

arXiv2026

Pointwise and dynamic programming control synthesis for finite-level open quantum memory systems

This paper is concerned with finite-level quantum memory systems for retaining initial dynamic variables in the presence of external quantum noise. The system variables have an algebraic structure, similar to that of the Pauli matrices, and their Heisenberg picture evolution is governed by a quasilinear quantum stochastic differential equation. The latter involves a Hamiltonian whose parameters depend affinely on a classical control signal in the form of a deterministic function of time. The memory performance is quantified by a mean-square deviation of quantum system variables of interest from their initial conditions. We relate this functional to a matrix-valued state of an auxiliary classical control-affine dynamical system. This leads to a pointwise control design where the control signal minimises the time-derivative of the mean-square deviation with an additional quadratic penalty on the control. In an alternative finite-horizon setting with a terminal-integral cost functional, we apply dynamic programming and obtain a quadratically nonlinear Hamilton-Jacobi-Bellman equation, for which a solution is outlined in the form of a recursively computed asymptotic expansion.

math.OC↗

arXiv2026

Velocity-Free Horizontal Position Control of Quadrotor Aircraft via Nonlinear Negative Imaginary Systems Theory

This paper presents a velocity-free position control strategy for quadrotor unmanned aerial vehicles based on nonlinear negative imaginary (NNI) systems theory. Unlike conventional position control schemes that require velocity measurements or estimation, the proposed approach achieves asymptotic stability using only position feedback. We establish that the quadrotor horizontal position subsystem, when augmented with proportional feedback, exhibits the NNI property with respect to appropriately defined horizontal thrust inputs. A strictly negative imaginary integral resonant controller is then designed for the outer loop, and robust asymptotic stability is guaranteed through satisfaction of explicit sector-bound conditions relating controller and plant parameters. The theoretical framework accommodates model uncertainties and external disturbances while eliminating the need for velocity sensors. Simulation results validate the theoretical predictions and demonstrate effective position tracking performance.

eess.SY↗

arXiv2026

Optimal filtering for a giant cavity in waveguide QED systems

In waveguide quantum electrodynamics (QED) systems, a giant cavity can be engineered to interact with quantum fields by multiple distant coupling points so that its non-Markovian dynamics are quite different from traditional quantum optical cavity systems. Towards feedback control this system, this paper designs an optimal filter for the giant cavity systems to estimate its state evolution under continuous quantum measurements. Firstly, the Langevin equation in the Heisenberg picture are derived, which is a linear continuous-time system with both states and inputs delays resulting from the unconventional distant couplings. Compared to existing modeling approaches, this formulation effectively preserves the nonlocal coupling and multiple delay dynamic characteristics inherent in the original system. In particular, the presence of coupling and propagation delays leads to noncommutativity among the system operators at different times, which prevents the direct application of existing quantum filtering methods. To address this issue, an optimal filter is designed, in which the delayed-state covariance matrices are computed. By iteratively evaluating the delayed-state covariance over successive time intervals, the resulting optimal filter can be implemented in an interval-wise backward recursion algorithm. Finally, numerical simulations are conducted to evaluate the tracking performance of the proposed optimal filter for the giant cavity. By comparing between the evolutions of Wigner functions of coherent and cat states and the filter, the effectiveness of the optimal filter is validated.

quant-ph↗

arXiv2025

$\mathscr{H}_2$ Model Reduction for Augmented Model of Linear Non-Markovian Quantum Systems

An augmented system model provides an effective way to model non-Markovian quantum systems, which is useful in filtering and control for this class of systems. However, since a large number of ancillary quantum oscillators representing internal modes of a non-Markovian environment directly interact with the principal system in these models, the dimension of the augmented system may be very large causing significant computational burden in designing filters and controllers. In this context, this paper proposes an $\mathscr{H}_2$ model reduction method for the augmented model of linear non-Markovian quantum systems. We first establish necessary and sufficient conditions for the physical realizability of the augmented model of linear non-Markovian quantum systems, which are more stringent than those for Markovian quantum systems. However, these physical realizability conditions of augmented system model pose non-convex constrains in the optimization problem of model reduction, which makes the problem different from the corresponding classical model reduction problem. To solve the problem, we derive necessary conditions for determining the input matrix in the reduced model, with which a theorem for designing the system matrix of the ancillary system in the reduced system is proved. Building on this, we convert the nonlinear equality constraints into inequality constraints so that a semidefinite programming algorithm can be developed to solve the optimization problem for model reduction. A numerical example of a two-mode linear quantum system driven by three internal modes of a non-Markovian environment validates the effectiveness of our method.

quant-ph↗

arXiv2025

Robust Variational Ground-State Solvers via Dissipative Quantum Feedback Models

We propose a variational framework for solving ground-state problems of open quantum systems governed by quantum stochastic differential equations (QSDEs). This formulation naturally accommodates bosonic operators, as commonly encountered in quantum chemistry and quantum optics. By parameterizing a dissipative quantum optical system, we minimize its steady-state energy to approximate the ground state of a target Hamiltonian. The system converges to a unique steady state regardless of its initial condition, and the design inherently guarantees physical realizability. To enhance robustness against persistent disturbances, we incorporate H-infinity control into the system architecture. Numerical comparisons with the quantum approximate optimization algorithm (QAOA) highlight the method's structural advantages, stability, and physical implementability. This framework is compatible with experimental platforms such as cavity quantum electrodynamics (QED) and photonic crystal circuits.

quant-ph↗

arXiv2025

Measurement-based Initial Point Smoothing and Control Approach to Quantum Memory Systems

This paper is concerned with a quantum memory system for storing quantum information in the form of its initial dynamic variables in the presence of environmental noise. In order to compensate for the deviation from the initial conditions, the classical parameters of the system Hamiltonian are affected by the actuator output of a measurement-based classical controller. The latter uses an observation process produced by a measuring apparatus from the quantum output field of the memory system. The underlying system is modelled as an open quantum harmonic oscillator whose Heisenberg evolution is governed by linear Hudson-Parthasarathy quantum stochastic differential equations. The controller is organised as a classical linear time-varying system, so that the resulting closed-loop system has quantum and classical dynamic variables. We apply linear-quadratic-Gaussian control and fixed-point smoothing at the level of the first two moments and consider controllers with a separation structure which involve a continuously updated estimate for the initial quantum variables. The initial-point smoother is used for actuator signal formation so as to minimise the sum of a mean-square deviation of the quantum memory system variables at a given time horizon from their initial values and an integral quadratic penalty on the control signal.

quant-ph↗

arXiv2025

Tractable Infinite-Horizon Stochastic Model Predictive Control for Quantum Filtering via Eigenstate Reduction

Model predictive control has shown potential to enhance the robustness of quantum control systems. In this work, we propose a tractable Stochastic Model Predictive Control (SMPC) framework for finite-dimensional quantum systems under continuous-time measurement and quantum filtering. Using the almost-sure eigenstate reduction of quantum trajectories, we prove that the infinite-horizon stochastic objective collapses to a fidelity term that is computable in closed form from the one-step averaged state. Consequently, the online SMPC step requires only deterministic propagation of the filter and a terminal fidelity evaluation. An advantage of this method is that it eliminates per-horizon Monte Carlo scenario sampling and significantly reduces computational load while retaining the essential stochastic dynamics. We establish equivalence and mean-square stability guarantees, and validate the approach on multi-level and Ising-type systems, demonstrating favorable scalability compared to sampling-based SMPC.

quant-ph↗

arXiv2025

Generalized collective quantum tomography: algorithm design, optimization, and validation

Quantum tomography is a fundamental technique for characterizing, benchmarking, and verifying quantum states and devices. It plays a crucial role in advancing quantum technologies and deepening our understanding of quantum mechanics. Collective quantum state tomography, which estimates an unknown state \r{ho} through joint measurements on multiple copies $ρ\otimes\cdots\otimesρ$ of the unknown state, offers superior information extraction efficiency. Here we extend this framework to a generalized setting where the target becomes $S_1\otimes\cdots\otimes S_n$, with each $S_i$ representing identical or distinct quantum states, detectors, or processes from the same category. We formulate these tasks as optimization problems and develop three algorithms for collective quantum state, detector and process tomography, respectively, each accompanied by an analytical characterization of the computational complexity and mean squared error (MSE) scaling. Furthermore, we develop optimal solutions of these optimization problems using sum of squares (SOS) techniques with semi-algebraic constraints. The effectiveness of our proposed methods is demonstrated through numerical examples. Additionally, we experimentally demonstrate the algorithms using two-copy collective measurements, where entangled measurements directly provide information about the state purity. Compared to existing methods, our algorithms achieve lower MSEs and approach the collective MSE bound by effectively leveraging purity information.

quant-ph↗

arXiv2025

Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria

This paper is concerned with open quantum memory systems for approximately retaining quantum information, such as initial dynamic variables or quantum states to be stored over a bounded time interval. In the Heisenberg picture of quantum dynamics, the deviation of the system variables from their initial values lends itself to closed-form computation in terms of tractable moment dynamics for open quantum harmonic oscillators and finite-level quantum systems governed by linear or quasi-linear Hudson-Parthasarathy quantum stochastic differential equations, respectively. This tractability is used in a recently proposed optimality criterion for varying the system parameters so as to maximise the memory decoherence time when the mean-square deviation achieves a given critical threshold. The memory decoherence time maximisation approach is extended beyond the previously considered low-threshold asymptotic approximation and to Schrödinger type mean-square deviation functionals for the reduced system state governed by the Lindblad master equation. We link this approach with the minimisation of the mean-square deviation functionals at a finite time horizon and with their discounted version which quantifies the averaged performance of the quantum system as a temporary memory under a Poisson flow of storage requests.

quant-ph↗