Constrained Optimal Control of Linear and Hybrid Systems

Constrained Optimal Control of Linear and Hybrid Systems
Author: Francesco Borrelli
Publisher: Springer
Total Pages: 206
Release: 2003-09-04
Genre: Mathematics
ISBN: 3540362258
GET BOOK

Download Constrained Optimal Control of Linear and Hybrid Systems Book in PDF, Epub and Kindle

Many practical control problems are dominated by characteristics such as state, input and operational constraints, alternations between different operating regimes, and the interaction of continuous-time and discrete event systems. At present no methodology is available to design controllers in a systematic manner for such systems. This book introduces a new design theory for controllers for such constrained and switching dynamical systems and leads to algorithms that systematically solve control synthesis problems. The first part is a self-contained introduction to multiparametric programming, which is the main technique used to study and compute state feedback optimal control laws. The book's main objective is to derive properties of the state feedback solution, as well as to obtain algorithms to compute it efficiently. The focus is on constrained linear systems and constrained linear hybrid systems. The applicability of the theory is demonstrated through two experimental case studies: a mechanical laboratory process and a traction control system developed jointly with the Ford Motor Company in Michigan.

Hybrid Systems with Constraints

Hybrid Systems with Constraints
Author: Jamal Daafouz
Publisher: John Wiley & Sons
Total Pages: 174
Release: 2013-05-06
Genre: Technology & Engineering
ISBN: 111863991X
GET BOOK

Download Hybrid Systems with Constraints Book in PDF, Epub and Kindle

Control theory is the main subject of this title, in particular analysis and control design for hybrid dynamic systems. The notion of hybrid systems offers a strong theoretical and unified framework to cope with the modeling, analysis and control design of systems where both continuous and discrete dynamics interact. The theory of hybrid systems has been the subject of intensive research over the last decade and a large number of diverse and challenging problems have been investigated. Nevertheless, many important mathematical problems remain open. This book is dedicated mainly to hybrid systems with constraints; taking constraints into account in a dynamic system description has always been a critical issue in control. New tools are provided here for stability analysis and control design for hybrid systems with operating constraints and performance specifications. Contents 1. Positive Systems: Discretization with Positivity and Constraints, Patrizio Colaneri, Marcello Farina, Stephen Kirkland, Riccardo Scattolini and Robert Shorten. 2. Advanced Lyapunov Functions for Lur’e Systems, Carlos A. Gonzaga, Marc Jungers and Jamal Daafouz. 3. Stability of Switched DAEs, Stephan Trenn. 4. Stabilization of Persistently Excited Linear Systems, Yacine Chitour, Guilherme Mazanti and Mario Sigalotti. 5. Hybrid Coordination of Flow Networks, Claudio De Persis, Paolo Frasca. 6. Control of Hybrid Systems: An Overview of Recent Advances, Ricardo G. Sanfelice. 7. Exponential Stability for Hybrid Systems with Saturations, Mirko Fiacchini, Sophie Tarbouriech, Christophe Prieur. 8. Reference Mirroring for Control with Impacts, Fulvio Forni, Andrew R. Teel, Luca Zaccarian. About the Authors Jamal Daafouz is an expert in the area of switched and polytopic systems and has published several major results in leading journals (IEEE TAC, Automatica, Systems and Control Letters, etc.). He serves as an Associate Editor for the key journal IEEE TAC and is a member of the Editorial Board of the IEEE CSS society. Sophie Tarbouriech is an expert in the area of nonlinear systems with constraints and has published several major results in leading journals (IEEE TAC, Automatica, Systems and Control Letters, etc.) and books. She is a member of the Editorial Board of the IEEE CSS society and has also served as an Associate Editor for the key journal IEEE TAC. Mario Sigalotti is an expert in applied mathematics and switched systems and has published several results in leading journals (IEEE TAC, Automatica, Systems and Control Letters, etc.). He heads the INRIA team GECO and is a member of the IFAC Technical Committee on Distributed Parameter Systems.

Predictive Control for Linear and Hybrid Systems

Predictive Control for Linear and Hybrid Systems
Author: Francesco Borrelli
Publisher: Cambridge University Press
Total Pages: 447
Release: 2017-06-22
Genre: Mathematics
ISBN: 1107016886
GET BOOK

Download Predictive Control for Linear and Hybrid Systems Book in PDF, Epub and Kindle

With a simple approach that includes real-time applications and algorithms, this book covers the theory of model predictive control (MPC).

Constrained Optimal Control of Linear and Hybrid Systems

Constrained Optimal Control of Linear and Hybrid Systems
Author: Francesco Borrelli
Publisher: Springer
Total Pages: 206
Release: 2014-03-12
Genre: Mathematics
ISBN: 9783662182758
GET BOOK

Download Constrained Optimal Control of Linear and Hybrid Systems Book in PDF, Epub and Kindle

Many practical control problems are dominated by characteristics such as state, input and operational constraints, alternations between different operating regimes, and the interaction of continuous-time and discrete event systems. At present no methodology is available to design controllers in a systematic manner for such systems. This book introduces a new design theory for controllers for such constrained and switching dynamical systems and leads to algorithms that systematically solve control synthesis problems. The first part is a self-contained introduction to multiparametric programming, which is the main technique used to study and compute state feedback optimal control laws. The book's main objective is to derive properties of the state feedback solution, as well as to obtain algorithms to compute it efficiently. The focus is on constrained linear systems and constrained linear hybrid systems. The applicability of the theory is demonstrated through two experimental case studies: a mechanical laboratory process and a traction control system developed jointly with the Ford Motor Company in Michigan.

Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems
Author: Paulo Tabuada
Publisher: Springer Science & Business Media
Total Pages: 202
Release: 2009-06-12
Genre: Science
ISBN: 1441902244
GET BOOK

Download Verification and Control of Hybrid Systems Book in PDF, Epub and Kindle

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.

Handbook of Hybrid Systems Control

Handbook of Hybrid Systems Control
Author: Jan Lunze
Publisher: Cambridge University Press
Total Pages: 583
Release: 2009-10-15
Genre: Computers
ISBN: 0521765056
GET BOOK

Download Handbook of Hybrid Systems Control Book in PDF, Epub and Kindle

Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.

An Introduction to Hybrid Dynamical Systems

An Introduction to Hybrid Dynamical Systems
Author: Arjan J. van der Schaft
Publisher: Springer
Total Pages: 189
Release: 2007-10-03
Genre: Technology & Engineering
ISBN: 1846285429
GET BOOK

Download An Introduction to Hybrid Dynamical Systems Book in PDF, Epub and Kindle

This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first attempt in book form to bring together concepts and methods dealing with hybrid systems from various areas, and to look at these from a unified perspective. The authors have chosen a mode of exposition that is largely based on illustrative examples rather than on the abstract theorem-proof format because the systematic study of hybrid systems is still in its infancy. The examples are taken from many different application areas, ranging from power converters to communication protocols and from chaos to mathematical finance. Subjects covered include the following: definition of hybrid systems; description formats; existence and uniqueness of solutions; special subclasses (variable-structure systems, complementarity systems); reachability and verification; stability and stabilizability; control design methods. The book will be of interest to scientists from a wide range of disciplines including: computer science, control theory, dynamical system theory, systems modeling and simulation, and operations research.

Viability of Hybrid Systems

Viability of Hybrid Systems
Author: G. Labinaz
Publisher: Springer Science & Business Media
Total Pages: 250
Release: 2011-10-02
Genre: Science
ISBN: 9400725213
GET BOOK

Download Viability of Hybrid Systems Book in PDF, Epub and Kindle

The problem of viability of hybrid systems is considered in this work. A model for a hybrid system is developed including a means of including three forms of uncertainty: transition dynamics, structural uncertainty, and parametric uncertainty. A computational basis for viability of hybrid systems is developed and applied to three control law classes. An approach is developed for robust viability based on two extensions of the controllability operator. The three-tank example is examined for both the viability problem and robust viability problem. The theory is applied through simulation to an active magnetic bearing system and to a batch polymerization process showing that viability can be satisfied in practice. The problem of viable attainability is examined based on the controllability operator approach introduced by Nerode and colleagues. Lastly, properties of the controllability operator are presented.

Logical Analysis of Hybrid Systems

Logical Analysis of Hybrid Systems
Author: André Platzer
Publisher: Springer Science & Business Media
Total Pages: 446
Release: 2010-09-02
Genre: Mathematics
ISBN: 3642145094
GET BOOK

Download Logical Analysis of Hybrid Systems Book in PDF, Epub and Kindle

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.