This book constitutes the thoroughly refereed proceedings of the 19th International Symposium
on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 …

This study addresses the problem of adaptation of the guidance and control law of a vehicle
encountering wind perturbations. Detection of occurrence of wind is operated by estimating …

This volume contains the proceedings of the 11th Workshop on Hybrid Systems: Computation
and Control (HSCC 2008) held in St. Louis, Missouri during April 22–24, 2008. The annual …

Collision detection is the process of determining if objects are colliding or intersecting. It is
one of the most important processes involved in creating believable, interactive virtual …

It has been shown that the three-circles theorem, which is also known as Titeica's or Johnson's
theorem, can be extended to strictly convex normed planes, with various ap- plications. …

Many lattice cryptographic primitives require an efficient algorithm to sample lattice points
according to some Gaussian distribution. All algorithms known for this task require long-integer …

The equilibrium and microscopic properties of systems of discotic molecules have been
investigated with Monte Carlo (MC) simulations. The study focuses on the behaviour of the fluid …

This paper proposes an interval method to explore the relationship between the exchange
rate of Australian dollar against US dollar and the gold price, using weekly, monthly and …

Embedded system control often relies on linear systems, which admit quadratic invariants.
The parts of the code that host linear system implementations need dedicated analysis tools, …

In this paper, a Fault Detection and Diagnosis (FDD) method relying on Set Membership
Identification (SMI) is presented, aiming at the detection of multiple abrupt parameter variations …