Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

This survey of model-based fault diagnosis focuses on those methods that are applicable to
aerospace systems. To highlight the characteristics of aerospace models, generic non-linear …

This text provides a framework in which the main objectives of the field of uncertainty
quantification (UQ) are defined and an overview of the range of mathematical methods by …

Учебное пособие посвящено рассмотрению основных вопросов управления рисками
предприятия: категории риска и определенности, взаимосвязи рисков с кризисами …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

State bounding observation based on zonotopes is the subject of this paper. Dealing with
zonotopes is motivated by set operations resulting in simple matrix calculations with regard …

This book is intended primarily for those not yet familiar with methods for computing with
intervals of real numbers and what can be done with these methods. Using a pair [a, b] of …

Parallel robots are closed-loop mechanisms presenting very good performances in terms of
accuracy, velocity, rigidity and ability to manipulate large loads. They have been used in a …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Ordinary differential equations (ODEs) are a powerful tool for modeling dynamic processes
with wide applications in a variety of scientific fields. Over the last two decades, ODEs have …