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 …

I and i

/pdf/convex-analysisnoer-san-nojin-zhan-nituite-5dl2rbmoyr.pdf

Convex Analysisの二,三の進展について

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.

http://promexico.me/Rubenius/WhitePapers/sdarticle%20(1).pdf

Progress in electrical energy storage system: A critical review

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.

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

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.

Coverage control for mobile sensing networks

Periodic event-triggered control of nonlinear systems using overapproximation techniques

In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions. The main motivation for investigating piecewise smooth ISS Lyapunov functions is the success of piecewise smooth Lyapunov functions in the stability analysis of hybrid systems. This paper proposes an extension of the well-known Filippov's solution concept, that is appropriate for 'open' systems so as to allow interconnections of DDS. It is proven that the existence of a piecewise smooth ISS Lyapunov function for a DDS implies ISS. In addition, a (small gain) ISS interconnection theorem is derived for two DDS that both admit a piecewise smooth ISS Lyapunov function. This result is constructive in the sense that an explicit ISS Lyapunov function for the interconnected system is given. It is shown how these results can be applied to construct piecewise quadratic ISS Lyapunov functions for piecewise linear systems (including sliding motions) via linear matrix inequalities.

Input-to-state stability and interconnections of discontinuous dynamical systems

http://www.dct.tue.nl/New/Heemels/preprint_HeeWei_08_Automatica.pdf

Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the case in many technological systems in which logic decision-making and embedded control actions are combined with continuous physical processes. Also for many mechanical, biological, electrical and economical systems the use of hybrid models is essential to adequately describe their behaviour. To capture the evolution of these systems, mathematical models are needed that combine in one way or another the dynamics of the continuous parts of the system with the dynamics of the logic and discrete parts. These mathematical models come in all kinds of variations, but basically consist of some form of differential or difference equations on the one hand and automata or other discrete-event models on the other hand. The collection of analysis and synthesis techniques based on these models forms the research area of hybrid systems theory, which plays an important role in the multi-disciplinary design of many technological systems that surround us. This paper presents an overview from the perspective of the control community on modelling, analysis and control design for hybrid dynamical systems and surveys the major research lines in this appealing and lively research area.

/pdf/stability-analysis-and-controller-synthesis-for-hybrid-1pggddkly7.pdf

Stability analysis and controller synthesis for hybrid dynamical systems

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.

Wpmh Maurice Heemels

Papers

Periodic event-triggered control of nonlinear systems using overapproximation techniques

Input-to-state stability and interconnections of discontinuous dynamical systems

Input-to-state stability and interconnections of discontinuous dynamical systems

Stability analysis and controller synthesis for hybrid dynamical systems

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