This paper investigates the use of guaranteed methods to perform state and parameter
estimation for nonlinear continuous-time systems, in a bounded-error context. A state estimator …

We study techniques for synthesizing synchronous controllers for affine plants with
disturbances, based on safety specifications. Our plants are modeled in terms of discrete linear …

This volume contains the proceedings of the 8th Workshop on Hybrid S-tems: Computation
and Control (HSCC2005) heldinZurich, Switzerlandduring March 9-11, 2005. The annual …

We present computationally efficient techniques for approximate model-checking using
bisimulation-partitioning, polyhedra, grids and time discretization for semi-algebraic hybrid …

We investigate some abstract algebraic properties of the system of intervals with respect to
the arithmetic operations and the relation inclusion and derive certain practical …

We study the practicability and performance of different classes of bounding volume
hierarchies for self collision detection in complex human hair styles with authentic geometrical …

… It is interesting that Equality (4.8) appears also in [12, p.276] in connection with a
discussion of the Charney-Davis conjecture and properties of the Coxeter zonotope of type A. …

… N of summands needed so that a zonotope Z= XD I;(with I; segments in R*) could satisfy j=
1 B” c Z c (1+ e) B". Note that N (n, e) is here considerably smaller than in (i). The proof of …

Joseph K. Scott Associate Professor, Georgia Institute of Technology Ford ES&T, Room 2220
Atlanta, GA, 30332 joseph.scott@ch Page 1 Joseph K. Scott Associate Professor, Georgia …

Eight topics about the unit cubes are introduced within this textbook: cross sections, projections,
inscribed simplices, triangulations, 0/1 polytopes, Minkowski's conjecture, Furtwangler's …