Weight Try-Once-Discard Protocol-Based L_2 L_infinity State Estimation for Markovian Jumping Neural Networks with Partially Known Transition Probabilities

It was the L_2 L_infinity performance index that for the first time is initiated into the discussion on state estimation of delayed MJNNs with with partially known transition probabilities, which provides a more general promotion for the estimation error.The WTOD protocol is adopted to dispatch the sensor nodes so as to effectively alleviate the updating frequency of output signals. The hybrid effects of the time delays, Markov chain, and protocol parameters are apparently reflected in the co-designed estimator which can be solved by a combination of comprehensive matrix inequalities

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of multi-layer perceptrons whose activation functions are monotonic functions, the maximum sensitivity can be computed via solving convex optimization problems. Then, using a simulation-based method, the output reachable set estimation problem for neural networks is formulated into a chain of optimization problems. Finally, an automated safety verification is developed based on the output reachable set estimation result. An application to the safety verification for a robotic arm model with two joints is presented to show the effectiveness of proposed approaches.Comment: 8 pages, 9 figures, to appear in TNNL

Asynchronous switching control for fuzzy Markov jump systems with periodically varying delay and its application to electronic circuits

This article focuses on addressing the issue of asynchronous H∞ control for Takagi-Sugeno (T-S) fuzzy Markov jump systems with generally incomplete transition probabilities (TPs). The delay is assumed to vary periodically, resulting in one monotonically increasing interval and one monotonically decreasing interval during each period. Meanwhile, a new Lyapunov-Krasovskii functional (LKF) is devised, which depends on membership functions (MFs) and two looped functions formulated for the monotonic intervals. Since the modes and TPs of the original system are assumed to be unavailable, an asynchronous switching fuzzy controller on the basis of hidden Markov model is proposed to stabilize the fuzzy Markov jump systems (FMJSs) with generally incomplete TPs. Consequently, a stability criterion with improved practicality and reduced conservatism is derived, ensuring the stochastic stability and H∞ performance of the closed-loop system. Finally, this technique is employed to the tunnel diode circuit system, and a comparison example is given, which verifies the practicality and superiority of the method

Discrete Time Systems

Discrete-Time Systems comprehend an important and broad research field. The consolidation of digital-based computational means in the present, pushes a technological tool into the field with a tremendous impact in areas like Control, Signal Processing, Communications, System Modelling and related Applications. This book attempts to give a scope in the wide area of Discrete-Time Systems. Their contents are grouped conveniently in sections according to significant areas, namely Filtering, Fixed and Adaptive Control Systems, Stability Problems and Miscellaneous Applications. We think that the contribution of the book enlarges the field of the Discrete-Time Systems with signification in the present state-of-the-art. Despite the vertiginous advance in the field, we also believe that the topics described here allow us also to look through some main tendencies in the next years in the research area

Stochastic spreading on complex networks

Complex interacting systems are ubiquitous in nature and society. Computational modeling of these systems is, therefore, of great relevance for science and engineering. Complex networks are common representations of these systems (e.g., friendship networks or road networks). Dynamical processes (e.g., virus spreading, traffic jams) that evolve on these networks are shaped and constrained by the underlying connectivity. This thesis provides numerical methods to study stochastic spreading processes on complex networks. We consider the processes as inherently probabilistic and analyze their behavior through the lens of probability theory. While powerful theoretical frameworks (like the SIS-epidemic model and continuous-time Markov chains) already exist, their analysis is computationally challenging. A key contribution of the thesis is to ease the computational burden of these methods. Particularly, we provide novel methods for the efficient stochastic simulation of these processes. Based on different simulation studies, we investigate techniques for optimal vaccine distribution and critically address the usage of mathematical models during the Covid-19 pandemic. We also provide model-reduction techniques that translate complicated models into simpler ones that can be solved without resorting to simulations. Lastly, we show how to infer the underlying contact data from node-level observations.Komplexe, interagierende Systeme sind in Natur und Gesellschaft allgegenwärtig. Die computergestützte Modellierung dieser Systeme ist daher von immenser Bedeutung für Wissenschaft und Technik. Netzwerke sind eine gängige Art, diese Systeme zu repräsentieren (z. B. Freundschaftsnetzwerke, Straßennetze). Dynamische Prozesse (z. B. Epidemien, Staus), die sich auf diesen Netzwerken ausbreiten, werden durch die spezifische Konnektivität geformt. In dieser Arbeit werden numerische Methoden zur Untersuchung stochastischer Ausbreitungsprozesse in komplexen Netzwerken entwickelt. Wir betrachten die Prozesse als inhärent probabilistisch und analysieren ihr Verhalten nach wahrscheinlichkeitstheoretischen Fragestellungen. Zwar gibt es bereits theoretische Grundlagen und Paradigmen (wie das SIS-Epidemiemodell und zeitkontinuierliche Markov-Ketten), aber ihre Analyse ist rechnerisch aufwändig. Ein wesentlicher Beitrag dieser Arbeit besteht darin, die Rechenlast dieser Methoden zu verringern. Wir erforschen Methoden zur effizienten Simulation dieser Prozesse. Anhand von Simulationsstudien untersuchen wir außerdem Techniken für optimale Impfstoffverteilung und setzen uns kritisch mit der Verwendung mathematischer Modelle bei der Covid-19-Pandemie auseinander. Des Weiteren führen wir Modellreduktionen ein, mit denen komplizierte Modelle in einfachere umgewandelt werden können. Abschließend zeigen wir, wie man von Beobachtungen einzelner Knoten auf die zugrunde liegende Netzwerkstruktur schließt