Results 1  10
of
397
Constrained model predictive control: Stability and optimality
 AUTOMATICA
, 2000
"... Model predictive control is a form of control in which the current control action is obtained by solving, at each sampling instant, a finite horizon openloop optimal control problem, using the current state of the plant as the initial state; the optimization yields an optimal control sequence and t ..."
Abstract

Cited by 696 (15 self)
 Add to MetaCart
Model predictive control is a form of control in which the current control action is obtained by solving, at each sampling instant, a finite horizon openloop optimal control problem, using the current state of the plant as the initial state; the optimization yields an optimal control sequence and the first control in this sequence is applied to the plant. An important advantage of this type of control is its ability to cope with hard constraints on controls and states. It has, therefore, been widely applied in petrochemical and related industries where satisfaction of constraints is particularly important because efficiency demands operating points on or close to the boundary of the set of admissible states and controls. In this review, we focus on model predictive control of constrained systems, both linear and nonlinear and discuss only briefly model predictive control of unconstrained nonlinear and/or timevarying systems. We concentrate our attention on research dealing with stability and optimality; in these areas the subject has developed, in our opinion, to a stage where it has achieved sufficient maturity to warrant the active interest of researchers in nonlinear control. We distill from an extensive literature essential principles that ensure stability and use these to present a concise characterization of most of the model predictive controllers that have been proposed in the literature. In some cases the finite horizon optimal control problem solved online is exactly equivalent to the same problem with an infinite horizon; in other cases it is equivalent to a modified infinite horizon optimal control problem. In both situations, known advantages of infinite horizon optimal control accrue.
Observability and Controllability of Piecewise Affine and Hybrid Systems
 IEEE Transactions on Automatic Control
, 1999
"... In this pap e we prove in a constructive way, the ee ale b e we e pie a#ne syste and a broad class of hybridsyste de e d by inte line dynamics, automata, and propositional logic. By focusing our inveon the forme class, we show through countethat obse ability and controllability prope rtie cannot b ..."
Abstract

Cited by 139 (21 self)
 Add to MetaCart
(Show Context)
In this pap e we prove in a constructive way, the ee ale b e we e pie a#ne syste and a broad class of hybridsyste de e d by inte line dynamics, automata, and propositional logic. By focusing our inveon the forme class, we show through countethat obse ability and controllability prope rtie cannot be e asilydely from those of the comp tline subsyste Inste we propose practical nume te base onmixe te line programming. Keywords Hybrid syste controllability,obse ability, pie line syste pie a#ne syste mixe teline programming I. Introducti In recent yearsb oth control and computer science haveb een attractedb y hybridsystem [1], [2], [23], [25], [26],b ecause they provide a unified framework fordescribgARB( cesses evolving accordingto continuous dynamics, discrete dynamics, and logic rules. The interest is mainly motivatedb y the large variety of practical situations, for instance realtime systems, where physical processes interact with digital controllers. Several modelingformalisms h...
Equivalence of hybrid dynamical models
 AUTOMATICA
, 2001
"... This paper establishes equivalences among five classes of hybrid systems: mixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) systems, and maxminplusscaling (MMPS) systems. Some of the equivalences are es ..."
Abstract

Cited by 113 (29 self)
 Add to MetaCart
This paper establishes equivalences among five classes of hybrid systems: mixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) systems, and maxminplusscaling (MMPS) systems. Some of the equivalences are established under (rather mild) additional assumptions. These results are of paramount importance for transferring theoretical properties and tools from one class to another, with the consequence that for the study of a particular hybrid system that belongs to any of these classes, one can choose the most convenient hybrid modeling framework.
Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results
, 2005
"... During the last decade, there has been increasing interest in the stability analysis and switching control design for switched linear systems. This paper aims to briefly survey recent results in this field, focusing on stability analysis and switching stabilization problems. First, the stability an ..."
Abstract

Cited by 110 (10 self)
 Add to MetaCart
(Show Context)
During the last decade, there has been increasing interest in the stability analysis and switching control design for switched linear systems. This paper aims to briefly survey recent results in this field, focusing on stability analysis and switching stabilization problems. First, the stability analysis problem for switched linear systems is reviewed. We focus on the asymptotic stability analysis for switched linear systems under arbitrary switching, and highlight necessary and sufficient conditions for this problem. Secondly, the switching stabilization problem is studied, and a variety of switching stabilization methods found in the literature are outlined. One of the most elusive problems in the switched systems literature has been the switching stabilizability problem, that is under what condition it is possible to stabilize a switched system by properly designing switching control laws. Necessary and sufficient conditions for asymptotic stabilizability of switched linear systems are described.
A Clustering Technique for the Identification of Piecewise Affine Systems
, 2001
"... We propose a new technique for the identification of discretetime hybrid systems in the PieceWise Affine (PWA) form. This problem can be formulated as the reconstruction of a possibly discontinuous PWA map with a multidimensional domain. In order to achieve our goal, we provide an algorithm that ..."
Abstract

Cited by 95 (11 self)
 Add to MetaCart
We propose a new technique for the identification of discretetime hybrid systems in the PieceWise Affine (PWA) form. This problem can be formulated as the reconstruction of a possibly discontinuous PWA map with a multidimensional domain. In order to achieve our goal, we provide an algorithm that exploits the combined use of clustering, linear identification, and pattern recognition techniques. This allows to identify both the affine submodels and the polyhedral partition of the domain on which each submodel is valid avoiding gridding procedures. Moreover, the clustering step (used for classifying the datapoints) is performed in a suitably defined feature space which allows also to reconstruct different submodels that share the same coefficients but are defined on different regions. Measures of confidence on the samples are introduced and exploited in order to improve the performance of both the clustering and the final linear regression procedure.
A control problem for affine dynamical systems on a fulldimensional polytope
 AUTOMATICA
, 2004
"... ..."
Towards a geometric theory of hybrid systems
 In HSCC’00, number 1790 in LNCS
, 2000
"... Abstract. We propose a framework for a geometric theory of hybrid systems. Given a deterministic, nonblocking hybrid system, we introduce the notion of its hybrifold with the associated hybrid flow on it. This enables us to study hybrid systems from a global geometric perspective as (generally non ..."
Abstract

Cited by 54 (19 self)
 Add to MetaCart
(Show Context)
Abstract. We propose a framework for a geometric theory of hybrid systems. Given a deterministic, nonblocking hybrid system, we introduce the notion of its hybrifold with the associated hybrid flow on it. This enables us to study hybrid systems from a global geometric perspective as (generally nonsmooth) dynamical systems. This point of view is adopted in studying the Zeno phenomenon. We show that it is due to nonsmoothness of the hybrid flow. We introduce the notion of topological equivalence of hybrid systems and locally classify isolated Zeno states in dimension two.
Analysis and synthesis of switched linear control systems
, 2005
"... Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant, but also tangible with the rich results in the linear system theory. Rapid progress in the field has generated many new ..."
Abstract

Cited by 49 (3 self)
 Add to MetaCart
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant, but also tangible with the rich results in the linear system theory. Rapid progress in the field has generated many new ideas and powerful tools. This paper provides a concise and timely survey on analysis and synthesis of switched linear control systems, and presents the basic concepts and main properties of switched linear systems in a systematic manner. The fundamental topics include (i) controllability and observability, (ii) system structural decomposition, (iii) feedback controller design for stabilization, and (iv) optimal control.
Verification of analog and mixedsignal circuits using hybrid systems techniques
 IN FMCAD, LNCS
, 2004
"... In this paper we demonstrate a potential extension of formal verification methodology in order to deal with timedomain properties of analog and mixedsignal circuits whose dynamic behavior is described by differential algebraic equations. To model and analyze such circuits under all possible inpu ..."
Abstract

Cited by 49 (6 self)
 Add to MetaCart
(Show Context)
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with timedomain properties of analog and mixedsignal circuits whose dynamic behavior is described by differential algebraic equations. To model and analyze such circuits under all possible input signals and all values of parameters, we build upon two techniques developed in the context of hybrid (discretecontinuous) control systems. First, we extend our algorithm for approximating sets of reachable sets for densetime continuous systems to deal with differential algebraic equations (DAEs) and apply it to a biquad lowpass filter. To analyze more complex circuits, we resort to bounded horizon verification. We use optimal control techniques to check whether a ∆Σ modulator, modeled as a discretetime hybrid automaton, admits an input sequence of bounded length that drives it to saturation. 1
Identification of piecewise affine systems via mixedinteger programming
 AUTOMATICA
, 2004
"... This paper addresses the problem of identification of hybrid dynamical systems, by focusing the attention on hinging hyperplanes (HHARX) and Wiener piecewise affine (WPWARX) autoregressive exogenous models. In particular, we provide algorithms based on mixedinteger linear or quadratic programming ..."
Abstract

Cited by 47 (5 self)
 Add to MetaCart
(Show Context)
This paper addresses the problem of identification of hybrid dynamical systems, by focusing the attention on hinging hyperplanes (HHARX) and Wiener piecewise affine (WPWARX) autoregressive exogenous models. In particular, we provide algorithms based on mixedinteger linear or quadratic programming which are guaranteed to converge to a global optimum. For the special case where switches occur only seldom in the estimation data, we also suggest a way of trading off between optimality and complexity by using a change detection approach.