Guaranteed Stable Projection-Based Model Reduction for Indefinite and Unstable Linear Systems Brad Bond Luca Daniel MIT Speaker: Tuck, Fang Gong.

Slides:



Advertisements
Similar presentations
Zhen Lu CPACT University of Newcastle MDC Technology Reduced Hessian Sequential Quadratic Programming(SQP)
Advertisements

ECE Department, University of Illinois ECE 552 Numerical Circuit Analysis I. Hajj Spring 2015 Lecture One INTRODUCTION Copyright © I. Hajj 2012 All rights.
Example 1 Matrix Solution of Linear Systems Chapter 7.2 Use matrix row operations to solve the system of equations  2009 PBLPathways.
IFAC AIRTC, Budapest, October 2000 On the Dynamic Instability of a Class of Switching System Robert Noel Shorten Department of Computer Science National.
Optimization of the Pulp Mill Economical Efficiency; study on the behavior effect of the economically significant variables Alexey Zakharov, Sirkka-Liisa.
U NIVERSITY OF M ASSACHUSETTS, A MHERST Department of Computer Science Solving POMDPs Using Quadratically Constrained Linear Programs Christopher Amato.
P. Venkataraman Mechanical Engineering P. Venkataraman Rochester Institute of Technology DETC2013 – 12269: Continuous Solution for Boundary Value Problems.
P. Venkataraman Mechanical Engineering P. Venkataraman Rochester Institute of Technology DETC2014 – 35148: Continuous Solution for Boundary Value Problems.
Distance Metric Learning with Spectral Clustering By Sheil Kumar.
ECE 8443 – Pattern Recognition ECE 3163 – Signals and Systems Objectives: Review Resources: Wiki: State Variables YMZ: State Variable Technique Wiki: Controllability.
Convex Optimization Chapter 1 Introduction. What, Why and How  What is convex optimization  Why study convex optimization  How to study convex optimization.
BVP Weak Formulation Weak Formulation ( variational formulation) where Multiply equation (1) by and then integrate over the domain Green’s theorem gives.
EECE Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and.
1cs542g-term Notes  No extra class tomorrow.
President UniversityErwin SitompulModern Control 11/1 Dr.-Ing. Erwin Sitompul President University Lecture 11 Modern Control
Total Recall Math, Part 2 Ordinary diff. equations First order ODE, one boundary/initial condition: Second order ODE.
PART 7 Ordinary Differential Equations ODEs
CSE245: Computer-Aided Circuit Simulation and Verification Lecture Note 3 Model Order Reduction (1) Spring 2008 Prof. Chung-Kuan Cheng.
1 BSMOR: Block Structure-preserving Model Order Reduction http//:eda.ee.ucla.edu Hao Yu, Lei He Electrical Engineering Dept., UCLA Sheldon S.D. Tan Electrical.
Structural Stability, Catastrophe Theory, and Applied Mathematics
Spring semester 2006 ESE 601: Hybrid Systems Review material on continuous systems I.
Some Fundamentals of Stability Theory
Weak Formulation ( variational formulation)
SAMSON: A Generalized Second-order Arnoldi Method for Reducing Multiple Source Linear Network with Susceptance Yiyu Shi, Hao Yu and Lei He EE Department,
Symmetric Definite Generalized Eigenproblem
U NIVERSITY OF M ASSACHUSETTS, A MHERST Department of Computer Science Optimal Fixed-Size Controllers for Decentralized POMDPs Christopher Amato Daniel.
Lecture outline Support vector machines. Support Vector Machines Find a linear hyperplane (decision boundary) that will separate the data.
Finite Difference Methods to Solve the Wave Equation To develop the governing equation, Sum the Forces The Wave Equation Equations of Motion.
Optimization of Linear Problems: Linear Programming (LP) © 2011 Daniel Kirschen and University of Washington 1.
1 Introduction to Model Order Reduction Luca Daniel Massachusetts Institute of Technology
1 The Spectral Method. 2 Definition where (e m,e n )=δ m,n e n = basis of a Hilbert space (.,.): scalar product in this space In L 2 space where f * :
COMPLEXITY SCIENCE WORKSHOP 18, 19 June 2015 Systems & Control Research Centre School of Mathematics, Computer Science and Engineering CITY UNIVERSITY.
EXAMPLES: Example 1: Consider the system Calculate the equilibrium points for the system. Plot the phase portrait of the system. Solution: The equilibrium.
Multiple-Lyapunov Functions for Guaranteeing the Stability of a class of Hybrid Systems.
Sparsity in Polynomial Optimization IMA Annual Program Year Workshop "Optimization and Control" Minneapolis, January 16-20, 2007 Masakazu Kojima Tokyo.
Copyright © 2007 Pearson Education, Inc. Publishing as Pearson Prentice Hall Antiderivatives and Slope Fields Section 6.1.
Efficient Integration of Large Stiff Systems of ODEs Using Exponential Integrators M. Tokman, M. Tokman, University of California, Merced 2 hrs 1.5 hrs.
Discontinuous Galerkin Methods Li, Yang FerienAkademie 2008.
Tarek A. El-Moselhy and Luca Daniel
Copyright © 2012 Pearson Education, Inc. Publishing as Prentice Hall. Quadratic Equations.
Motivation Thus far we have dealt primarily with the input/output characteristics of linear systems. State variable, or state space, representations describe.
A TBR-based Trajectory Piecewise-Linear Algorithm for Generating Accurate Low-order Models for Nonlinear Analog Circuits and MEMS Dmitry Vasilyev, Michał.
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
SIAM Conference on Control and Its Applications (CT13)
Perturbation analysis of TBR model reduction in application to trajectory-piecewise linear algorithm for MEMS structures. Dmitry Vasilyev, Michał Rewieński,
Copyright © 2011 Pearson Education, Inc. Publishing as Prentice Hall.
Numerical methods 1 An Introduction to Numerical Methods For Weather Prediction by Mariano Hortal office 122.
Discretization Methods Chapter 2. Training Manual May 15, 2001 Inventory # Discretization Methods Topics Equations and The Goal Brief overview.
2.1 – Linear and Quadratic Equations Linear Equations.
Notes Over 5.6 Quadratic Formula
Basic Geometric Nonlinearities Chapter Five - APPENDIX.
Chaos Control in Nonlinear Dynamical Systems Nikolai A. Magnitskii Institute for Systems Analysis of RAS, Moscow,Russia.
Linear Programming Wyndor Glass Co. 3 plants 2 new products –Product 1: glass door with aluminum framing –Product 2: 4x6 foot wood frame window.
MATH II – QUADRATICS to solve quadratic equations. MATH III – MATH II –
Higher Order Circuits – How To Obtain State Equations? Consider a circuit with capacitor, inductors, n-terminal resistors and independent sources. Aim.
Lecture 3 Modeling (ii) –State Space approach
SYNCHRONIZATION OF BILATERAL TELEOPERATION SYSTEMS WITH INPUT SATURATION Department of Mechatronics in GIST Seung-Ju Lee Advisor: pf. Hyo-Sung Ahn.
The Quadratic Formula Quadratic Formula.
Bounded Nonlinear Optimization to Fit a Model of Acoustic Foams
EEE 431 Computational Methods in Electrodynamics
Christopher Crawford PHY
Solving Nonlinear Systems
Solving Quadratic Equations by the Complete the Square Method
Gleb Panteleev (IARC) Max Yaremchuk, (NRL), Dmitri Nechaev (USM)
§7-4 Lyapunov Direct Method
سمینار درس کنترل پیش بین
CSE245: Computer-Aided Circuit Simulation and Verification
Solving simultaneous linear and quadratic equations
EXAMPLES: Example 1: Consider the system
Solving a System of Linear Equations
Presentation transcript:

Guaranteed Stable Projection-Based Model Reduction for Indefinite and Unstable Linear Systems Brad Bond Luca Daniel MIT Speaker: Tuck, Fang Gong

Overview MotivationMotivation BackgroundBackground Extraction and Stability Stable Model Reduction Stabilizing ProjectionsStabilizing Projections Problem Formulation Stability Constraints Existence of Stabilizing Projections Computation of Stabilizing Projections ExamplesExamples ConclusionConclusion

Motivation Passive physical systems, described by Partial Derivatives Equations (PDEs) Field-solver PDEs Discretization Linear system -1,000,000 equations -Potentially unstable & unstructured Reduced order model -Stable Ideally

Overview MotivationMotivation BackgroundBackground Extraction and Stability Stable Model Reduction Stabilizing ProjectionsStabilizing Projections Problem Formulation Stability Constraints Existence of Stabilizing Projections Computation of Stabilizing Projections ExamplesExamples ConclusionConclusion

Background BUT we have little control over this stepBUT we have little control over this step Linear may be unstable / unstructuredLinear may be unstable / unstructured Field-solver PDEs Discretization Linear system Passive physical systems (describe by PDEs)

Stability L(x) : Lyapunov functionL(x) : Lyapunov function Characterize stability of linear systemCharacterize stability of linear system Stability constraints for a linear systemStability constraints for a linear system * M. Vidyagasar. Nonlinear Systems Analysis. Prentice Hall, New York,1978. S. Sastry. Nonlinear Systems: Analysis, Stability, and Control. Springer, New York, Lyapunov Function: P is a symmetric positive definite matrix

Stable Model Reduction Congruence transform (Galerkin Projection), PRIMACongruence transform (Galerkin Projection), PRIMA Construct V for accuracyConstruct V for accuracy However …However …

Stable model reduction Stabilizing Projections

Intro : Stabilizing Projections

Overview MotivationMotivation BackgroundBackground Extraction and Stability Stable Model Reduction Stabilizing ProjectionsStabilizing Projections Problem Formulation Stability Constraints Existence of Stabilizing Projections Computation of Stabilizing Projections ExamplesExamples ConclusionConclusion

Problem Formulation I

Problem Formulation II

Stabilizing Projections: Stability Constraints

Difficult to solve: Quadratic in U

Stabilizing Projections: Linear Constraints

Existence of Solutions

Existence of Solutions: Unstable Systems E > 0 A+A T < 0 Space of stabilizing U

Stabilizing Projections: Existence Summary

Computing Solutions: Efficient Solutions

Efficient Optimal Solutions

Stabilizing Projections Summary

Overview MotivationMotivation BackgroundBackground Extraction and Stability Stable Model Reduction Stabilizing ProjectionsStabilizing Projections Problem Formulation Stability Constraints Existence of Stabilizing Projections Computation of Stabilizing Projections ExamplesExamples ConclusionConclusion

Example: Interconnect

Example: Inductor

Example: Power Grid

Example: MEMS Linearization

Comparison to other Methods

Conclusion