Source author record

Jr-Shin Li

Jr-Shin Li appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

31 published item(s)

preprint2024arXiv

Legendre-Moment Transform for Linear Ensemble Control and Computation

Ensemble systems, pervasive in diverse scientific and engineering domains, pose challenges to existing control methods due to their massive scale and underactuated nature. This paper presents a dynamic moment approach to addressing theoretical and computational challenges in systems-theoretic analysis and control design for linear ensemble systems. We introduce the Legendre-moments and Legendre-moment transform, which maps an ensemble system defined on the $L^2$-space to a Legendre-moment system defined on the $\ell^2$-space. We show that this pair of systems is of one-to-one correspondence and shares the same controllability property. This equivalence admits the control of an ensemble system through the control of the corresponding Legendre-moment system and inspires a unified control design scheme for linear ensemble systems using structured truncated moment systems. In particular, we develop a sampling-free ensemble control design algorithm, then conduct error analysis for control design using truncated moment systems and derive error bounds with respect to the truncation orders, which are illustrated with numerical examples.

preprint2022arXiv

Bilinear Systems Induced by Proper Lie Group Actions

In the study of induced bilinear systems, the classical Lie algebra rank condition (LARC) is known to be impractical since it requires computing the rank everywhere. On the other hand, the transitive Lie algebra condition, while more commonly used, relies on the classification of transitive Lie algebras, which is elusive except for few simple geometric objects such as spheres. We prove in this note that for bilinear systems induced by proper Lie group actions, the underlying Lie algebra is closely related to the orbits of the group action. Knowing the pattern of the Lie algebra rank over the manifold, we show that the LARC can be relaxed so that it suffices to check the rank at an arbitrary single point. Moreover, it removes the necessity for classifying transitive Lie algebras. Finally, this relaxed rank condition also leads to a characterization of controllable submanifolds by orbits.

preprint2020arXiv

A Convex-Geometric Approach to Ensemble Control Analysis and Design in a Hilbert Space

In this paper, we tackle the long-standing challenges of ensemble control analysis and design using a convex-geometric approach in a Hilbert space setting. Specifically, we formulate the control of linear ensemble systems as a convex feasibility problem in a Hilbert space, which can be solved by iterative weighted projections. Such a non-trivial geometric interpretation not only enables a systematic design principle for constructing feasible, optimal, and constrained ensemble control signals, but also makes it possible for numerical examination of ensemble reachability and controllability. Furthermore, we incorporate this geometric approach into an iterative framework and illustrate its capability to derive feasible controls for steering bilinear ensemble systems. We conduct various numerical experiments on the control of linear and bilinear ensembles to validate the theoretical developments and demonstrate the applicability of the proposed convex-geometric approach.

preprint2020arXiv

Combinatorics-Based Approaches to Controllability Characterization for Bilinear Systems

The control of bilinear systems has attracted considerable attention in the field of systems and control for decades, owing to their prevalence in diverse applications across science and engineering disciplines. Although much work has been conducted on analyzing controllability properties, the mostly used tool remains the Lie algebra rank condition. In this paper, we develop alternative approaches based on theory and techniques in combinatorics to study controllability of bilinear systems. The core idea of our methodology is to represent vector fields of a bilinear system by permutations or graphs, so that Lie brackets are represented by permutation multiplications or graph operations, respectively. Following these representations, we derive combinatorial characterization of controllability for bilinear systems, which consequently provides novel applications of symmetric group and graph theory to control theory. Moreover, the developed combinatorial approaches are compatible with Lie algebra decompositions, including the Cartan and non-intertwining decomposition. This compatibility enables the exploitation of representation theory for analyzing controllability, which allows us to characterize controllability properties of bilinear systems governed by semisimple and reductive Lie algebras.

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

Disentangling Drift- and Control- Vector Fields for Interpretable Inference of Control-affine Systems

Many engineered as well as naturally occurring dynamical systems do not have an accurate mathematical model to describe their dynamic behavior. However, in many applications, it is possible to probe the system with external inputs and measure the process variables, resulting in abundant data repositories. Using the time-series data to infer a mathematical model that describes the underlying dynamical process is an important and challenging problem. In this work, we propose a model reconstruction procedure for inferring the dynamics of a class of nonlinear systems governed by an input affine structure. In particular, we propose a data generation and learning strategy to decouple the reconstruction problem associated with the drift- and control- vector fields, and enable quantification of their respective contributions to the dynamics of the system. This learning procedure leads to an interpretable and reliable model inference approach. We present several numerical examples to demonstrate the efficacy and flexibility of the proposed method.

preprint2020arXiv

Ensemble Control on Lie Groups

Problems involving control of large ensmebles of structurally identical dynamical systems, called \emph{ensemble control}, arise in numerous scientific areas from quantum control and robotics to brain medicine. In many of such applications, control can only be implemented at the population level, i.e., through broadcasting an input signal to all the systems in the population, and this new control paradigm challenges the classical systems theory. In recent years, considerable efforts have been made to investigate controllability properties of ensemble systems, and most works emphasized on linear and some forms of bilinear and nonlinear ensemble systems. In this paper, we study controllability of a broad class of bilinear ensemble systems defined on semisimple Lie groups, for which we define the notion of ensemble controllability through a Riemannian structure of the state space Lie group. Leveraging the Cartan decomposition of semisimple Lie algebras in representation theory, we develop a \emph{covering method} that decomposes the state space Lie group into a collection of Lie subgroups generating the Lie group, which enables the determination of ensemble controllability by controllability of the subsystems evolving on these Lie subgroups. Using the covering method, we show the equivalence between ensemble and classical controllability, i.e., controllability of each individual system in the ensemble implies ensemble controllability, for bilinear ensemble systems evolving on semisimple Lie groups. This equivalence makes the examination of controllability for infinite-dimensional ensemble systems as tractable as for a finite-dimensional single system.

preprint2020arXiv

Moment-Based Ensemble Control

Controlling a large population, in the limit, a continuum, of structurally identical dynamical systems with parametric variations is a pervasive task in diverse applications in science and engineering. However, the severely underactuated nature and the inability to avail comprehensive state feedback information of such ensemble systems raise significant challenges in analysis and design of ensemble systems. In this paper, we propose a moment-based ensemble control framework, which incorporates and expands the method of moments in probability theory to control theory. In particular, we establish an equivalence between ensemble systems and their moment systems in terms of control and their controllability properties by extending the Hausdorff moment problem from the perspectives of differential geometry and dynamical systems. The developments enable the design of moment-feedback control laws for closing the loop in ensemble systems using the aggregated type of measurements. The feasibility of this closed-loop control design procedure is validated both mathematically and numerically.

preprint2016arXiv

Fixed-Endpoint Optimal Control of Bilinear Ensemble Systems

Optimal control of bilinear systems has been a well-studied subject in the area of mathematical control. However, techniques for solving emerging optimal control problems involving an ensemble of structurally identical bilinear systems are underdeveloped. In this work, we develop an iterative method to effectively and systematically solve these challenging optimal ensemble control problems, in which the bilinear ensemble system is represented as a time-varying linear ensemble system at each iteration and the optimal ensemble control law is then obtained by the singular value expansion of the input-to-state operator that describes the dynamics of the linear ensemble system. We examine the convergence of the developed iterative procedure and pose optimality conditions for the convergent solution. We also provide examples of practical control designs in magnetic resonance to demonstrate the applicability and robustness of the developed iterative method.

preprint2016arXiv

Free-Endpoint Optimal Control of Inhomogeneous Bilinear Ensemble Systems

Optimal control of bilinear systems has been a well-studied subject in the areas of mathematical and computational optimal control. However, effective methods for solving emerging optimal control problems involving an ensemble of deterministic or stochastic bilinear systems are underdeveloped. These burgeoning problems arise in diverse applications from quantum control and molecular imaging to neuroscience. In this work, we develop an iterative method to find optimal controls for an inhomogeneous bilinear ensemble system with free-endpoint conditions. The central idea is to represent the bilinear ensemble system at each iteration as a time-varying linear ensemble system, and then solve it in an iterative manner. We analyze convergence of the iterative procedure and discuss optimality of the convergent solutions. The method is directly applicable to solve the same class of optimal control problems involving a stochastic bilinear ensemble system driven by independent additive noise processes. We demonstrate the robustness and applicability of the developed iterative method through practical control designs in neuroscience and quantum control.

preprint2016arXiv

Shortcuts to adiabaticity for an ion in a rotating radially-tight trap

We engineer the fast rotation of a quantum particle confined in an effectively one-dimensional, harmonic trap, for a predetermined rotation angle and time, avoiding final excitation. Different schemes are proposed with different speed limits that depend on the control capabilities. We also make use of trap rotations to create squeezed states without manipulating the trap frequencies.

preprint2014arXiv

Ensemble Control of Time-Invariant Linear Systems with Linear Parameter Variation

In this paper, we study the control of a class of time-invariant linear ensemble systems whose natural dynamics are linear in the system parameter. This class of ensemble control systems arises from practical engineering and physical applications, such as transport of quantum particles and control of uncertain harmonic systems. We establish explicit algebraic criterions to examine controllability of such ensemble systems. Our derivation is based on the notion of polynomial approximation, where the elements of the reachable set of the ensemble system are represented in polynomials of the system parameter and used to approximate the desired state of interest. In addition, we highlight the role of the spectra of the system matrices play in the determination of ensemble controllability. Finally, illustrative examples and numerical simulations for optimal control of this class of linear ensemble systems are presented to demonstrate the theoretical results.

preprint2014arXiv

Optimal Subharmonic Entrainment

For many natural and engineered systems, a central function or design goal is the synchronization of one or more rhythmic or oscillating processes to an external forcing signal, which may be periodic on a different time-scale from the actuated process. Such subharmonic synchrony, which is dynamically established when N control cycles occur for every M cycles of a forced oscillator, is referred to as N:M entrainment. In many applications, entrainment must be established in an optimal manner, for example by minimizing control energy or the transient time to phase locking. We present a theory for deriving inputs that establish subharmonic N:M entrainment of general nonlinear oscillators, or of collections of rhythmic dynamical units, while optimizing such objectives. Ordinary differential equation models of oscillating systems are reduced to phase variable representations, each of which consists of a natural frequency and phase response curve. Formal averaging and the calculus of variations are then applied to such reduced models in order to derive optimal subharmonic entrainment waveforms. The optimal entrainment of a canonical model for a spiking neuron is used to illustrate this approach, which is readily extended to arbitrary oscillating systems.

preprint2012arXiv

Control and Synchronization of Neuron Ensembles

Synchronization of oscillations is a phenomenon prevalent in natural, social, and engineering systems. Controlling synchronization of oscillating systems is motivated by a wide range of applications from neurological treatment of Parkinson's disease to the design of neurocomputers. In this article, we study the control of an ensemble of uncoupled neuron oscillators described by phase models. We examine controllability of such a neuron ensemble for various phase models and, furthermore, study the related optimal control problems. In particular, by employing Pontryagin's maximum principle, we analytically derive optimal controls for spiking single- and two-neuron systems, and analyze the applicability of the latter to an ensemble system. Finally, we present a robust computational method for optimal control of spiking neurons based on pseudospectral approximations. The methodology developed here is universal to the control of general nonlinear phase oscillators.

preprint2012arXiv

Design of Charge-Balanced Time-Optimal Stimuli for Spiking Neuron Oscillators

In this paper, we investigate the fundamental limits on how the inter- spike time of a neuron oscillator can be perturbed by the application of a bounded external control input (a current stimulus) with zero net electric charge accumulation. We use phase models to study the dynamics of neurons and derive charge-balanced controls that achieve the minimum and maximum inter-spike times for a given bound on the control amplitude. Our derivation is valid for any arbitrary shape of the phase response curve and for any value of the given control amplitude bound. In addition, we characterize the change in the structures of the charge-balanced time-optimal controls with the allowable control amplitude. We demonstrate the applicability of the derived optimal control laws by applying them to mathematically ideal and experimentally observed neuron phase models, including the widely-studied Hodgkin-Huxley phase model, and by verifying them with the corresponding original full state-space models. This work addresses a fundamental problem in the field of neural control and provides a theoretical investigation to the optimal control of oscillatory systems.

preprint2012arXiv

Ensemble Control of Stochastic Linear Systems

In this paper, we consider the problem of steering a family of independent, structurally identical, finite-dimensional stochastic linear systems with variation in system parameters between initial and target states of interest by using an open-loop control function. Our exploration of this class of control problems, which falls under the rising subject of ensemble control, is motivated by pulse design problems in quantum control. Here we extend the concept of ensemble control to stochastic systems with additive diffusion and jump processes, which we model using Brownian motion and Poisson counters, respectively, and consider optimal steering problems. We derive a Fredholm integral equation that is used to solve for the optimal control, which minimizes both the mean square error (MSE) and the error in the mean of the terminal state. In addition, we present several example control problems for which optimal solutions are computed by numerically approximating the singular system of the associated Fredholm operator. We use Monte Carlo simulations to illustrate the performance of the resulting controls. Our work has immediate practical applications to the control of dynamical systems with additive noise and parameter dispersion, and also makes an important contribution to stochastic control theory.

preprint2012arXiv

Optimal Entrainment of Neural Oscillator Ensembles

In this paper, we derive the minimum-energy periodic control that entrains an ensemble of structurally similar neural oscillators to a desired frequency. The state space representation of a nominal oscillator is reduced to a phase model by computing its limit cycle and phase response curve, from which the optimal control is derived by using formal averaging and the calculus of variations. We focus on the case of a 1:1 entrainment ratio, and introduce a numerical method for approximating the optimal controls. The method is applied to asymptotically control the spiking frequency of neural oscillators modeled using the Hodgkin-Huxley equations. This illustrates the optimality of entrainment controls derived using phase models when applied to the original state space system, which is a crucial requirement for using phase models in control synthesis for practical applications. The results of this work can be used to design low energy signals for deep brain stimulation therapies for neuropathologies, and can be generalized for optimal frequency control of large-scale complex oscillating systems with parameter uncertainty.

preprint2012arXiv

Time-Optimal Adiabatic-Like Expansion of Bose-Einstein Condensates

In this paper we study the fast adiabatic-like expansion of a one-dimensional Bose-Einstein condensate (BEC) confined in a harmonic potential, using the theory of time-optimal control. We find that under reasonable assumptions suggested by the experimental setup, the minimum-time expansion occurs when the frequency of the potential changes in a bang-bang form between the permitted values. We calculate the necessary expansion time and show that it scales logarithmically with large values of the expansion factor. This work is expected to find applications in areas where the efficient manipulations of BEC is of utmost importance. As an example we present the field of atom interferometry with BEC, where the wavelike properties of atoms are used to perform interference experiments that measure with unprecedented precision small shifts induced by phenomena like rotation, acceleration, and gravity gradients.

preprint2012arXiv

Time-Optimal Frictionless Atom Cooling in Harmonic Traps

Frictionless atom cooling in harmonic traps is formulated as a time-optimal control problem and a synthesis of optimal controlled trajectories is obtained. This work has already been used to determine the minimum time for transition between two thermal states and to show the emergence of the third law of classical thermodynamics from quantum thermodynamics. It can also find application in the fast adiabatic-like expansion of Bose-Einstein condensates, with possible applications in atom interferometry. This paper is based on our recently published article in SIAM J. Control Optim.

preprint2011arXiv

Anti-phase synchronization of phase-reduced oscillators using open-loop control

In this letter, we present an elegant method to build and maintain an anti-phase configuration of two nonlinear oscillators with different natural frequencies and dynamics described by the sinusoidal phase-reduced model. The anti-phase synchronization is achieved using a common input that couples the oscillators and consists of a sequence of square pulses of appropriate amplitude and duration. This example provides a proof of principle that open-loop control can be used to create desired synchronization patterns for nonlinear oscillators, when feedback is expensive or impossible to obtain.

preprint2011arXiv

Charge-Balanced Minimum-Power Controls for Spiking Neuron Oscillators

In this paper, we study the optimal control of phase models for spiking neuron oscillators. We focus on the design of minimum-power current stimuli that elicit spikes in neurons at desired times. We furthermore take the charge-balanced constraint into account because in practice undesirable side effects may occur due to the accumulation of electric charge resulting from external stimuli. Charge-balanced minimum-power controls are derived for a general phase model using the maximum principle, where the cases with unbounded and bounded control amplitude are examined. The latter is of practical importance since phase models are more accurate for weak forcing. The developed optimal control strategies are then applied to both mathematically ideal and experimentally observed phase models to demonstrate their applicability, including the phase model for the widely studied Hodgkin-Huxley equations.

preprint2011arXiv

Minimum-Time Quantum Transport with Bounded Trap Velocity

We formulate the problem of efficient transport of a quantum particle trapped in a harmonic potential which can move with a bounded velocity, as a minimum-time problem on a linear system with bounded input. We completely solve the corresponding optimal control problem and obtain an interesting bang-bang solution. These results are expected to find applications in quantum information processing, where quantum transport between the storage and processing units of a quantum computer is an essential step. They can also be extended to the efficient transport of Bose-Einstein condensates, where the ability to control them is crucial for their potential use as interferometric sensors.

preprint2011arXiv

Optimal Asymptotic Entrainment of Phase-Reduced Oscillators

We derive optimal periodic controls for entrainment of a self-driven oscillator to a desired frequency. The alternative objectives of minimizing power and maximizing frequency range of entrainment are considered. A state space representation of the oscillator is reduced to a linearized phase model, and the optimal periodic control is computed from the phase response curve using formal averaging and the calculus of variations. Computational methods are used to calculate the periodic orbit and the phase response curve, and a numerical method for approximating the optimal controls is introduced. Our method is applied to asymptotically control the period of spiking neural oscillators modeled using the Hodgkin-Huxley equations. This example illustrates the optimality of entrainment controls derived using phase models when applied to the original state space system.

preprint2011arXiv

Optimal Control of Inhomogeneous Ensembles

Inhomogeneity, in its many forms, appears frequently in practical physical systems. Readily apparent in quantum systems, inhomogeneity is caused by hardware imperfections, measurement inaccuracies, and environmental variations, and subsequently limits the performance and efficiency achievable in current experiments. In this paper, we provide a systematic methodology to mathematically characterize and optimally manipulate inhomogeneous ensembles with concepts taken from ensemble control. In particular, we develop a computational method to solve practical quantum pulse design problems cast as optimal ensemble control problems, based on multidimensional pseudospectral approximations. We motivate the utility of this method by designing pulses for both standard and novel applications. We also show the convergence of the pseudospectral method for optimal ensemble control. The concepts developed here are applicable beyond quantum control, such as to neuron systems, and furthermore to systems with by parameter uncertainty, which pervade all areas of science and engineering.

preprint2011arXiv

Optimal trajectories for efficient atomic transport without final excitation

We design optimal harmonic-trap trajectories to transport cold atoms without final excitation, combining an inverse engineering techniqe based on Lewis-Riesenfeld invariants with optimal control theory. Since actual traps are not really harmonic, we keep the relative displacement between the center of mass and the trap center bounded. Under this constraint, optimal protocols are found according to different physical criteria. The minimum time solution has a "bang-bang" form, and the minimum displacement solution is of "bang-off-bang" form. The optimal trajectories for minimizing the transient energy are also discussed.

preprint2011arXiv

Synthesis of Optimal Ensemble Controls for Linear Systems using the Singular Value Decomposition

An emerging and challenging area in mathematical control theory called Ensemble Control encompasses a class of problems that involves the guidance of an uncountably infinite collection of structurally identical dynamical systems, which are indexed by a parameter set, by applying the same open-loop control. The subject originates from the study of complex spin dynamics in Nuclear Magnetic Resonance (NMR) spectroscopy and imaging (MRI). A fundamental question concerns ensemble controllability, which determines the existence of controls that transfer the system between desired initial and target states. For ensembles of finite-dimensional time-varying linear systems, the necessary and sufficient controllability conditions and analytical optimal control laws have been shown to depend on the singular system of the operator characterizing the system dynamics. Because analytical solutions are available only in the simplest cases, there is a need to develop numerical methods for synthesizing these controls. We introduce a direct, accurate, and computationally efficient algorithm based on the singular value decomposition (SVD) that approximates ensemble controls of minimum norm for such systems. This method enables the application of ensemble control to engineering problems involving complex, time-varying, and high-dimensional linear dynamic systems.

preprint2011arXiv

The Role of Singular Control in Frictionless Atom Cooling in a Harmonic Trapping Potential

In this article we study the frictionless cooling of atoms trapped in a harmonic potential, while minimizing the transient energy of the system. We show that in the case of unbounded control, this goal is achieved by a singular control, which is also the time-minimal solution for a "dual" problem, where the energy is held fixed. In addition, we examine briefly how the solution is modified when there are bounds on the control. The results presented here have a broad range of applications, from the cooling of a Bose-Einstein condensate confined in a harmonic trap to adiabatic quantum computing and finite time thermodynamic processes.

preprint2010arXiv

Constrained Minimum-Energy Optimal Control of the Dissipative Bloch Equations

In this letter, we apply optimal control theory to design minimum-energy $π/2$ and $π$ pulses for the Bloch system in the presence of relaxation with constrained control amplitude. We consider a commonly encountered case in which the transverse relaxation rate is much larger than the longitudinal one so that the latter can be neglected. Using the Pontryagin's Maximum Principle, we derive optimal feedback laws which are characterized by the number of switches, depending on the control bound and the coordinates of the desired final state.

preprint2010arXiv

Frictionless atom cooling in harmonic traps: a time-optimal approach

In this article we formulate frictionless atom cooling in harmonic traps as a time-optimal control problem, permitting imaginary values of the trap frequency for trasient time intervals during which the trap becomes an expulsive parabolic potential. We show that the minimum time solution has "bang-bang" form, where the frequency jumps suddenly at certain instants and then remains constant, and calculate estimates of the minimum cooling time for various numbers of such jumps. A numerical optimization method based on pseudospectral approximations is used to obtain suboptimal realistic solutions without discontinuities, which may be implemented experimentally.

preprint2010arXiv

Optimal Design of Minimum-Power Stimuli for Spiking Neurons

In this article, we study optimal control problems of spiking neurons whose dynamics are described by a phase model. We design minimum-power current stimuli (controls) that lead to targeted spiking times of neurons, where the cases with unbounded and bounded control amplitude are considered. We show that theoretically the spiking period of a neuron, modeled by phase dynamics, can be arbitrarily altered by a smooth control. However, if the control amplitude is bounded, the range of possible spiking times is constrained and determined by the bound, and feasible spiking times are optimally achieved by piecewise continuous controls. We present analytic expressions of these minimum-power stimuli for spiking neurons and illustrate the optimal solutions with numerical simulations.