Wpmh Maurice Heemels

Bio: Wpmh Maurice Heemels is an academic researcher from Eindhoven University of Technology. The author has contributed to research in topics: Linear system & Hybrid system. The author has an hindex of 59, co-authored 427 publications receiving 16476 citations. Previous affiliations of Wpmh Maurice Heemels include University of California, Santa Barbara.

Extended Projected Dynamical Systems with Applications to Hybrid Integrator-Gain Systems

Abstract: The class of projected dynamical systems (PDS) has proven to be a powerful framework for modeling dynamical systems of which the trajectories are constrained to a set by means of projection. However, PDS fall short in modeling systems in which the constraint set does not satisfy certain regularity conditions and only part of the dynamics can be projected. This poses limitations in terms of the phenomena that can be described in this framework especially in the context of systems and control. Motivated by hybrid integrator-gain systems (HIGS), which are recently proposed control elements in the literature that aim at overcoming fundamental limitations of linear time-invariant feedback control, a new class of discontinuous dynamical systems referred to as extended projected dynamical systems (ePDS) is introduced in this paper. Extended projected dynamical systems include PDS as a special case and are well-defined for a wider variety of constraint sets as well as partial projections of the dynamics. In this paper, the ePDS framework is connected to the classical PDS literature and is subsequently used to provide a formal mathematical description of a HIGS-controlled system, which was lacking in the literature so far. Based on the latter result, HIGS-controlled systems are shown to be well-posed, in the sense of global existence of solutions.

Stability of hybrid model predictive control

Abstract: In this paper we investigate the stability of hybrid systems in closed-loop with Model Predictive Controllers (MPC) and we derive a priori sufficient conditions for Lyapunov asymptotic stability and exponential stability. A general theory is presented which proves that Lyapunov stability is achieved for both terminal cost and constraint set and terminal equality constraint hybrid MPC, even though the considered Lyapunov function and the system dynamics may be discontinuous. For particular choices of MPC criteria and constrained Piecewise Affine (PWA) systems as the prediction models we develop novel algorithms for computing the terminal cost and the terminal constraint set. For a quadratic MPC cost, the stabilization conditions translate into a linear matrix inequality while, for an 1-norm based MPC cost, they are obtained as 1-norm inequalities. It is shown that by using 1-norms, the terminal constraint set is automatically obtained as a polyhedron or a finite union of polyhedra by taking a sublevel set of the calculated terminal cost function. New algorithms are developed for calculating polyhedral or piecewise polyhedral positively invariant sets for PWA systems. In this manner, the on-line optimization problem leads to a mixed integer quadratic programming problem or to a mixed integer linear programming problem, which can be solved by standard optimization tools. Several examples illustrate the effectiveness of the developed methodology.

Input-to-state stabilizing event-triggered control for linear systems with output quantization

Abstract: In this paper, we are interested in the stabilization of a linear plant based on output measurements that are subject to dynamic quantization. Moreover, to save communication resources, these measurements are transmitted to the controller using an output-based event-triggering condition. The proposed event-triggering mechanism and the dynamic quantization strategy ensure an input-to-state stability (ISS) property of a set around the origin with respect to the external disturbances. The existence of a strictly positive lower bound is ensured on both the inter-transmission times and the inter-zoom times in order to prevent the occurrence of Zeno behaviour. The chattering between zoom-in and zoom-out actions is avoided, and the zoom variable of the dynamic quantizer is guaranteed to be bounded. We characterize the inherent tradeoff between transmissions and quantization in terms of design parameters that can be tuned by the user. The effectiveness of the approach is illustrated on a numerical example.

Five Years of Multi-Disciplinary Academic and Industrial Research; Lessons Learned

Abstract: The Boderc project was the first broad scale multi-disciplinary project with closely cooperating industrial and academic participants performed by the Embedded Systems Institute. After five years we evaluated the project and collected the lessons learned from this project. We look at the underlying project philosophy, Industry-as-Laboratory, at process and organization issues, and at the project results.The article describes the industrial context, the design of the system (a high-volume printer), and the challenges of creating system designs in the industrial context. We discuss the research propositions to tackle these challenges. The central theme of the research is the use of multi-disciplinary models to predict and analyze system performance and to explore design options.

Applications of complementarity systems

Abstract: The class of complementarity systems has been analyzed in considerable detail as a special subclass of hybrid systems. The goal of this paper is to motivate the ongoing research by showing that many physically relevant systems fit in the framework of complementarity systems.

I and i

Abstract: There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality. Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

Progress in electrical energy storage system: A critical review

Abstract: Electrical energy storage technologies for stationary applications are reviewed. Particular attention is paid to pumped hydroelectric storage, compressed air energy storage, battery, flow battery, fuel cell, solar fuel, superconducting magnetic energy storage, flywheel, capacitor/supercapacitor, and thermal energy storage. Comparison is made among these technologies in terms of technical characteristics, applications and deployment status.

Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results

Abstract: During the past several years, there have been increasing research activities in the field of stability analysis and switching stabilization for switched systems. This paper aims to briefly survey recent results in this field. First, the stability analysis for switched systems is reviewed. We focus on the stability analysis for switched linear systems under arbitrary switching, and we highlight necessary and sufficient conditions for asymptotic stability. After a brief review of the stability analysis under restricted switching and the multiple Lyapunov function theory, the switching stabilization problem is studied, and a variety of switching stabilization methods found in the literature are outlined. Then the switching stabilizability problem is investigated, that is under what condition it is possible to stabilize a switched system by properly designing switching control laws. Note that the switching stabilizability problem has been one of the most elusive problems in the switched systems literature. A necessary and sufficient condition for asymptotic stabilizability of switched linear systems is described here.

Coverage control for mobile sensing networks

Abstract: This paper presents control and coordination algorithms for groups of vehicles. The focus is on autonomous vehicle networks performing distributed sensing tasks where each vehicle plays the role of a mobile tunable sensor. The paper proposes gradient descent algorithms for a class of utility functions which encode optimal coverage and sensing policies. The resulting closed-loop behavior is adaptive, distributed, asynchronous, and verifiably correct.