We consider stationary consensus protocols for networks of dynamic agents. The measure
of the neighbors' states is affected by unknown but bounded disturbances. Here the main …

Secret Key: a short basis B of Λ Public Key: a large basis of Λ Signature: t= H (m)∈ Rn the
hash of a message s=⌈ t· B-1⌋· B the signature of m Verification: Check that s∈ Λ and s− H (m…

In this note we consider the computability of the solution of the initial- value problem for
ordinary di erential equations with continuous right- hand side. We present algorithms for the …

In this chapter we want to give a taste to the reader of the wide area of approximation theory.
This is a very large subject, ranging from analytical to even engineering-oriented topics. We …

… Although other shapes have been shown to be effective for some specific dynamics, eg
zonotopes are successfully applied for linear dynamics [21], boxes (or high-dimensional cubes) …

We investigate and analyze a computational method for the approximation of reachable sets
for nonlinear dynamic systems. The method uses grids to cover the region of interest and …

… has been developed by Mulder who has obtained an explicit expression of the excluded
volume for a pair of spheroplatelets [17] and, more recently, for a pair of sphero-zonotopes [18], …

There are currently more than 19,000 trackable objects in Earth orbit, 1,300 of which are active.
With so many objects populating the space object catalog and new objects being added …

This dissertation considers the problem of safety analysis of hybrid and embedded systems
using sampling-based incremental search algorithms. The safety specifications are a set of …

… Zonotope = Minkowski sum of segments [−Xi ,Xi ]: … ▶ Zonotope: take C = BN …