Stabilizing Scheduling Policies for Networked Control Systems

This paper deals with the problem of allocating communication resources for Networked Control Systems (NCSs). We consider an NCS consisting of a set of discrete-time LTI plants whose stabilizing feedback loops are closed through a shared communication channel. Due to a limited communication capacity of the channel, not all plants can exchange information with their controllers at any instant of time. We propose a method to find periodic scheduling policies under which global asymptotic stability of each plant in the NCS is preserved. The individual plants are represented as switched systems, and the NCS is expressed as a weighted directed graph. We construct stabilizing scheduling policies by employing cycles on the underlying weighted directed graph of the NCS that satisfy appropriate contractivity conditions. We also discuss algorithmic design of these cycles

Robust output stabilization: improving performance via supervisory control

We analyze robust stability, in an input-output sense, of switched stable systems. The primary goal (and contribution) of this paper is to design switching strategies to guarantee that input-output stable systems remain so under switching. We propose two types of {\em supervisors}: dwell-time and hysteresis based. While our results are stated as tools of analysis they serve a clear purpose in design: to improve performance. In that respect, we illustrate the utility of our findings by concisely addressing a problem of observer design for Lur'e-type systems; in particular, we design a hybrid observer that ensures ``fast'' convergence with ``low'' overshoots. As a second application of our main results we use hybrid control in the context of synchronization of chaotic oscillators with the goal of reducing control effort; an originality of the hybrid control in this context with respect to other contributions in the area is that it exploits the structure and chaotic behavior (boundedness of solutions) of Lorenz oscillators.Comment: Short version submitted to IEEE TA

Filtering for nonlinear genetic regulatory networks with stochastic disturbances

In this paper, the filtering problem is investigated for nonlinear genetic regulatory networks with stochastic disturbances and time delays, where the nonlinear function describing the feedback regulation is assumed to satisfy the sector condition, the stochastic perturbation is in the form of a scalar Brownian motion, and the time delays exist in both the translation process and the feedback regulation process. The purpose of the addressed filtering problem is to estimate the true concentrations of the mRNA and protein. Specifically, we are interested in designing a linear filter such that, in the presence of time delays, stochastic disturbances as well as sector nonlinearities, the filtering dynamics of state estimation for the stochastic genetic regulatory network is exponentially mean square stable with a prescribed decay rate lower bound beta. By using the linear matrix inequality (LMI) technique, sufficient conditions are first derived for ensuring the desired filtering performance for the gene regulatory model, and the filter gain is then characterized in terms of the solution to an LMI, which can be easily solved by using standard software packages. A simulation example is exploited in order to illustrate the effectiveness of the proposed design procedures

Design analysis of levitation facility for space processing applications

Containerless processing facilities for the space laboratory and space shuttle are defined. Materials process examples representative of the most severe requirements for the facility in terms of electrical power, radio frequency equipment, and the use of an auxiliary electron beam heater were used to discuss matters having the greatest effect upon the space shuttle pallet payload interfaces and envelopes. Improved weight, volume, and efficiency estimates for the RF generating equipment were derived. Results are particularly significant because of the reduced requirements for heat rejection from electrical equipment, one of the principal envelope problems for shuttle pallet payloads. It is shown that although experiments on containerless melting of high temperature refractory materials make it desirable to consider the highest peak powers which can be made available on the pallet, total energy requirements are kept relatively low by the very fast processing times typical of containerless experiments and allows consideration of heat rejection capabilities lower than peak power demand if energy storage in system heat capacitances is considered. Batteries are considered to avoid a requirement for fuel cells capable of furnishing this brief peak power demand

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy consumption, and the automatic synthesis of systems from specifications. The major challenges include environment modeling, incompleteness in specifications, and the complexity of underlying decision problems. This position paper proposes sciduction, an approach to tackle these challenges by integrating inductive inference, deductive reasoning, and structure hypotheses. Deductive reasoning, which leads from general rules or concepts to conclusions about specific problem instances, includes techniques such as logical inference and constraint solving. Inductive inference, which generalizes from specific instances to yield a concept, includes algorithmic learning from examples. Structure hypotheses are used to define the class of artifacts, such as invariants or program fragments, generated during verification or synthesis. Sciduction constrains inductive and deductive reasoning using structure hypotheses, and actively combines inductive and deductive reasoning: for instance, deductive techniques generate examples for learning, and inductive reasoning is used to guide the deductive engines. We illustrate this approach with three applications: (i) timing analysis of software; (ii) synthesis of loop-free programs, and (iii) controller synthesis for hybrid systems. Some future applications are also discussed

Lyapunov techniques for a class of hybrid systems and reset controller syntheses for continuous-time plants

Ce manuscrit présente des résultats de recherche concernant une certaine classe de systèmes hybrides. Les systèmes hybrides peuvent être utilises pour la modélisation de systèmes physiques complexes et hétérogènes dont l évolution dans le temps présente des phénomènes discrets, tels que les commutations des convertisseurs ou les impacts des systèmes mécaniques. De la même manière, la théorie hybride peut être utilisée pour concevoir des contrôleurs hybrides, en général plus performants par rapport aux contrôleurs a temps continu.Dans ce cadre, les résultats de ce manuscrit peuvent être divises en trois parties. D'abord des résultats de stabilité par rapport à un indice de performance de type Hinfini sont présentes pour une classe plutôt large de systèmes hybrides. Ensuite, nous introduisons de nouvelles architectures de contrôleurs hybrides pour les systèmes à temps continu caractérisées par le fait que leur état peut être réinitialisé en fonction de la trajectoire. Enfin, nous présentons une technique de synthèse convexe pour la conception d'un contrôleur hybride multi-objectif. La comparaison avec les résultats classique met en évidence les avantages en termes de performance par rapport aux contrôleurs a temps continu classiques, tout en préservant la propriété de robustesse et la simplicité de conception.Bien que la théorie hybride soit en plein développement, ces travaux généralisent certains résultats existants, en améliorant la simplicité d implémentation des solutions grâce à l'utilisation de la programmation semi-de nie. En plus les architectures de contrôleurs hybrides présentées ont l'avantage de simplifier la généralisation de quelques résultats classiques concernant la synthèse optimale par rapport à des indices de performance communs.This dissertation presents some results on hybrid systems. Hybrid systems can be used to model complex physical and heterogeneous systems whose time evolution experiences discrete phenomena, such as commutations in electronic converters or impacts in mechanical systems. In the meantime the hybrid theory can be used to design hybrid controllers which exhibit better performance than the classical continuous-time controllers.In this context, the results in this dissertation can be divided en three parts. First, some stability results with respect to the Hinfinity performance index are presented for a wide class of hybrid controllers. Second, we introduce new hybrid controller architectures for continuous-time systems, where the state of the hybrid controller can be reinitialized depending on the trajectory of the system. Finally, we present a convex synthesis of a multiobjective hybrid controller. The comparisons with the classical results show the improvements that can be achieved with hybrid controllers, maintaining the property of robustness and simplicity of design.Although the hybrid theory is in full development, this work generalizes some existing results by improving the simplicity of their usage by means of semide nite programming tools. Moreover some hybrid architectures are able to generalize some classic results regarding the optimal synthesis with respect to popular performance indexes.TOULOUSE-ISAE (315552318) / SudocSudocFranceF

Control and management of energy storage systems in microgrids

The rate of integration of the renewable energy sources in modern grids have significantly increased in the last decade. These intermittent, non-dispatchable renewable sources, though environment friendly tend to be grid unfriendly. This is precisely due to the issues pertaining to grid congestion, voltage regulation and stability of grids being reported as a result of the incorporation of renewable sources. In this scenario, the use of energy storage systems (ESS ) in electric grids is being widely proposed to overcome these issues. However, integrating energy storage systems alone will not compensate for the issue created by renewable generation. The control and management of the ESS should be done optimally so that their full capabilities are exploited to overcome the issues in the power grids and to ensure their lower cost of investment by prolonging ESS lifetime through minimising degradation. Motivated by this aspect this Ph.D work focusses on developing an efficient, optimal control and management strategy for ESS in a microgrid, especially hybrid ESS. The Ph.D work addresses this issue by proposing a hierarchical control scheme comprising of a lower power management and higher energy management stage with contributions in each stage. In the power management stage this work focusses on improving aspects of real time control of power converters interfacing ESS to grid and the microgrid system as whole. The work proposes control systems with improved dynamic behaviour for power converters based on the reset control framework. In the microgrid control the work presents a primary+secondary control scheme with improved voltage regulation performance under disturbances, using an observer. The real time power splitting strategies among hybrid ESS accounting for the ESS operating efficiencies and degradation mechanisms will also be addressed in the primary+secondary control of power management stage. The design criteria, stability and robustness analysis will be carried out, along with simulation or experimental verifications. In the higher level energy management stage, the contribution of this work involves application of an economic MPC framework for the management of ESS in microgrids. The work specifically addresses the problems of mitigating grid congestion from renewable power feed-in, minimising ESS degradation and maximising self consumption of generated renewable energy using the MPC based energy management system. A survey of the forecasting methods that can be used for MPC will be carried out and a neural network based forecasting unit for time series prediction will be developed. The practical issue of accounting for forecasting error in the decision making of MPC will be addressed and impact of the resulting conservative decision making on the system performance will be analysed. The improvement in performance with the proposed energy management scheme will be demonstrated and quantified.La integración de las fuentes de energía renovables en las redes modernas ha aumentado significativamente en la última década. Estas fuentes renovables, aunque muy convenientes para el medio ambiente son de naturaleza intermitente, y son no panificables, cosa que genera problemas en la red de distribución. Esto se debe precisamente a los problemas relacionados con la congestión de la red y la regulación del voltaje. En este escenario, el uso de sistemas de almacenamiento de energía (ESS) en redes eléctricas está siendo ampliamente propuesto para superar estos problemas. Sin embargo, la integración de sistemas de almacenamiento de energía por sí solos no compensará el problema creado por la generación renovable. El control y la gestión del ESS deben realizarse de manera óptima, de modo que se aprovechen al máximo sus capacidades para superar los problemas en las redes eléctricas, garantizar un coste de inversión razonable y prolongar la vida útil del ESS minimizando su degradación. Motivado por esta problemática, esta tesis doctoral se centra en desarrollar una estrategia de control y gestión eficiente para los ESS integrados en una microrred, especialmente cuando se trata de ESS de naturaleza. El trabajo de doctorado propone un esquema de control jerárquico compuesto por un control de bajo nivel y una parte de gestión de energía operando a más alto nivel. El trabajo realiza aportaciones en los dos campos. En el control de bajo nivel, este trabajo se centra en mejorar aspectos del control en tiempo real de los convertidores que interconectan el ESS con la red y el sistema de micro red en su conjunto. El trabajo propone sistemas de control con comportamiento dinámico mejorado para convertidores de potencia desarrollados en el marco del control de tipo reset. En el control de microrred, el trabajo presenta un esquema de control primario y uno secundario con un rendimiento de regulación de voltaje mejorado bajo perturbaciones, utilizando un observador. Además, el trabajo plantea estrategias de reparto del flujo de potencia entre los diferentes ESS. Durante el diseño de estos algoritmos de control se tienen en cuenta los mecanismos de degradación de los diferentes ESS. Los algoritmos diseñados se validarán mediante simulaciones y trabajos experimentales. En el apartado de gestión de energía, la contribución de este trabajo se centra en la aplicación del un control predictivo económico basado en modelo (EMPC) para la gestión de ESS en microrredes. El trabajo aborda específicamente los problemas de mitigar la congestión de la red a partir de la alimentación de energía renovable, minimizando la degradación de ESS y maximizando el autoconsumo de energía renovable generada. Se ha realizado una revisión de los métodos de predicción del consumo/generación que pueden usarse en el marco del EMPC y se ha desarrollado un mecanismo de predicción basado en el uso de las redes neuronales. Se ha abordado el análisis del efecto del error de predicción sobre el EMPC y el impacto que la toma de decisiones conservadoras produce en el rendimiento del sistema. La mejora en el rendimiento del esquema de gestión energética propuesto se ha cuantificado.La integració de les fonts d'energia renovables a les xarxes modernes ha augmentat significativament en l’última dècada. Aquestes fonts renovables, encara que molt convenients per al medi ambient són de naturalesa intermitent, i són no panificables, cosa que genera problemes a la xarxa de distribució. Això es deu precisament als problemes relacionats amb la congestió de la xarxa i la regulació de la tensió. En aquest escenari, l’ús de sistemes d'emmagatzematge d'energia (ESS) en xarxes elèctriques està sent àmpliament proposat per superar aquests problemes. No obstant això, la integració de sistemes d'emmagatzematge d'energia per si sols no compensarà el problema creat per la generació renovable. El control i la gestió de l'ESS s'han de fer de manera _optima, de manera que s'aprofitin al màxim les seves capacitats per superar els problemes en les xarxes elèctriques, garantir un cost d’inversió raonable i allargar la vida útil de l'ESS minimitzant la seva degradació. Motivat per aquesta problemàtica, aquesta tesi doctoral es centra a desenvolupar una estratègia de control i gestió eficient per als ESS integrats en una microxarxa, especialment quan es tracta d'ESS de natura híbrida. El treball de doctorat proposa un esquema de control jeràrquic compost per un control de baix nivell i una part de gestió d'energia operant a més alt nivell. El treball realitza aportacions en els dos camps. En el control de baix nivell, aquest treball es centra a millorar aspectes del control en temps real dels convertidors que interconnecten el ESS amb la xarxa i el sistema de microxarxa en el seu conjunt. El treball proposa sistemes de control amb comportament dinàmic millorat per a convertidors de potència desenvolupats en el marc del control de tipus reset. En el control de micro-xarxa, el treball presenta un esquema de control primari i un de secundari de regulació de voltatge millorat sota pertorbacions, utilitzant un observador. A més, el treball planteja estratègies de repartiment de el flux de potència entre els diferents ESS. Durant el disseny d'aquests algoritmes de control es tenen en compte els mecanismes de degradació dels diferents ESS. Els algoritmes dissenyats es validaran mitjanant simulacions i treballs experimentals. En l'apartat de gestió d'energia, la contribució d'aquest treball se centra en l’aplicació de l'un control predictiu econòmic basat en model (EMPC) per a la gestió d'ESS en microxarxes. El treball aborda específicament els problemes de mitigar la congestió de la xarxa a partir de l’alimentació d'energia renovable, minimitzant la degradació d'ESS i maximitzant l'autoconsum d'energia renovable generada. S'ha realitzat una revisió dels mètodes de predicció del consum/generació que poden usar-se en el marc de l'EMPC i s'ha desenvolupat un mecanisme de predicció basat en l’ús de les xarxes neuronals. S'ha abordat l’anàlisi de l'efecte de l'error de predicció sobre el EMPC i l'impacte que la presa de decisions conservadores produeix en el rendiment de el sistema. La millora en el rendiment de l'esquema de gestió energètica proposat s'ha quantificat

Hybrid receiver study

The results are presented of a 4 month study to design a hybrid analog/digital receiver for outer planet mission probe communication links. The scope of this study includes functional design of the receiver; comparisons between analog and digital processing; hardware tradeoffs for key components including frequency generators, A/D converters, and digital processors; development and simulation of the processing algorithms for acquisition, tracking, and demodulation; and detailed design of the receiver in order to determine its size, weight, power, reliability, and radiation hardness. In addition, an evaluation was made of the receiver's capabilities to perform accurate measurement of signal strength and frequency for radio science missions