The International Workshop on Principles of Diagnosis is an annual event that started in
1989, rooted in the Artificial Intelligence community. Its focus is on theories, principles and …

Thepapersinthis volumewerepresentedatthe4thInternationalConferenceon Large-Scale
Scienti? c Computations ICLSSC 2003. It was held in Sozopol, B-garia, June 4–8, 2003. The …

Tropical convex geometry and tropical algebraic geometry arise from linear and polynomial
algebra over the tropical semiring ([special characters omitted], min,+). They also appear as …

Minkowski sum is a fundamental operation in many geometric applications, including robotics,
penetration depth estimation, solid modeling, and virtual prototyping. However, due to its …

In this paper, the “passive approach” to robust fault detection and isolation (FDI) is presented
in the context of observer methodology, when a model with parameters bounded in …

We present an exact implementation of an efficient algorithm that computes Minkowski sums
of convex polyhedra in R 3 . Our implementation is complete in the sense that it does not …

Internationally, globalization and increased economic integration has impacted quality of life
and individual well-being. Attempts to evaluate the impact on income dispersion from this …

Following the treatment of Blass and Sagan, we present an algorithmic bijection between
the Eulerian equivalence classes of totally cyclic orientations and the spanning trees without …

In this paper we consider a class of analysis problems for control systems, aimed at safety
falsification, ie, checking whether a controlled trajectory exists that violates a given safety …

Given a hybrid automaton and a desired precision, we aim at constructing an approximate
abstraction by means of a timed automaton, whose discrete state trajectories approximate the …