Volume 8, Issue 3-4

Search all Mathematics in Computer Science articles

September 2014

Interval Methods and Applications

Issue Editors:

Nacim Ramdani,
Luc Jaulin

17 articles in this issue

Foreword
Nacim Ramdani
Luc Jaulin
EditorialNotes 23 July 2014 Pages: 321 - 321
Verification of Linear (In)Dependence in Finite Precision Arithmetic
Jiri Rohn
OriginalPaper 25 July 2014 Pages: 323 - 328
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall
Milan Hladík
Stefan Ratschan
OriginalPaper 29 July 2014 Pages: 329 - 340
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification
Elke Just
OriginalPaper 09 August 2014 Pages: 341 - 355
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry
Bhagyesh V. Patil
P. S. V. Nataraj
OriginalPaper 29 July 2014 Pages: 357 - 377
Kernel Characterization of an Interval Function
Clément Aubry
Rozenn Desmare
Luc Jaulin
OriginalPaper 29 July 2014 Pages: 379 - 390
Determination of Set-Membership Identifiability Sets
Laleh Ravanbod
Nathalie Verdière
Carine Jauberthie
OriginalPaper 09 August 2014 Pages: 391 - 406
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability
Moussa Maïga
Nacim Ramdani
Christophe Combastel
OriginalPaper 12 August 2014 Pages: 407 - 423
Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings
Francisco Rego
Elwin de Weerdt
António M. Pascoal
OriginalPaper 10 August 2014 Pages: 425 - 442
Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis Interpretation
Sergey S. Kumkov
Stéphane Le Ménec
Valerii S. Patsko
OriginalPaper 01 August 2014 Pages: 443 - 454
Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages
Hiba Haj Chhadé
Amadou Gning
Simon Julier
OriginalPaper Open access 07 August 2014 Pages: 455 - 478
Interval Methods for Model Qualification: Methodology and Advanced Application
Julien Alexandre Dit Sandretto
Gilles Trombettoni
David Daney
OriginalPaper 02 August 2014 Pages: 479 - 493
Phase Based Localization for Underwater Vehicles Using Interval Analysis
Mohamed Saad Ibn Seddik
Luc Jaulin
Jonathan Grimsdale
OriginalPaper 13 August 2014 Pages: 495 - 502
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions
Aymeric Bethencourt
Luc Jaulin
OriginalPaper 19 August 2014 Pages: 503 - 523
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems
Andreas Rauh
Luise Senkel
Harald Aschemann
OriginalPaper 31 July 2014 Pages: 525 - 542
Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter Estimation
Luise Senkel
Andreas Rauh
Harald Aschemann
OriginalPaper 13 August 2014 Pages: 543 - 561
VIBes: A Visualizer for Intervals and Boxes
Vincent Drevelle
Jeremy Nicola
OriginalPaper 31 July 2014 Pages: 563 - 572

Volume 8, Issue 3-4

Search

Navigation