1 DAE Optimization towards real-time trajectory generation for flat nonlinear control systems Sachin Kansal, Fraser Forbes University of Alberta Martin.

Slides:



Advertisements
Similar presentations
Vectors 5: The Vector Equation of a Plane
Advertisements

What is GAMS?. While they are not NLP solvers, per se, attention should be given to modeling languages like: GAMS- AIMMS-
Data Mining Classification: Alternative Techniques
CSCI 347 / CS 4206: Data Mining Module 07: Implementations Topic 03: Linear Models.
Experimental Design, Response Surface Analysis, and Optimization
Zonotopes Techniques for Reachability Analysis Antoine Girard Workshop “Topics in Computation and Control” March 27 th 2006, Santa Barbara, CA, USA
Nonlinear Optimization for Optimal Control
Differential Flatness Jen Jen Chung. Outline Motivation Control Systems Flatness 2D Crane Example Issues Jen Jen Chung | CDMRG2.
© 2009 Maplesoft, a division of Waterloo Maple Inc. Computer Algebra vs. Reality Erik Postma and Elena Shmoylova Maplesoft June 25, 2009.
Early Research Presentation Optimal and Feasible Attitude Motions for Microspacecraft January 2013 Albert Caubet.
Feasibility, uncertainty and interpolation J. A. Rossiter (Sheffield, UK)
Trajectory Generation How do I get there? This way!
Nonlinear Optimization for Optimal Control
CES 514 – Data Mining Lecture 8 classification (contd…)
Explicit Non-linear Optimal Control Law for Continuous Time Systems via Parametric Programming Vassilis Sakizlis, Vivek Dua, Stratos Pistikopoulos Centre.
Classification Problem 2-Category Linearly Separable Case A- A+ Malignant Benign.
Efficient Methodologies for Reliability Based Design Optimization
Lecture outline Support vector machines. Support Vector Machines Find a linear hyperplane (decision boundary) that will separate the data.
Support Vector Machines
D Nagesh Kumar, IIScOptimization Methods: M1L4 1 Introduction and Basic Concepts Classical and Advanced Techniques for Optimization.
D Nagesh Kumar, IIScOptimization Methods: M5L4 1 Dynamic Programming Other Topics.
26 April 2013Lecture 6: Problem Solving1 Problem Solving Jorge Cruz DI/FCT/UNL April 2013.
Ch. 9: Direction Generation Method Based on Linearization Generalized Reduced Gradient Method Mohammad Farhan Habib NetLab, CS, UC Davis July 30, 2010.
Optimization of Linear Problems: Linear Programming (LP) © 2011 Daniel Kirschen and University of Washington 1.
Decision Procedures An Algorithmic Point of View
3.4 Solving Systems of Linear Inequalities Objectives: Write and graph a system of linear inequalities in two variables. Write a system of inequalities.
1 Chapter 8 Nonlinear Programming with Constraints.
Chapter 17 Boundary Value Problems. Standard Form of Two-Point Boundary Value Problem In total, there are n 1 +n 2 =N boundary conditions.
ME451 Kinematics and Dynamics of Machine Systems Numerical Solution of DAE IVP Newmark Method November 1, 2013 Radu Serban University of Wisconsin-Madison.
Practical Dynamic Programming in Ljungqvist – Sargent (2004) Presented by Edson Silveira Sobrinho for Dynamic Macro class University of Houston Economics.
Synchronization Transformations for Parallel Computing Pedro Diniz and Martin Rinard Department of Computer Science University of California, Santa Barbara.
S ystems Analysis Laboratory Helsinki University of Technology Automated Solution of Realistic Near-Optimal Aircraft Trajectories Using Computational Optimal.
Solving Problems by searching Well defined problems A probem is well defined if it is easy to automatically asses the validity (utility) of any proposed.
RSVM: Reduced Support Vector Machines Y.-J. Lee & O. L. Mangasarian First SIAM International Conference on Data Mining Chicago, April 6, 2001 University.
Part 4 Nonlinear Programming 4.1 Introduction. Standard Form.
Inverse Kinematics for Robotics using Neural Networks. Authors: Sreenivas Tejomurtula., Subhash Kak
CSE4334/5334 DATA MINING CSE4334/5334 Data Mining, Fall 2014 Department of Computer Science and Engineering, University of Texas at Arlington Chengkai.
Linearizability of Chemical Reactors By M. Guay Department of Chemical and Materials Engineering University of Alberta Edmonton, Alberta, Canada Work Supported.
MATH 416 Equations & Inequalities II. Solving Systems of Equations Apart from the graphic method, there are three other methods we could use to solve.
1 Attractive Mathematical Representations Of Decision Problems Warren Adams 11/04/03.
Application: Multiresolution Curves Jyun-Ming Chen Spring 2001.
Randomized Kinodynamics Planning Steven M. LaVelle and James J
SystemsOfInequalities. 7-1 Solving Systems by Graphing What is a system of linear equations? “SOLUTION” No solution Infinitely Many Solutions Page 342.
System To Generate Test Data: The Analysis Program Syed Nabeel.
Generalized Point Based Value Iteration for Interactive POMDPs Prashant Doshi Dept. of Computer Science and AI Institute University of Georgia
12 th international conference on Sciences and Techniques of Automatic control and computer engineering 1 Sousse, Tunisia, December 18-20, 2011 Flatness.
Anders Nielsen Technical University of Denmark, DTU-Aqua Mark Maunder Inter-American Tropical Tuna Commission An Introduction.
OR Chapter 4. How fast is the simplex method  Efficiency of an algorithm : measured by running time (number of unit operations) with respect to.
1 Nonlinear Sub-optimal Mid Course Guidance with Desired Alinement using MPQC P. N. Dwivedi, Dr. A.Bhattacharya, Scientist, DRDO, Hyderabad-,INDIA Dr.
An Introduction to Computational Fluids Dynamics Prapared by: Chudasama Gulambhai H ( ) Azhar Damani ( ) Dave Aman ( )
Review: Algebra. Write numeric expressions:  Numeric expressions are expressions written out as phrases  Example:  Written as: The difference.
Algebra 1 Section 7.6 Solve systems of linear inequalities The solution to a system of linear inequalities in two variable is a set of ordered pairs making.
Water resources planning and management by use of generalized Benders decomposition method to solve large-scale MINLP problems By Prof. André A. Keller.
Discrete Optimization MA2827 Fondements de l’optimisation discrète Material from P. Van Hentenryck’s course.
Comparative Knowledge Discovery with Partial Order and Composite Indicator Partial Order Ranking of Objects with Weights for Indicators and Its Representability.
Algebra 2 Chapter 3 Review Sections: 3-1, 3-2 part 1 & 2, 3-3, and 3-5.
S5.40. Module Structure 30% practical tests / 70% written exam 3h lectures / week (except reading week) 3 x 2h of computer labs (solving problems practicing.
Polynomial & Rational Inequalities
Computation of the solutions of nonlinear polynomial systems
Recursive Identification of Switched ARX Hybrid Models: Exponential Convergence and Persistence of Excitation René Vidal National ICT Australia Brian D.O.Anderson.
3.3 Graphs of Nonlinear Inequalities
Solving Linear Systems Algebraically
Huanyuan(Wayne) Sheng
Simultaneous Equations
Numerical Integration:
Linear Algebra Lecture 3.
CONTROL INTRO & OVERVIEW
University of Wisconsin - Madison
Computer Animation Algorithms and Techniques
Discrete Optimization
Presentation transcript:

1 DAE Optimization towards real-time trajectory generation for flat nonlinear control systems Sachin Kansal, Fraser Forbes University of Alberta Martin Guay Queen’s University

2 ] DAE optimization problems ] Current solution techniques ] Proposed method - Basic Idea ] Flatness of dynamics? ] Normalized NLP solution ] Current and future work Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U. Talk Outline

3 DAE Optimization * General DAOP Structure ] Infinite Dimensional Problem ] Integration at every iteration ] Algebraic path constraints Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U. * Solution Difficulties

4 Polynomial u(t) & numerical integration [Hicks & Ray, 1971] Solution Techniques Discretization and numerical integration [Ray, 1981] Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U. CVI CVP Discretization of control over a region, region contraction and numerical integration [Luus, 1989] IDP Polynomials for states and control & discretization of DE and constraints [Cuthrell & Biegler, 1987] CBT Polynomial structure for pseudo- outputs and subsequent discretization of path constraints [Kansal, Forbes & Guay, 2000] NNLP

5 NNLP - Basic Idea DE elimination from DAOP DAOP AOP System flatness Parameterization AOP NNLP Discretization Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

6 System Flatness ] System flatness permits transformation of system space to a pseudo (flat)-output space ] Flat output space contains all information on system dynamics! DE Equivalents in flat-output space Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

7 Parameterization A polynomial structure with unknown coefficients is chosen for the flat output which defines: Hence defining: Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U. ] ] ]

8 Normalized AOP DAOP AOP Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

9 ] Continuous-time inequality constraints are enforced at the grid points ] Time is discretized Discretization ] Affects only path inequality constraints Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

10 NNLP Solution Solved with standard NLP solvers, e.g., SQP methods NNLP t0t0 tftf Optimal Input Trajectory Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

11 Results ] Method tested on a number of benchmark DAOP problems ] Consistent or Better Results ] Significant Improvement in Computation Time/Load ] Particularly suitable for RTO Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

12 ? Solution Issues ] Discretization of continuous algebraic constraints ] Initial conditions and bounds for decision variables ? Real-Time Implementation ] Problems that can be handled ] Major implementation and solution issues ? Extension to approximately flat systems Current Work Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.

13 Questions? Sachin Kansal, Fraser Forbes - U of A Martin Guay - Queen’s U.