Model-Based Control - Bridging Rigorous Theory and Advanced Technology

Foreword

Acknowledgements

Preface

Contents

List of Contributors

Part I_Fundamentals

Linear Systems in Discrete Time

1 Introduction

2 Linear dynamical systems

3 Polynomial annihilators

4 Input/output representations

5 Representations with rational symbols

6 Integer invariants

7 Latent variables

8 Controllability

9 Rational annihilators

10 Stabilizability

11 Autonomous systems

References

Robust Controller Synthesis is Convex forSystems without Control Channel Uncertainties

1 Introduction

2 System Interconnections and Performance Specification

3 Robust Performance Analysis

4 Parametric-Dynamic Feasibility Problems

4.1 Analysis

4.2 Synthesis

4.3 Elimination

5 A Sketch of Further Applications

6 Conclusions

7 Appendix: Proof of Lemma 1

References

Conservation Laws andLumped System Dynamics

1 Introduction

2 Kirchhoff’s laws on graphs and circuit dynamics

2.1 Graphs

2.2 Kirchhoff’s laws for graphs

2.3 Kirchhoff’s laws for open graphs

2.4 Constraints on boundary currents and invariance of boundarypotentials

2.5 Interconnection of open graphs

2.6 Constitutive relations and port-Hamiltonian circuit dynamics

3 Conservation laws on higher-dimensional complexes

3.1 Kirchhoff behavior on k-complexes

3.2 Open k-complexes

4 Port-Hamiltonian dynamics on k-complexes

4.1 Example: Heat transfer on a 2-complex

5 Conclusions

References

Polynomial Optimization Problems areEigenvalue Problems

1 Introduction

2 General Theory

2.1 Introduction

2.2 Polynomial Optimization is Polynomial System Solving

2.3 Solving a System of Polynomial Equations is Linear Algebra

2.3.1 Motivational Example

2.3.2 Preliminary Notions

2.3.3 ConstructingMatrices Md

2.4 Determining the Number of Roots

2.5 Finding the Roots

2.5.1 Realization Theory

2.5.2 The Stetter-M¨oller Eigenvalue Problem

2.6 Finding the Minimizing Root as a Maximal Eigenvalue

2.7 Algorithms

3 Applications in Systems Theory and Identification

4 Conclusions and Future Work

References

Part II_Bridging Theory and Applied Technology

Designing Instrumentation for Control

1 Motivation

2 Definition of Information Architecture

3 Background

4 Contributions of this Paper

5 Problem Statement

6 Solution to the General Integrated Sensor/Actuator Selectionand Control Design Problem

7 Particular Cases of the Integrated Sensor/Actuator Selectionand Control Design Problem

7.1 State feedback control

7.2 Estimation

7.3 Economic design problem

8 Discrete-time systems

9 Sensor and Actuator Selection

10 Examples

11 Economic sensor/actuator selection

12 Conclusion

References

Uncertain Model Set Calculation fromFrequency Domain Data

1 Introduction

2 Uncertainty Models

2.1 Application to covering a family of models

2.2 Containment Metrics

3 Application of Over-Bound Uncertainty Modeling to NASAGTM Aircraft

3.1 Lateral-Directional GTM Aircraft Linear Model

3.2 Generation of Frequency Response Data Sets

3.3 Over-Bounding as a LMI Feasibility Problem

3.3.1 Data Set I

3.3.2 Data Set IP

3.3.3 Data Set IPN

3.4 Effect of System Directionality

3.5 Containment Metric

4 Conclusions

References

Robust Estimation for Automatic ControllerTuning with Application to Active Noise Control

1 Introduction

2 Approach to Automatic Controller Tuning

2.1 Simultaneous Perturbation of Plant and Controller

2.2 Disturbance Model

2.3 Overview of REACT

3 REACT Algorithm

3.1 Defining an Error Function

3.2 Derivation of Algorithm

4 Stability and Convergence of the Tuning Algorithm

4.1 Stability of the Feedback System

4.2 Convergence of the Tuning Algorithm

5 Application to ANC

5.1 Description of System

5.2 Identification of Plant Model

5.3 Experimental Results

6 Conclusions

References

Identification of Parameters in Large ScalePhysical Model Structures, for the Purpose ofModel-Based Operations

1 Introduction

2 Identifiability - the starting point

3 Testing local identifiability in identification

3.1 Introduction

3.2 Analyzing local identifiability in q

3.3 Approximating the identifiable parameter space

4 Parameter scaling in identifiability

5 Relation with controllability and observability

6 Cost function minimization in identification

7 A Bayesian approach

8 Structural identifiability

9 Examples

10 Conclusions

References

Part III_Applications in Motion Control Systemsand Industrial Process Control

Recovering Data from Cracked Optical Discsusing Hankel Iterative Learning Control

1 Introduction

2 Experimental setup

2.1 Optical storage principle

2.2 Cracked disc

2.3 Motion system

3 Hankel ILC

3.1 System formulation

3.2 Hankel ILC control framework

3.2.1 Convergence

3.2.2 Performance

3.3 Hankel ILC control design

4 Implementation aspects

4.1 Trial-varying setpoint variations

4.2 Dealing with the DEFO

4.3 State transformation to physical coordinates

4.4 Resulting Hankel ILC scheme

5 Experimental results

6 Conclusions

References

Advances in Data-driven Optimization ofParametric and Non-parametric FeedforwardControl Designs with Industrial Applications

1 Introduction

2 Data-driven Feedforward Control Optimization

2.1 Objective Function

2.2 Optimization Algorithm

2.2.1 Convergence

2.2.2 Implementation

3 Parametric Feedforward Control Optimization for a WaferStage Application

3.1 Feedforward Controller Parameterization

3.2 Experimental Results

4 Non-parametric Feedforward Control Optimization for aDigital Light Projection Application

4.1 Feedforward Controller Parameterization

4.2 Non-parametric Feedforward Control Optimization and ILC

4.3 ILC Design for UHP Lamp Current Control

4.4 Experimental Results

5 Conclusions

References

Incremental Identification of Hybrid Models ofDynamic Process Systems

1 Introduction

2 Hybrid models

3 Model identification strategies

3.1 Incremental model development and refinement

3.2 Incremental model identification

3.3 An assessment of incremental identification

4 Incremental identification of a hybrid semi-batch reactor

4.1 Reactor model

4.2 Incremental identification approach for the hybrid semi-batchreactor example

4.3 Simulated isothermal reaction system

4.4 Experimental data

4.5 Various modeling scenarios

4.6 Validation of the hybrid reactor model

5 Incremental identification of generally structured hybridmodels

6 Conclusions

References

Front Controllability in Two-Phase PorousMedia Flow

1 Introduction

2 Front dynamics

3 Analytical solution

4 Numerical approximation

5 Controllability

5.1 Pressures and velocities at the front

5.2 Position of the front

6 Front control

7 Concluding remarks

Nomenclature

Appendix: Analytical expressions

References

Part IV_Appendix

PhD Supervision by Okko H. Bosgra

Delft University of Technology

Wageningen University and Research Centre

Eindhoven University of Technology

Okko H. Bosgra,Bibliographic Record

Journal Papers, Book Chapters and Book Reviews

Conference Papers

Index