In static environments, safety of planned driving trajectories of (cognitive) autonomous vehicles
can be assessed by checking possible collisions with the obstacles to be circumvented. …

We approach the problem of applying nearest point algorithms to train weighted SVMs by
introducing the concept of Weighted Reduced Convex Hulls (WRCHs). We describe some of …

… Robust fault detection with state estimators and interval models using zonotopes. In
Proceedings of DX’06, 109–116. Penaranda de Duero, Spain. …

A convex polyhedron P is k-equiprojective if for all of its orthogonal projections, except those
parallel to the faces of P, the number of vertices in the shadow boundary is k. Finding an …

A strategy is proposed to model the complex industrial systems using linear time-varying
system (LT VS). The proposed methodology is independent of model structure and the model …

The safety of the planned paths of autonomous cars with respect to the movement of other
traffic participants is considered. Therefore, the stochastic occupancy of the road by other …

An approach for the safety assessment of planned trajectories of autonomous vehicles is
presented. Due to the unsafe nature of road traffic, the proposed safety assessment is …

This paper proposes a dominance approach to study inequality of well-being across countries.
We consider a class of well-being indices based on the three attributes used in the HDI (…

In this paper, we define relational abstractions of hybrid systems. A relational abstraction is
obtained by replacing the continuous dynamics in each mode by a binary transition relation …

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