Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic

(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic undergoes a standardization effort started in 2008 by the IEEE P1788 working group. The structure of the proposed standard is presented: the mathematical level is distinguished from both the implementation and representation levels. The main definitions are introduced: interval, mathematical functions, either arithmetic operations or trigonometric functions, comparison relations, set operations. While developing this standard, some topics led to hot debate. Such a hot topic is the handling of exceptions. Eventually, the system of decorations has been adopted. A decoration is a piece of information that is attached to each interval. Rules for the propagation of decorations have also been defined. Another hot topic is the mathematical model used for interval arithmetic. Historically, the model introduced by R. Moore in the 60s covered only non-empty and bounded intervals. The set-based model includes the empty set and unbounded intervals as well. Tenants of Kaucher arithmetic also insisted on offering "reverse" intervals. It has eventually been decided that an implementation must provide at least one of these flavors of interval arithmetic. The standard provides hooks for these different flavors. As the preparation of the draft should end in December 2013, no chapter is missing. However, a reference implementation would be welcome

Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control

This paper presents a branch-and-lift algorithm for solving optimal control problems with smooth nonlinear dynamics and potentially nonconvex objective and constraint functionals to guaranteed global optimality. This algorithm features a direct sequential method and builds upon a generic, spatial branch-and-bound algorithm. A new operation, called lifting, is introduced, which refines the control parameterization via a Gram-Schmidt orthogonalization process, while simultaneously eliminating control subregions that are either infeasible or that provably cannot contain any global optima. Conditions are given under which the image of the control parameterization error in the state space contracts exponentially as the parameterization order is increased, thereby making the lifting operation efficient. A computational technique based on ellipsoidal calculus is also developed that satisfies these conditions. The practical applicability of branch-and-lift is illustrated in a numerical example. © 2013 Springer Science+Business Media New York

Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve

International audienceLet CP ∩Q be a smooth real analytic curve embedded in R 3 , defined as the solutions of real analytic equations of the form P (x, y, z) = Q(x, y, z) = 0 or P (x, y, z) = ∂P ∂z = 0. Our main objective is to describe its projection C onto the (x, y)-plane. In general, the curve C is not a regular submanifold of R 2 and describing it requires to isolate the points of its singularity locus Σ. After describing the types of singularities that can arise under some assumptions on P and Q, we present a new method to isolate the points of Σ. We experimented our method on pairs of independent random polynomials (P, Q) and on pairs of random polynomials of the form (P, ∂P ∂z) and got promising results

A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller

In this chapter an algorithm for nonlinear explicit model predictive control is presented. A low complexity receding horizon control law is obtained by approximating the optimal control law using multiscale basis function approximation. Simultaneously, feasibility and stability of the approximate control law is ensured through the computation of a capture basin (region of attraction) for the closed-loop system. In a previous work, interval methods were used to construct the capture basin (feasible region), yet this approach suffered due to slow computation times and high grid complexity. In this chapter, we suggest an alternative to interval analysis based on zonotopes. The suggested method significantly reduces the complexity of the combined function approximation and verification procedure through the use of DC (difference of convex) programming, and recursive splitting. The result is a multiscale function approximation method with improved computational efficiency for fast nonlinear explicit model predictive control with guaranteed stability and constraint satisfaction

Biokinetics and dosimetry of commonly used radiopharmaceuticals in diagnostic nuclear medicine – a review

Purpose The impact on patients’ health of radiopharmaceuticals in nuclear medicine diagnostics has not until now been evaluated systematically in a European context. Therefore, as part of the EU-funded Project PEDDOSE. NET (www.peddose.net), we review and summarize the current knowledge on biokinetics and dosimetry of commonly used diagnostic radiopharmaceuticals. Methods A detailed literature search on published biokinetic and dosimetric data was performed mostly via PubMed (www.ncbi.nlm.nih.gov/pubmed). In principle the criteria for inclusion of data followed the EANM Dosimetry Committee guidance document on good clinical reporting. Results Data on dosimetry and biokinetics can be difficult to find, are scattered in various journals and, especially in paediatric nuclear medicine, are very scarce. The data collection and calculation methods vary with respect to the time-points, bladder voiding, dose assessment after the last data point and the way the effective dose was calculated. In many studies the number of subjects included for obtaining biokinetic and dosimetry data was fewer than ten, and some of the biokinetic data were acquired more than 20 years ago. Conclusion It would be of interest to generate new data on biokinetics and dosimetry in diagnostic nuclear medicine using state-of-the-art equipment and more uniform dosimetry protocols. For easier public access to dosimetry data for diagnostic radiopharmaceuticals, a database containing these data should be created and maintained