In this paper we propose a trajectory based reachability analysis by using local finite-time
invariance property. Trajectory based analysis are based on the execution traces of the system …

Solving constraints over floating-point numbers is a critical issue in numerous applications
notably in program verification. Capabilities of filtering algorithms over the floating-point …

A class of dynamic neural network (DNN) observers involving a projection operator inside is
considered. Such observers seem to be useful when an uncertain nonlinear system, …

The objective of this paper is the Fault Detection and Diagnosis (FDD) of multiple abrupt
parameter variations in an inherently time-invariant system based on Parameter Set Estimation. …

… Robust fault detection using zonotope-based set-membership consistency test.
International Journal of Adaptive Control and Signal Processing, 23(4):311– 330, 2009. …

Каждому $ d $-мерному многограннику $ P $ с центрально-симметричными гипергранями
можно сопоставить такую “карту метро”, что каждая линия этого “метро” содержит в …

W artykule przedstawiono badania dotyczące detekcji małych wycieków pojawiających się
w sieciach wodociągowych. W celu detekcji uszkodzeń zastosowano schemat …

This paper gives a classification of Platonic and Archimedean solids related to more-dimensional
cubes. A general infinite net structure for space-filling mosaics created from the above …

In this paper, we propose a novel approach for robust state reconstruction of multi-output
discrete-time systems with polynomial nonlinear dynamics and measurements in presence of …

The core of phase-portrait approximation refinement of affine hybrid systems is the efficient
partition of the control model. In this paper, rectangular refinement based on quality …