-
Upper bounds on the $2$-colorability threshold of random $d$-regular $k$-uniform hypergraphs for $k\geq 3$
Authors:
Evan Chang,
Neel Kolhe,
Youngtak Sohn
Abstract:
For a large class of random constraint satisfaction problems (CSP), deep but non-rigorous theory from statistical physics predict the location of the sharp satisfiability transition. The works of Ding, Sly, Sun (2014, 2016) and Coja-Oghlan, Panagiotou (2014) established the satisfiability threshold for random regular $k$-NAE-SAT, random $k$-SAT, and random regular $k$-SAT for large enough…
▽ More
For a large class of random constraint satisfaction problems (CSP), deep but non-rigorous theory from statistical physics predict the location of the sharp satisfiability transition. The works of Ding, Sly, Sun (2014, 2016) and Coja-Oghlan, Panagiotou (2014) established the satisfiability threshold for random regular $k$-NAE-SAT, random $k$-SAT, and random regular $k$-SAT for large enough $k\geq k_0$ where $k_0$ is a large non-explicit constant. Establishing the same for small values of $k\geq 3$ remains an important open problem in the study of random CSPs.
In this work, we study two closely related models of random CSPs, namely the $2$-coloring on random $d$-regular $k$-uniform hypergraphs and the random $d$-regular $k$-NAE-SAT model. For every $k\geq 3$, we prove that there is an explicit $d_{\ast}(k)$ which gives a satisfiability upper bound for both of the models. Our upper bound $d_{\ast}(k)$ for $k\geq 3$ matches the prediction from statistical physics for the hypergraph $2$-coloring by Dall'Asta, Ramezanpour, Zecchina (2008), thus conjectured to be sharp. Moreover, $d_{\ast}(k)$ coincides with the satisfiability threshold of random regular $k$-NAE-SAT for large enough $k\geq k_0$ by Ding, Sly, Sun (2014).
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
The Adaptive Dynamic Programming Toolbox
Authors:
Xiaowei Xing,
Dong Eui Chang
Abstract:
The paper develops the Adaptive Dynamic Programming Toolbox (ADPT), which solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming technique, the ADPT computes optimal feedback controls from the system dynamics in the model-based working mode, or from measurements of trajectories of the system in the model-free working mode without the requir…
▽ More
The paper develops the Adaptive Dynamic Programming Toolbox (ADPT), which solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming technique, the ADPT computes optimal feedback controls from the system dynamics in the model-based working mode, or from measurements of trajectories of the system in the model-free working mode without the requirement of knowledge of the system model. Multiple options are provided such that the ADPT can accommodate various customized circumstances. Compared to other popular software toolboxes for optimal control, the ADPT enjoys its computational precision and speed, which is illustrated with its applications to a satellite attitude control problem.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Tracking Controller Design for Satellite Attitude Under Unknown Constant Disturbance Using Stable Embedding
Authors:
Wonshick Ko,
Karmvir Singh Phogat,
Nicolas Petit,
Dong Eui Chang
Abstract:
We propose a tracking control law for the fully actuated rigid body system in the presence of any unknown constant disturbance by employing quaternions with the stable embedding technique and Lyapunov stability theory. The stable embedding technique extends the attitude dynamics from the set of unit quaternions to the set of quaternions, which is a Euclidean space, such that the set of unit quater…
▽ More
We propose a tracking control law for the fully actuated rigid body system in the presence of any unknown constant disturbance by employing quaternions with the stable embedding technique and Lyapunov stability theory. The stable embedding technique extends the attitude dynamics from the set of unit quaternions to the set of quaternions, which is a Euclidean space, such that the set of unit quaternions is an invariant set of the extended dynamics. Such a stable extension of the system dynamics to a Euclidean space allows us to employ well studied Lyapunov techniques in Euclidean spaces such as LaSalle-Yoshizawa's theorem. A robust tracking control law is proposed for the attitude dynamics subject to unknown constant disturbance and the convergence properties of the tracking control law is rigorously proven. It is demonstrated with the help of numerical simulations that the proposed control law has a remarkable performance even in some challenging situations.
△ Less
Submitted 3 October, 2020;
originally announced October 2020.
-
Invariant extended Kalman filter on matrix Lie groups
Authors:
Karmvir Singh Phogat,
Dong Eui Chang
Abstract:
We derive symmetry preserving invariant extended Kalman filters (IEKF) on matrix Lie groups. These Kalman filters have an advantage over conventional extended Kalman filters as the error dynamics for such filters are independent of the group configuration which, in turn, provides a uniform estimate of the region of convergence. The proposed IEKF differs from existing techniques in literature on th…
▽ More
We derive symmetry preserving invariant extended Kalman filters (IEKF) on matrix Lie groups. These Kalman filters have an advantage over conventional extended Kalman filters as the error dynamics for such filters are independent of the group configuration which, in turn, provides a uniform estimate of the region of convergence. The proposed IEKF differs from existing techniques in literature on the account that it is derived using minimal tools from differential geometry that simplifies its representation and derivation to a large extent. The filter error dynamics is defined on the Lie algebra directly instead of identifying the Lie algebra with an Euclidean space or defining the error dynamics in local coordinates using exponential map, and the associated differential Riccati equations are described on the corresponding space of linear operators using tensor algebra. The proposed filter is implemented for the attitude dynamics of the rigid body, which is a benchmark problem in control, and its performance is compared against a conventional extended Kalman filter (EKF). Numerical experiments support that the IEKF is computationally less intensive and gives better performance than the EKF.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
Model Predictive Tracking Control for Invariant Systems on Matrix Lie Groups via Stable Embedding into Euclidean Spaces
Authors:
Dong Eui Chang,
Karmvir Singh Phogat,
Jongeun Choi
Abstract:
For controller design for systems on manifolds embedded in Euclidean space, it is convenient to utilize a theory that requires a single global coordinate system on the ambient Euclidean space rather than multiple local charts on the manifold or coordinate-free tools from differential geometry. In this article, we apply such a theory to design model predictive tracking controllers for systems whose…
▽ More
For controller design for systems on manifolds embedded in Euclidean space, it is convenient to utilize a theory that requires a single global coordinate system on the ambient Euclidean space rather than multiple local charts on the manifold or coordinate-free tools from differential geometry. In this article, we apply such a theory to design model predictive tracking controllers for systems whose dynamics evolve on manifolds and illustrate its efficacy with the fully actuated rigid body attitude control system.
△ Less
Submitted 12 October, 2019;
originally announced October 2019.
-
Design of Globally Exponentially Convergent Continuous Observers for Velocity Bias and State for Systems on Real Matrix Groups
Authors:
Dong Eui Chang
Abstract:
We propose globally exponentially convergent continuous observers for invariant kinematic systems on finite-dimensional matrix Lie groups. Such an observer estimates, from measurements of landmarks, vectors and biased velocity, both the system state and the unknown constant bias in velocity measurement, where the state belongs to the state-space Lie group and the velocity to the Lie algebra of the…
▽ More
We propose globally exponentially convergent continuous observers for invariant kinematic systems on finite-dimensional matrix Lie groups. Such an observer estimates, from measurements of landmarks, vectors and biased velocity, both the system state and the unknown constant bias in velocity measurement, where the state belongs to the state-space Lie group and the velocity to the Lie algebra of the Lie group. The main technique is to embed a given system defined on a matrix Lie group into Euclidean space and build observers in the Euclidean space. The theory is illustrated with the special Euclidean group in three dimensions.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Enhancement of Energy-Based Swing-Up Controller via Entropy Search
Authors:
Chang Sik Lee,
Dong Eui Chang
Abstract:
An energy based approach for stabilizing a mechanical system has offered a simple yet powerful control scheme. However, since it does not impose such strong constraints on parameter space of the controller, finding appropriate parameter values for an optimal controller is known to be hard. This paper intends to generate an optimal energy-based controller for swinging up a rotary inverted pendulum,…
▽ More
An energy based approach for stabilizing a mechanical system has offered a simple yet powerful control scheme. However, since it does not impose such strong constraints on parameter space of the controller, finding appropriate parameter values for an optimal controller is known to be hard. This paper intends to generate an optimal energy-based controller for swinging up a rotary inverted pendulum, also known as the Furuta pendulum, by applying the Bayesian optimization called Entropy Search. Simulations and experiments show that the optimal controller has an improved performance compared to a nominal controller for various initial conditions.
△ Less
Submitted 3 April, 2019; v1 submitted 2 April, 2019;
originally announced April 2019.
-
Attitude Observer on SO(3) with Time-Varying Reference Directions
Authors:
Kanishke Gamagedara,
Taeyoung Lee,
Dong Eui Chang
Abstract:
This paper introduces an advanced Lyapunov stability analysis for an attitude observer that has been developed on the special orthogonal group. In particular, when the attitude observer is constructed based on multiple direction measurements toward known reference points, a local exponential stability has been established by linearization, under the assumption that those reference points are fixed…
▽ More
This paper introduces an advanced Lyapunov stability analysis for an attitude observer that has been developed on the special orthogonal group. In particular, when the attitude observer is constructed based on multiple direction measurements toward known reference points, a local exponential stability has been established by linearization, under the assumption that those reference points are fixed in the inertial frame. Several modifications have been proposed to deal with reference directions changing over time. Here, we present an alternative Lyapunov analysis to show that the attitude observer still exhibits exponential stability for time-varying reference directions, under the assumption that the observer gain is sufficiently large relative to the rate of change of the reference directions. These are illustrated by a numerical example, followed by experimental results with visual marker detection in an indoor space.
△ Less
Submitted 9 March, 2019;
originally announced March 2019.
-
Feedback Integrators for Nonholonomic Mechanical Systems
Authors:
Dong Eui Chang,
Matthew Perlmutter
Abstract:
The theory of feedback integrators is extended to handle mechanical systems with nonholonomic constraints with or without symmetry, so as to produce numerical integrators that preserve the nonholonomic constraints as well as other conserved quantities. To extend the feedback integrators, we develop a suitable extension theory for nonholonomic systems, and also a corresponding reduction theory for…
▽ More
The theory of feedback integrators is extended to handle mechanical systems with nonholonomic constraints with or without symmetry, so as to produce numerical integrators that preserve the nonholonomic constraints as well as other conserved quantities. To extend the feedback integrators, we develop a suitable extension theory for nonholonomic systems, and also a corresponding reduction theory for systems with symmetry. It is then applied to various nonholonomic systems such as the Suslov problem on SO(3), the knife edge, the Chaplygin sleigh, the vertical rolling disk, the roller racer, the Heisenberg system, and the nonholonomic oscillator.
△ Less
Submitted 8 November, 2018;
originally announced November 2018.
-
On Controller Design for Systems on Manifolds in Euclidean Space
Authors:
Dong Eui Chang
Abstract:
A new method is developed to design controllers in Euclidean space for systems defined on manifolds. The idea is to embed the state-space manifold $M$ of a given control system into some Euclidean space $\mathbb R^n$, extend the system from $M$ to the ambient space $\mathbb R^n$, and modify it outside $M$ to add transversal stability to $M$ in the final dynamics in $\mathbb R^n$. Controllers are d…
▽ More
A new method is developed to design controllers in Euclidean space for systems defined on manifolds. The idea is to embed the state-space manifold $M$ of a given control system into some Euclidean space $\mathbb R^n$, extend the system from $M$ to the ambient space $\mathbb R^n$, and modify it outside $M$ to add transversal stability to $M$ in the final dynamics in $\mathbb R^n$. Controllers are designed for the final system in the ambient space $\mathbb R^n$. Then, their restriction to $M$ produces controllers for the original system on $M$. This method has the merit that only one single global Cartesian coordinate system in the ambient space $\mathbb R^n$ is used for controller synthesis, and any controller design method in $\mathbb R^n$, such as the linearization method, can be globally applied for the controller synthesis. The proposed method is successfully applied to the tracking problem for the following two benchmark systems: the fully actuated rigid body system and the quadcopter drone system.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Observer-Based Controller Design for Systems on Manifolds in Euclidean Space
Authors:
Dong Eui Chang
Abstract:
A method of designing observers and observer-based tracking controllers is proposed for nonlinear systems on manifolds via embedding into Euclidean space and transversal stabilization. Given a system on a manifold, we first embed the manifold and the system into Euclidean space and extend the system dynamics to the ambient Euclidean space in such a way that the manifold becomes an invariant attrac…
▽ More
A method of designing observers and observer-based tracking controllers is proposed for nonlinear systems on manifolds via embedding into Euclidean space and transversal stabilization. Given a system on a manifold, we first embed the manifold and the system into Euclidean space and extend the system dynamics to the ambient Euclidean space in such a way that the manifold becomes an invariant attractor of the extended system, thus securing the transversal stability of the manifold in the extended dynamics. After the embedding, we design state observers and observer-based controllers for the extended system in one single global coordinate system in the ambient Euclidean space, and then restrict them to the original state-space manifold to produce observers and observer-based controllers for the original system on the manifold. This procedure has the merit that any existing control method that has been developed in Euclidean space can be applied globally to systems defined on nonlinear manifolds, thus making nonlinear controller design on manifolds easier. The detail of the method is demonstrated on the fully actuated rigid body system.
△ Less
Submitted 16 June, 2018;
originally announced June 2018.
-
A Global, Continuous, and Exponentially Convergent Observer for Gyro Bias and Attitude of a Rigid Body
Authors:
Dong Eui Chang,
Taeyoung Lee
Abstract:
We propose a 12-dimensional, global, continuous, and exponentially convergent observer for gyro bias and attitude of a rigid body. Any attitude observer developed on the special orthogonal group suffers from the topological restriction that prohibits global attractivity in continuous flow. In this paper, the observer is designed in the set of 3 by 3 real matrices, thus making the topological obstr…
▽ More
We propose a 12-dimensional, global, continuous, and exponentially convergent observer for gyro bias and attitude of a rigid body. Any attitude observer developed on the special orthogonal group suffers from the topological restriction that prohibits global attractivity in continuous flow. In this paper, the observer is designed in the set of 3 by 3 real matrices, thus making the topological obstruction on the special orthogonal group irrelevant. The efficacy of the proposed approach against other attitude observers is illustrated by an indoor experiment utilizing visual landmarks.
△ Less
Submitted 23 September, 2019; v1 submitted 13 May, 2018;
originally announced May 2018.
-
Controller Design for Systems on Manifolds in Euclidean Space
Authors:
Dong Eui Chang
Abstract:
Given a control system on a manifold that is embedded in Euclidean space, it is sometimes convenient to use a single global coordinate system in the ambient Euclidean space for controller design rather than to use multiple local charts on the manifold or coordinate-free tools from differential geometry. In this paper, we develop a theory about this and apply it to the fully actuated rigid body sys…
▽ More
Given a control system on a manifold that is embedded in Euclidean space, it is sometimes convenient to use a single global coordinate system in the ambient Euclidean space for controller design rather than to use multiple local charts on the manifold or coordinate-free tools from differential geometry. In this paper, we develop a theory about this and apply it to the fully actuated rigid body system for stabilization and tracking. A noteworthy point in this theory is that we legitimately modify the system dynamics outside its state-space manifold before controller design so as to add attractiveness to the manifold in the resulting dynamics.
△ Less
Submitted 8 October, 2017;
originally announced October 2017.
-
Feedback Integrators
Authors:
Dong Eui Chang,
Fernando Jimenez,
Matthew Perlmutter
Abstract:
A new method is proposed to numerically integrate a dynamical system on a manifold such that the trajectory stably remains on the manifold and preserves first integrals of the system. The idea is that given an initial point in the manifold we extend the dynamics from the manifold to its ambient Euclidean space and then modify the dynamics outside the intersection of the manifold and the level sets…
▽ More
A new method is proposed to numerically integrate a dynamical system on a manifold such that the trajectory stably remains on the manifold and preserves first integrals of the system. The idea is that given an initial point in the manifold we extend the dynamics from the manifold to its ambient Euclidean space and then modify the dynamics outside the intersection of the manifold and the level sets of the first integrals containing the initial point such that the intersection becomes a unique local attractor of the resultant dynamics. While the modified dynamics theoretically produces the same trajectory as the original dynamics, it yields a numerical trajectory that stably remains on the manifold and preserves the first integrals. The big merit of our method is that the modified dynamics can be integrated with any ordinary numerical integrator such as Euler or Runge-Kutta. We illustrate this method by applying it to three famous problems: the free rigid body, the Kepler problem and a perturbed Kepler problem with rotational symmetry. We also carry out simulation studies to demonstrate the excellence of our method and make comparisons with the standard projection method, a splitting method and Störmer-Verlet schemes.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
Lyapunov-based Low-thrust Optimal Orbit Transfer: An approach in Cartesian coordinates
Authors:
Hantian Zhang,
Dong Eui Chang,
Qingjie Cao
Abstract:
This paper presents a simple approach to low-thrust optimal-fuel and optimal-time transfer problems between two elliptic orbits using the Cartesian coordinates system. In this case, an orbit is described by its specific angular momentum and Laplace vectors with a free injection point. Trajectory optimization with the pseudospectral method and nonlinear programming are supported by the initial gues…
▽ More
This paper presents a simple approach to low-thrust optimal-fuel and optimal-time transfer problems between two elliptic orbits using the Cartesian coordinates system. In this case, an orbit is described by its specific angular momentum and Laplace vectors with a free injection point. Trajectory optimization with the pseudospectral method and nonlinear programming are supported by the initial guess generated from the Chang-Chichka-Marsden Lyapunov-based transfer controller. This approach successfully solves several low-thrust optimal problems. Numerical results show that the Lyapunov-based initial guess overcomes the difficulty in optimization caused by the strong oscillation of variables in the Cartesian coordinates system. Furthermore, a comparison of the results shows that obtaining the optimal transfer solution through the polynomial approximation by utilizing Cartesian coordinates is easier than using orbital elements, which normally produce strongly nonlinear equations of motion. In this paper, the Earth's oblateness and shadow effect are not taken into account.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
-
On the Self-Recovery Phenomenon in the Process of Diffusion
Authors:
Dong Eui Chang,
Soo Jeon
Abstract:
We report a new phenomenon, called self-recovery, in the process of diffusion in a region with boundary. Suppose that a diffusing quantity is uniformly distributed initially and then gets excited by the change in the boundary values over a time interval. When the boundary values return to their initial values and stop varying afterwards, the value of a physical quantity related to the diffusion au…
▽ More
We report a new phenomenon, called self-recovery, in the process of diffusion in a region with boundary. Suppose that a diffusing quantity is uniformly distributed initially and then gets excited by the change in the boundary values over a time interval. When the boundary values return to their initial values and stop varying afterwards, the value of a physical quantity related to the diffusion automatically comes back to its original value. This self-recovery phenomenon has been discovered and fairly well understood for finite-dimensional mechanical systems with viscous dam**. In this paper, we show that it also occurs in the process of diffusion. Several examples are provided from fluid flows, quasi-static electromagnetic fields and heat conduction. In particular, our result in fluid flows provides a dynamic explanation for the famous experiment by Sir G.I. Taylor with glycerine in an annulus on kinematic reversibility of low-Reynolds-number flows.
△ Less
Submitted 5 June, 2013; v1 submitted 28 May, 2013;
originally announced May 2013.
-
On the Dam**-Induced Self-Recovery Phenomenon in Mechanical Systems with Several Unactuated Cyclic Variables
Authors:
Dong Eui Chang,
Soo Jeon
Abstract:
The dam**-induced self-recovery phenomenon refers to the fundamental property of underactuated mechanical systems: if an unactuated cyclic variable is under a viscous dam**-like force and the system starts from rest, then the cyclic variable will always move back to its initial condition as the actuated variables come to stop. The regular momentum conservation phenomenon can be viewed as the l…
▽ More
The dam**-induced self-recovery phenomenon refers to the fundamental property of underactuated mechanical systems: if an unactuated cyclic variable is under a viscous dam**-like force and the system starts from rest, then the cyclic variable will always move back to its initial condition as the actuated variables come to stop. The regular momentum conservation phenomenon can be viewed as the limit of the dam**-induced self-recovery phenomenon in the sense that the self-recovery phenomenon disappears as the dam** goes to zero. This paper generalizes the past result on dam**-induced self-recovery for the case of a single unactuated cyclic variable to the case of multiple unactuated cyclic variables. We characterize a class of external forces that induce new conserved quantities, which we call the dam**-induced momenta. The dam**-induced momenta yield first-order asymptotically stable dynamics for the unactuated cyclic variables under some conditions, thereby inducing the self-recovery phenomenon. It is also shown that the viscous dam**-like forces impose bounds on the range of trajectories of the unactuated cyclic variables. Two examples are presented to demonstrate the analytical discoveries: the planar pendulum with gimbal actuators and the three-link planar manipulator on a horizontal plane.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
On the Method of Interconnection and Dam** Assignment Passivity-Based Control for the Stabilization of Mechanical Systems
Authors:
Dong Eui Chang
Abstract:
Interconnection and dam** assignment passivity-based control (IDA-PBC) is an excellent method to stabilize mechanical systems in the Hamiltonian formalism. In this paper, several improvements are made on the IDA-PBC method. The skew-symmetric interconnection submatrix in the conventional form of IDA-PBC is shown to have some redundancy for systems with the number of degrees of freedom greater th…
▽ More
Interconnection and dam** assignment passivity-based control (IDA-PBC) is an excellent method to stabilize mechanical systems in the Hamiltonian formalism. In this paper, several improvements are made on the IDA-PBC method. The skew-symmetric interconnection submatrix in the conventional form of IDA-PBC is shown to have some redundancy for systems with the number of degrees of freedom greater than two, containing unnecessary components that do not contribute to the dynamics. To completely remove this redundancy, the use of quadratic gyroscopic forces is proposed in place of the skew-symmetric interconnection submatrix. Reduction of the number of matching partial differential equations in IDA-PBC and simplification of the structure of the matching partial differential equations are achieved by eliminating the gyroscopic force from the matching partial differential equations. In addition, easily verifiable criteria are provided for Lyapunov/exponential stabilizability by IDA-PBC for all linear controlled Hamiltonian systems with arbitrary degrees of underactuation and for all nonlinear controlled Hamiltonian systems with one degree of underactuation. A general design procedure for IDA-PBC is given and illustrated with examples. The duality of the new IDA-PBC method to the method of controlled Lagrangians is discussed. This paper renders the IDA-PBC method as powerful as the controlled Lagrangian method.
△ Less
Submitted 2 April, 2015; v1 submitted 17 January, 2013;
originally announced January 2013.
-
Recycling BiCG with an Application to Model Reduction
Authors:
Kapil Ahuja,
Eric de Sturler,
Serkan Gugercin,
Eun R. Chang
Abstract:
Science and engineering problems frequently require solving a sequence of dual linear systems. Besides having to store only few Lanczos vectors, using the BiConjugate Gradient method (BiCG) to solve dual linear systems has advantages for specific applications. For example, using BiCG to solve the dual linear systems arising in interpolatory model reduction provides a backward error formulation in…
▽ More
Science and engineering problems frequently require solving a sequence of dual linear systems. Besides having to store only few Lanczos vectors, using the BiConjugate Gradient method (BiCG) to solve dual linear systems has advantages for specific applications. For example, using BiCG to solve the dual linear systems arising in interpolatory model reduction provides a backward error formulation in the model reduction framework. Using BiCG to evaluate bilinear forms -- for example, in quantum Monte Carlo (QMC) methods for electronic structure calculations -- leads to a quadratic error bound. Since our focus is on sequences of dual linear systems, we introduce recycling BiCG, a BiCG method that recycles two Krylov subspaces from one pair of dual linear systems to the next pair. The derivation of recycling BiCG also builds the foundation for develo** recycling variants of other bi-Lanczos based methods, such as CGS, BiCGSTAB, QMR, and TFQMR.
We develop an augmented bi-Lanczos algorithm and a modified two-term recurrence to include recycling in the iteration. The recycle spaces are approximate left and right invariant subspaces corresponding to the eigenvalues closest to the origin. These recycle spaces are found by solving a small generalized eigenvalue problem alongside the dual linear systems being solved in the sequence.
We test our algorithm in two application areas. First, we solve a discretized partial differential equation (PDE) of convection-diffusion type. Such a problem provides well-known test cases that are easy to test and analyze further. Second, we use recycling BiCG in the Iterative Rational Krylov Algorithm (IRKA) for interpolatory model reduction. IRKA requires solving sequences of slowly changing dual linear systems. We show up to 70% savings in iterations, and also demonstrate that for a model reduction problem BiCG takes (about) 50% more time than recycling BiCG.
△ Less
Submitted 16 October, 2011; v1 submitted 5 October, 2010;
originally announced October 2010.
-
A Short Proof of the Pontryagin Maximum Principle on Manifolds
Authors:
Dong Eui Chang
Abstract:
Applying the Tubular Neighborhood Theorem, we give a short and new proof of the Pontryagin Maximum Principle on a smooth manifold. The idea is as follows. Given a control system on a manifold $M$, we embed it into an open subset of some $\mathbb R^n$, and extend the control system to the open set. Then, we apply the Pontryagin Maximum Principle on $\mathbb R^n$ to the extended system and project…
▽ More
Applying the Tubular Neighborhood Theorem, we give a short and new proof of the Pontryagin Maximum Principle on a smooth manifold. The idea is as follows. Given a control system on a manifold $M$, we embed it into an open subset of some $\mathbb R^n$, and extend the control system to the open set. Then, we apply the Pontryagin Maximum Principle on $\mathbb R^n$ to the extended system and project the consequence to $M$.
△ Less
Submitted 19 June, 2011; v1 submitted 12 May, 2009;
originally announced May 2009.
