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 & Control 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.

On integration of event-based estimation and robust MPC in a feedback loop

Abstract: The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (implicit) dependency between triggering the events and the control algorithm. To decouple these two, we introduce an event-based state estimator in between the sensor and the controller. The event-based estimator is used to obtain a state estimate with a bounded covariance matrix in the estimation error at every synchronous time instant, under the assumption that the set in the measurement-space that is used for event generation is bounded. The estimation error is then translated into explicit polytopic bounds that are fed into a robust MPC algorithm. We prove that the resulting MPC closed-loop system is input-to-state stable (ISS) to the estimation error. Moreover, whenever the network requirements are satisfied, the controller could explicitly request for an additional measurement in case there is a desire for a better disturbance rejection.

Event-Triggered Quantized Control for Input-to-State Stabilization of Linear Systems With Distributed Output Sensors

Abstract: We study output-based stabilization of linear time-invariant systems affected by unknown external disturbances. The plant outputs are measured by a collection of distributed sensors, which transmit their feedback information to the controller in an asynchronous fashion over different digital communication channels. Before transmission of measurements is possible quantization is needed, which is carried out by means of dynamic quantizers. To save valuable communication resources, the transmission instants of each sensor are determined by event-triggering mechanisms that only depend on locally available information. We propose a systematic methodology for the joint design of the (distributed) dynamic quantizers and the event-triggering mechanisms ensuring an input-to-state stability property of a size-adjustable set around the origin. Moreover, the proposed approach prevents the occurrence of Zeno behavior on the transmission instants and on the updates of the quantizer variable thereby guaranteeing that a finite number of data is transmitted within each finite time window. The tradeoff between transmissions and quantization is characterized in terms of the design parameters. The method is feasible for any stabilizable and detectable linear plant. The systematic design procedure and the effectiveness of the approach are illustrated on a numerical example.

Survey of modeling, analysis, and control of hybrid systems

Abstract: An overview of various modeling frameworks for hybrid systems is given followed by a comparison of the modeling power and the model complexity, which can serve as a guideline for choosing the right model for a given analysis or control problem with hybrid dynamics. Then, the main analydsis and design tasks for hybrid system.s are surveyed together with the methods for their solution, which will be discussed in more detail in subsequent chapters.

Projected dynamical systems in a complementarity formalism

Abstract: Projected dynamical systems have been introduced by Dupuis and Nagurney as dynamic extensions of variational inequalities. In the systems and control literature, complementarity systems have been studied as input/output dynamical systems whose inputs and outputs are connected through complementarity conditions. We show here that, under mild conditions, projected dynamical systems can be written as complementarity systems.

Consistency of a time-stepping method for a class of piecewise-linear networks

Abstract: In this brief, we will study the computation of transient solutions of a class of piecewise-linear (PL) circuits. The network models will be so-called linear complementarity systems, which can be seen as dynamical extensions of the PL modeling structure. In particular, the numerical simulation will be based on a time-stepping method using the well-known backward Euler scheme. It will be demonstrated, by means of an example, that this widely applied time-stepping method does not necessarily produce useful output for arbitrary linear dynamical systems with ideal diode characteristics. Next the consistency of the method will be proven for PL networks that can be realized by linear passive circuit elements and ideal diodes by showing that the approximations generated by the method converge to the true solution of the system in a suitable sense. To give such a consistency proof, a fundamental framework developed previously is indispensable as it proposes a precise definition of a "solution" of a linear complementarity system and provides conditions under which solutions exist and are unique.

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.