550 research outputs found
Switching Quantum Dynamics for Fast Stabilization
Control strategies for dissipative preparation of target quantum states, both
pure and mixed, and subspaces are obtained by switching between a set of
available semigroup generators. We show that the class of problems of interest
can be recast, from a control--theoretic perspective, into a
switched-stabilization problem for linear dynamics. This is attained by a
suitable affine transformation of the coherence-vector representation. In
particular, we propose and compare stabilizing time-based and state-based
switching rules for entangled state preparation, showing that the latter not
only ensure faster convergence with respect to non-switching methods, but can
designed so that they retain robustness with respect to initialization, as long
as the target is a pure state or a subspace.Comment: 15 pages, 4 figure
Model predictive control techniques for hybrid systems
This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581
Contraction analysis of nonlinear systems and its application
The thesis addresses various issues concerning the convergence properties of switched systems and differential algebraic equation (DAE) systems. Specifically, we focus on contraction analysis problem, as well as tackling problems related to stabilization and synchronization. We consider the contraction analysis of switched systems and DAE systems. To address this, a transformation is employed to convert the contraction analysis problem into a stabilization analysis problem. This transformation involves the introduction of virtual systems, which exhibit a strong connection with the Jacobian matrix of the vector field. Analyzing these systems poses a significant challenge due to the distinctive structure of their Jacobian matrices. Regarding the switched systems, a time-dependent switching law is established to guarantee uniform global exponential stability (UGES). As for the DAE system, we begin by embedding it into an ODE system. Subsequently, the UGES property is ensured by analyzing its matrix measure. As our first application, we utilize our approach to stabilize time-invariant switched systems and time-invariant DAE systems, respectively. This involves designing control laws to achieve system contractivity, thereby ensuring that the trajectory set encompasses the equilibrium point. In oursecond application, we propose the design of a time-varying observer by treating the system’s output as an algebraic equation of the DAE system. In our study on synchronization problems, we investigate two types of synchronization issues: the trajectory tracking of switched oscillators and the pinning state synchronization. In the case of switched oscillators, we devise a time-dependent switching law to ensure that these oscillators effectively follow the trajectory of a time-varying system. As for the pinning synchronization problem, we define solvable conditions and, building upon these conditions, we utilize contraction theory to design dynamic controllers that guarantee synchronization is achieved among the agents
Contraction analysis of nonlinear systems and its application
The thesis addresses various issues concerning the convergence properties of switched systems and differential algebraic equation (DAE) systems. Specifically, we focus on contraction analysis problem, as well as tackling problems related to stabilization and synchronization. We consider the contraction analysis of switched systems and DAE systems. To address this, a transformation is employed to convert the contraction analysis problem into a stabilization analysis problem. This transformation involves the introduction of virtual systems, which exhibit a strong connection with the Jacobian matrix of the vector field. Analyzing these systems poses a significant challenge due to the distinctive structure of their Jacobian matrices. Regarding the switched systems, a time-dependent switching law is established to guarantee uniform global exponential stability (UGES). As for the DAE system, we begin by embedding it into an ODE system. Subsequently, the UGES property is ensured by analyzing its matrix measure. As our first application, we utilize our approach to stabilize time-invariant switched systems and time-invariant DAE systems, respectively. This involves designing control laws to achieve system contractivity, thereby ensuring that the trajectory set encompasses the equilibrium point. In oursecond application, we propose the design of a time-varying observer by treating the system’s output as an algebraic equation of the DAE system. In our study on synchronization problems, we investigate two types of synchronization issues: the trajectory tracking of switched oscillators and the pinning state synchronization. In the case of switched oscillators, we devise a time-dependent switching law to ensure that these oscillators effectively follow the trajectory of a time-varying system. As for the pinning synchronization problem, we define solvable conditions and, building upon these conditions, we utilize contraction theory to design dynamic controllers that guarantee synchronization is achieved among the agents
Nondeterministic hybrid dynamical systems
This thesis is concerned with the analysis, control and identification of hybrid dynamical systems. The main focus is on a particular class of hybrid systems consisting of linear subsystems. The discrete dynamic, i.e., the change between subsystems, is unknown or nondeterministic and cannot be influenced, i.e. controlled, directly. However changes in the discrete dynamic can be detected immediately, such that the current dynamic (subsystem) is known.
In order to motivate the study of hybrid systems and show the merits of hybrid control theory, an example is given. It is shown that real world systems like Anti Locking Brakes (ABS) are naturally modelled by such a class of linear hybrids systems. It is shown that purely continuous feedback is not suitable since it cannot achieve maximum braking performance. A hybrid control strategy, which overcomes this problem, is presented.
For this class of linear hybrid system with unknown discrete dynamic, a framework for robust control is established. The analysis methodology developed gives a robustness radius such that the stability under parameter variations can be analysed. The controller synthesis procedure is illustrated in a practical example where the control for an active suspension of a car is designed.
Optimal control for this class of hybrid system is introduced. It is shows how a control law is obtained which minimises a quadratic performance index. The synthesis procedure is stated in terms of a convex optimisation problem using linear matrix inequalities (LMI). The solution of the LMI not only returns the controller but also the performance bound.
Since the proposed controller structures require knowledge of the continuous state, an observer design is proposed. It is shown that the estimation error converges quadratically while minimising the covariance of the estimation error. This is similar to the Kalman filter for discrete or continuous time systems. Further, we show that the synthesis of the observer can be cast into an LMI, which conveniently solves the synthesis problem
Analysis and Design of Hybrid Control Systems
Different aspects of hybrid control systems are treated: analysis, simulation, design and implementation. A systematic methodology using extended Lyapunov theory for design of hybrid systems is developed. The methodology is based on conventional control designs in separate regions together with a switching strategy. Dynamics are not well defined if the control design methods lead to fast mode switching. The dynamics depend on the salient features of the implementation of the mode switches. A theorem for the stability of second order switching together with the resulting dynamics is derived. The dynamics on an intersection of two sliding sets are defined for two relays working on different time scales. The current simulation packages have problems modeling and simulating hybrid systems. It is shown how fast mode switches can be found before or during simulation. The necessary analysis work is a very small overhead for a modern simulation tool. To get some experience from practical problems with hybrid control the switching strategy is implemented in two different software environments. In one of them a time-optimal controller is added to an existing PID controller on a commercial control system. Successful experiments with this hybrid controller shows the practical use of the method
Distributed Model-based Control for Gas Turbine Engines
Controlling a gas turbine engine is a fascinating problem. As one of the most complex systems developed, it relies on thermodynamics, fluid mechanics, materials science as well as electrical, control and systems engineering. The evolution of gas turbine engines is marked with an increase in the number of actuators. Naturally, this increase in actuation capability has also been followed by the improvement of other technologies such as advanced high-temperature and lighter materials, improving the efficiency of the aero engines by extending their physical limits. An improvement in the way to control the engine has to be undertaken in order for these technological improvements to be fully harnessed. This starts with the selection of a novel control system architecture and is followed by the design of new control techniques. Model-based control methods relying on distributed architectures have been studied in the past for their ability to handle constraints and to provide optimal control strategies. Applying them to gas turbine engines is interesting for three main reasons. First of all, distributed control architectures provide greater modularity during the design than centralized control architectures. Secondly, they can reduce the life cycle costs linked to both the fuel burnt and the maintenance by bringing optimal control decisions. Finally, distributing the control actions can increase flight safety through improved robustness as well as fault tolerance. This thesis is concerned with the optimal selection of a distributed control system architecture that minimizes the number of subsystem to subsystem interactions. The control system architecture problem is formulated as a binary integer linear programming problem where cuts are added to remove the uncontrollable partitions obtained. Then a supervised-distributed control technique is presented whereby a supervisory agent optimizes the joint communication and system performance metrics periodically. This online optimal technique is cast as a semi-definite programming problem including a bilinear matrix equality and solved using an alternate convex search. Finally, an extension of this online optimal control technique is presented for non-linear systems modelled by linear parameter-varying models
Stability Analysis and Controller Synthesis of Switched Systems
Ph.DDOCTOR OF PHILOSOPH
Recent Advances in Robust Control
Robust control has been a topic of active research in the last three decades culminating in H_2/H_\infty and \mu design methods followed by research on parametric robustness, initially motivated by Kharitonov's theorem, the extension to non-linear time delay systems, and other more recent methods. The two volumes of Recent Advances in Robust Control give a selective overview of recent theoretical developments and present selected application examples. The volumes comprise 39 contributions covering various theoretical aspects as well as different application areas. The first volume covers selected problems in the theory of robust control and its application to robotic and electromechanical systems. The second volume is dedicated to special topics in robust control and problem specific solutions. Recent Advances in Robust Control will be a valuable reference for those interested in the recent theoretical advances and for researchers working in the broad field of robotics and mechatronics
Secure and Private Implementation of Dynamic Controllers Using Semi-Homomorphic Encryption
This paper presents a secure and private implementation of linear
time-invariant dynamic controllers using Paillier's encryption, a
semi-homomorphic encryption method. To avoid overflow or underflow within the
encryption domain, the state of the controller is reset periodically. A control
design approach is presented to ensure stability and optimize performance of
the closed-loop system with encrypted controller.Comment: Improved numerical exampl
- …