Researcher profile

Ian R. Petersen

Ian R. Petersen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
20works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

Covariance-analytic performance criteria, Hardy-Schatten norms and Wick-like ordering of cascaded systems

This paper is concerned with linear stochastic systems whose output is a stationary Gaussian random process related by an integral operator to a standard Wiener process at the input. We consider a performance criterion which involves the trace of an analytic function of the spectral density of the output process. This class of "covariance-analytic" cost functionals includes the usual mean square and risk-sensitive criteria as particular cases. Due to the presence of the "cost-shaping" analytic function, the performance criterion is related to higher-order Hardy-Schatten norms of the system transfer function. These norms have links with the asymptotic properties of cumulants of finite-horizon quadratic functionals of the system output and satisfy variational inequalities pertaining to system robustness to statistically uncertain inputs. In the case of strictly proper finite-dimensional systems, governed in state space by linear stochastic differential equations, we develop a method for recursively computing the Hardy-Schatten norms through a recently proposed technique of rearranging cascaded linear systems, which resembles the Wick ordering of annihilation and creation operators in quantum mechanics. The resulting computational procedure involves a recurrence sequence of solutions to algebraic Lyapunov equations and represents the covariance-analytic cost as the squared $\mathcal{H}_2$-norm of an auxiliary cascaded system. These results are also compared with an alternative approach which uses higher-order derivatives of stabilising solutions of parameter-dependent algebraic Riccati equations.

preprint2022arXiv

Decoherence quantification through commutation relations decay for open quantum harmonic oscillators

This paper is concerned with multimode open quantum harmonic oscillators (OQHOs), described by linear quantum stochastic differential equations with multichannel external bosonic fields. We consider the exponentially fast decay in the two-point commutator matrix of the system variables as a manifestation of quantum decoherence. Such dissipative effects are caused by the interaction of the system with its environment and lead to a loss of specific features of the unitary evolution which the system would have in the case of isolated dynamics. These features are exploited as nonclassical resources in quantum computation and quantum information processing technologies. A system-theoretic definition of decoherence time in terms of the commutator matrix decay is discussed, and an upper bound for it is provided using algebraic Lyapunov inequalities. Employing spectrum perturbation techniques, we investigate the asymptotic behaviour of a related Lyapunov exponent for the oscillator when the system-field coupling is specified by a small coupling strength parameter and a given coupling shape matrix. The invariant quantum state of the system, driven by vacuum fields, in the weak-coupling limit is also studied. We illustrate the results for one- and two-mode oscillators with multichannel external fields and outline their application to a decoherence control problem for a feedback interconnection of OQHOs.

preprint2022arXiv

Global convergence and asymptotic optimality of the heavy ball method for a class of non-convex optimization problems

In this letter we revisit the famous heavy ball method and study its global convergence for a class of non-convex problems with sector-bounded gradient. We characterize the parameters that render the method globally convergent and yield the best $R$-convergence factor. We show that for this family of functions, this convergence factor is superior to the factor obtained from the triple momentum method.

preprint2022arXiv

Infinite-horizon risk-sensitive performance criteria for translation invariant networks of linear quantum stochastic systems

This paper is concerned with networks of identical linear quantum stochastic systems which interact with each other and external bosonic fields in a translation invariant fashion. The systems are associated with sites of a multidimensional lattice and are governed by coupled linear quantum stochastic differential equations (QSDEs). The block Toeplitz coefficients of these QSDEs are specified by the energy and coupling matrices which quantify the Hamiltonian and coupling operators for the component systems. We discuss the invariant Gaussian quantum state of the network when it satisfies a stability condition and is driven by statistically independent vacuum fields. A quadratic-exponential functional (QEF) is considered as a risk-sensitive performance criterion for a finite fragment of the network over a bounded time interval. This functional involves a quadratic function of dynamic variables of the component systems with a block Toeplitz weighting matrix. Assuming the invariant state, we study the spatio-temporal asymptotic rate of the QEF per unit time and per lattice site in the thermodynamic limit of unboundedly growing time horizons and fragments of the lattice. A spatio-temporal frequency-domain formula is obtained for the QEF rate in terms of two spectral functions associated with the real and imaginary parts of the invariant quantum covariance kernel of the network variables. A homotopy method and asymptotic expansions for evaluating the QEF rate are also discussed.

preprint2022arXiv

Making Nonlinear Systems Negative Imaginary via State Feedback

This paper provides a state feedback stabilization approach for nonlinear systems of relative degree less than or equal to two by rendering them nonlinear negative imaginary (NI) systems. Conditions are provided under which a nonlinear system can be made a nonlinear NI system or a nonlinear output strictly negative imaginary (OSNI) system. Roughly speaking, an affine nonlinear system that has a normal form with relative degree less than or equal to two, after possible output transformation, can be rendered nonlinear NI and nonlinear OSNI. In addition, if the internal dynamics of the normal form are input-to-state stable, then there exists a state feedback input that stabilizes the system. This stabilization result is then extended to achieve stability for systems with a nonlinear NI uncertainty.

preprint2022arXiv

Negative Imaginary State Feedback Equivalence for a Class of Nonlinear Systems

In this paper, we investigate the necessary and sufficient conditions under which a class of nonlinear systems are state feedback equivalent to nonlinear negative imaginary (NI) systems with positive definite storage functions. The nonlinear systems of interest have a normal form of relative degree less than or equal to two. The nonlinearity of the system is restricted with respect to a subset of the state variables, which are the state variables that have external dynamics. Under mild assumptions, such systems are state feedback equivalent to nonlinear NI systems and nonlinear output strictly negative imaginary (OSNI) systems if and only if they are weakly minimum phase. Such a state feedback control approach can also asymptotically stabilize the systems in question against nonlinear OSNI system uncertainties. A numerical example is provided to show the process of the state feedback equivalence control and stabilization of uncertain systems.

preprint2022arXiv

Negative Imaginary Systems Theory for Nonlinear Systems: A Dissipativity Approach

Negative imaginary (NI) systems theory is a well-established system theoretic framework for analysis and design of linear-time-invariant (LTI) control systems. In this paper, we aim to generalize negative imaginary systems theory to a class of nonlinear systems. Based on the time domain interpretation of the NI property for LTI systems, a formal definition in terms of a dissipativity with an appropriate work rate will be used to define the nonlinear negative imaginary (NNI) property for a general nonlinear system. Mechanical systems with force actuators and position sensors are nonlinear negative imaginary according to this new definition. Using Lyapunov stability theory, we seek to establish a nonlinear generalization of the NI robust stability result for positive feedback interconnections of NNI systems. An example of a nonlinear mass-spring-damper system with force as input and displacement of the mass as output will be presented to illustrate the applicability of the NNI stability result. Furthermore, the case of NI systems with free motion will be investigated in the nonlinear domain based on the dissipativity framework of NNI systems.

preprint2022arXiv

Robust Fuzzy Q-Learning-Based Strictly Negative Imaginary Tracking Controllers for the Uncertain Quadrotor Systems

Quadrotors are one of the popular unmanned aerial vehicles (UAVs) due to their versatility and simple design. However, the tuning of gains for quadrotor flight controllers can be laborious, and accurately stable control of trajectories can be difficult to maintain under exogenous disturbances and uncertain system parameters. This paper introduces a novel robust and adaptive control synthesis methodology for a quadrotor robot's attitude and altitude stabilization. The developed method is based on the fuzzy reinforcement learning and Strictly Negative Imaginary (SNI) property. The first stage of our control approach is to transform a nonlinear quadrotor system into an equivalent Negative-Imaginary (NI) linear model by means of the feedback linearization (FL) technique. The second phase is to design a control scheme that adapts online the Strictly Negative Imaginary (SNI) controller gains via fuzzy Q-learning, inspired by biological learning. The proposed controller does not require any prior training. The performance of the designed controller is compared with that of a fixed-gain SNI controller, a fuzzy-SNI controller, and a conventional PID controller in a series of numerical simulations. Furthermore, the stability of the proposed controller and the adaptive laws are proofed using the NI theorem.

preprint2022arXiv

Social Shaping of Dynamic Multi-Agent Systems over a Finite Horizon

This paper studies self-sustained dynamic multiagent systems (MAS) for decentralized resource allocation operating at a competitive equilibrium over a finite horizon. The utility of resource consumption, along with the income from resource exchange, forms each agent's payoff which is aimed to be maximized. Each utility function is parameterized by individual preferences which can be designed by agents independently. By shaping these preferences and proposing a set of utility functions, we can guarantee that the optimal resource price at the competitive equilibrium always remains socially acceptable, i.e., it never violates a given threshold that indicates affordability. First, we show this problem is solvable at the conceptual level under some convexity assumptions. Then, as a benchmark case, we consider quadratic MAS and formulate the associated social shaping problem as a multi-agent LQR problem which enables us to propose explicit utility sets using quadratic programming and dynamic programming. Finally, a numerical algorithm is presented for calculating the range of the preference function parameters which guarantee a socially accepted price. Some illustrative examples are given to examine the effectiveness of the proposed methods.

preprint2022arXiv

State-space computation of quadratic-exponential functional rates for linear quantum stochastic systems

This paper is concerned with infinite-horizon growth rates of quadratic-exponential functionals (QEFs) for linear quantum stochastic systems driven by multichannel bosonic fields. Such risk-sensitive performance criteria impose an exponential penalty on the integral of a quadratic function of the system variables, and their minimization improves robustness properties of the system with respect to quantum statistical uncertainties and makes its behaviour more conservative in terms of tail distributions. We use a frequency-domain representation of the QEF growth rate for the invariant Gaussian quantum state of the system with vacuum input fields in order to compute it in state space. The QEF rate is related to a similar functional for a classical stationary Gaussian random process generated by an infinite cascade of linear systems. A truncation of this shaping filter allows the QEF rate to be computed with any accuracy by solving a recurrent sequence of algebraic Lyapunov equations together with an algebraic Riccati equation. The state-space computation of the QEF rate and its comparison with the frequency-domain results are demonstrated by a numerical example for an open quantum harmonic oscillator.

preprint2021arXiv

Velocity-free Attitude Control of Quadrotors: A Nonlinear Negative Imaginary Approach

In this paper, we propose a new approach to the attitude control of quadrotors, by which angular velocity measurements or a model-based observer reconstructing the angular velocity are not needed. The proposed approach is based on recent stability results obtained for nonlinear negative imaginary systems. In specific, by constructing the respective storage functions, we establish the nonlinear negative imaginary properties of the whole quadrotor system and the quadrotor rotational subsystem. Then, an inner-outer loop method will be implemented to synthesize a strictly negative imaginary controller. This guarantees the robust asymptotic stability of the attitude of the quadrotor about its reference signal in the face of modeling uncertainties and external disturbances.

preprint2020arXiv

A homotopy approach to coherent quantum LQG control synthesis using discounted performance criteria

This paper is concerned with linear-quadratic-Gaussian (LQG) control for a field-mediated feedback connection of a plant and a coherent (measurement-free) controller. Both the plant and the controller are multimode open quantum harmonic oscillators governed by linear quantum stochastic differential equations. The control objective is to make the closed-loop system internally stable and to minimize the infinite-horizon quadratic cost involving the plant variables and the controller output subject to quantum physical realizability (PR) constraints. This coherent quantum LQG (CQLQG) control problem, which has been of active research interest for over ten years, does not admit a solution in the form of separation principle and independent Riccati equations known for its classical counterpart. We apply variational techniques to a family of discounted CQLQG control problems parameterized by an effective time horizon. This gives rise to a homotopy algorithm, which is initialized with a PR (but not necessarily stabilizing) controller and aims at a locally optimal stabilizing controller for the original problem in the limit.

preprint2020arXiv

Controllability and Accessibility on Graphs for Bilinear Systems over Lie Groups

This paper presents graph theoretic conditions for the controllability and accessibility of bilinear systems over the special orthogonal group, the special linear group and the general linear group, respectively, in the presence of drift terms. Such bilinear systems naturally induce two interaction graphs: one graph from the drift, and another from the controlled dynamics. As a result, the system controllability or accessibility becomes a property of the two graphs in view of the classical Lie algebra rank condition. We establish a systemic way of transforming the Lie bracket operations in the underlying Lie algebra, into specific operations of removing or creating links over the drift and controlled interaction graphs. As a result, we establish a series of graphical conditions for the controllability and accessibility of such bilinear systems, which rely only on the connectivity of the union of the drift and controlled interaction graphs. We present examples to illustrate the validity of the established results, and show that the proposed conditions are in fact considerably tight.

preprint2020arXiv

Fault-tolerant Coherent H-infinity Control for Linear Quantum Systems

Robustness and reliability are two key requirements for developing practical quantum control systems. The purpose of this paper is to design a coherent feedback controller for a class of linear quantum systems suffering from Markovian jumping faults so that the closed-loop quantum system has both fault tolerance and H-infinity disturbance attenuation performance. This paper first extends the physical realization conditions from the time-invariant case to the time-varying case for linear stochastic quantum systems. By relating the fault tolerant H-infinity control problem to the dissipation properties and the solutions of Riccati differential equations, an H-infinity controller for the quantum system is then designed by solving a set of linear matrix inequalities (LMIs). In particular, an algorithm is employed to introduce additional noises and to construct the corresponding input matrices to ensure the physical realizability of the quantum controller. For real applications of the developed fault-tolerant control strategy, we present a linear quantum system example from quantum optics, where the amplitude of the pumping field randomly jumps among different values. It is demonstrated that a quantum H-infinity controller can be designed and implemented using some basic optical components to achieve the desired control goal.

preprint2020arXiv

Generation of accessible sets in the dynamical modelling of quantum network systems

In this paper, we consider the dynamical modeling of a class of quantum network systems consisting of qubits. Qubit probes are employed to measure a set of selected nodes of the quantum network systems. For a variety of applications, a state space model is a useful way to model the system dynamics. To construct a state space model for a quantum network system, the major task is to find an accessible set containing all of the operators coupled to the measurement operators. This paper focuses on the generation of a proper accessible set for a given system and measurement scheme. We provide analytic results on simplifying the process of generating accessible sets for systems with a time-independent Hamiltonian. Since the order of elements in the accessible set determines the form of state space matrices, guidance is provided to effectively arrange the ordering of elements in the state vector. Defining a system state according to the accessible set, one can develop a state space model with a special pattern inherited from the system structure. As a demonstration, we specifically consider a typical 1D-chain system with several common measurements, and employ the proposed method to determine its accessible set.

preprint2020arXiv

Hybrid filtering for a class of nonlinear quantum systems subject to classical stochastic disturbances

A hybrid quantum-classical filtering problem, where a qubit system is disturbed by a classical stochastic process, is investigated. The strategy is to model the classical disturbance by using an optical cavity. Relations between classical disturbances and the cavity analog system are analyzed. The dynamics of the enlarged quantum network system, which includes a qubit system and a cavity system, are derived. A stochastic master equation for the qubit-cavity hybrid system is given, based on which estimates for the state of the cavity system and the classical signal are obtained. The quantum extended Kalman filter is employed to achieve efficient computation. Numerical results are presented to illustrate the effectiveness of our methods.

preprint2020arXiv

Mean Square Optimal Control by Interconnection for Linear Stochastic Hamiltonian Systems

This paper is concerned with linear stochastic Hamiltonian (LSH) systems subject to random external forces. Their dynamics are modelled by linear stochastic differential equations, parameterised by stiffness, mass, damping and coupling matrices. A class of physical couplings is discussed for such systems using inerters, springs and dampers. We consider a problem of minimising a steady-state quadratic cost functional over the coupling parameters for the interconnection of two LSH systems, one of which plays the role of an analog controller. For this mean square optimal control-by-interconnection setting, we outline first-order necessary conditions of optimality which employ variational methods developed previously for constrained linear quadratic Gaussian control problems.

preprint2020arXiv

On the capability of a class of quantum sensors

Quantum sensors may provide extremely high sensitivity and precision to extract key information in a quantum or classical physical system. A fundamental question is whether a quantum sensor is capable of uniquely inferring unknown parameters in a system for a given structure of the quantum sensor and admissible measurement on the sensor. In this paper, we investigate the capability of a class of quantum sensors which consist of either a single qubit or two qubits. A quantum sensor is coupled to a spin chain system to extract information of unknown parameters in the system. With given initialisation and measurement schemes, we employ the similarity transformation approach and the Grobner basis method to prove that a single-qubit quantum sensor cannot effectively estimate the unknown parameters in the spin chain system while the two-qubit quantum sensor can. The work demonstrates that it is a feasible method to enhance the capability of quantum sensors by increasing the number of qubits in the quantum sensors for some practical applications.

preprint2020arXiv

Stability Analysis of Quantum Systems: a Lyapunov Criterion and an Invariance Principle

In this article, we propose a Lyapunov stability approach to analyze the convergence of the density operator of a quantum system. In analog to the classical probability measure for Markovian processes, we show that the set of invariant density operators is both closed and convex. We then show how to analyze the stability of this set via a candidate Lyapunov operator. We complete our analysis of the set of invariant density operators by introducing an analog of the Barbashin-Krasovskii-La Salle theorem on the dynamics of quantum systems.

preprint2018arXiv

Optimal identification of non-Markovian environments for spin chains

Correlations of an environment are crucial for the dynamics of non-Markovian quantum systems, which may not be known in advance. In this paper, we propose a gradient algorithm for identifying the correlations in terms of time-varying damping rate functions in a time-convolution-less master equation for spin chains. By measuring time trace observables of the system, the identification procedure can be formulated as an optimization problem. The gradient algorithm is designed based on a calculation of the derivative of an objective function with respect to the damping rate functions, whose effectiveness is shown in a comparison to a differential approach for a two-qubit spin chain.