Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms

Computer control systems for safety critical systems are designed to be fault tolerant and reliable, however, soft errors triggered by harsh environments can affect the performance of these control systems. The soft errors of interest which occur randomly, are nondestructive and introduce a failure that lasts a random duration. To minimize the effect of these errors, safety critical systems with error recovery mechanisms are being investigated. The main goals of this dissertation are to develop modeling and analysis tools for sampled-data control systems that are implemented with such error recovery mechanisms. First, the mathematical model and the well-posedness of the stochastic model of the sampled-data system are presented. Then this mathematical model and the recovery logic are modeled as a dynamically colored Petri net (DCPN). For stability analysis, these systems are then converted into piecewise deterministic Markov processes (PDP). Using properties of a PDP and its relationship to discrete-time Markov chains, a stability theory is developed. In particular, mean square equivalence between the sampled-data and its associated discrete-time system is proved. Also conditions are given for stability in distribution to the delta Dirac measure and mean square stability for a linear sampled-data system with recovery logic

A diversity-aware computational framework for systems biology

L'abstract è presente nell'allegato / the abstract is in the attachmen

Memristors for the Curious Outsiders

We present both an overview and a perspective of recent experimental advances and proposed new approaches to performing computation using memristors. A memristor is a 2-terminal passive component with a dynamic resistance depending on an internal parameter. We provide an brief historical introduction, as well as an overview over the physical mechanism that lead to memristive behavior. This review is meant to guide nonpractitioners in the field of memristive circuits and their connection to machine learning and neural computation.Comment: Perpective paper for MDPI Technologies; 43 page

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

Industrial Applications: New Solutions for the New Era

This book reprints articles from the Special Issue "Industrial Applications: New Solutions for the New Age" published online in the open-access journal Machines (ISSN 2075-1702). This book consists of twelve published articles. This special edition belongs to the "Mechatronic and Intelligent Machines" section