| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability
|
Maïga, Moussa
|
|
2014
|
8 |
3-4 |
p. 407-423
|
artikel
|
| 2 |
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry
|
Patil, Bhagyesh V.
|
|
2014
|
8 |
3-4 |
p. 357-377
|
artikel
|
| 3 |
Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings
|
Rego, Francisco
|
|
2014
|
8 |
3-4 |
p. 425-442
|
artikel
|
| 4 |
Determination of Set-Membership Identifiability Sets
|
Ravanbod, Laleh
|
|
2014
|
8 |
3-4 |
p. 391-406
|
artikel
|
| 5 |
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall
|
Hladík, Milan
|
|
2014
|
8 |
3-4 |
p. 329-340
|
artikel
|
| 6 |
Foreword
|
Ramdani, Nacim
|
|
2014
|
8 |
3-4 |
p. 321
|
artikel
|
| 7 |
Interval Methods for Model Qualification: Methodology and Advanced Application
|
Alexandre Dit Sandretto, Julien
|
|
2014
|
8 |
3-4 |
p. 479-493
|
artikel
|
| 8 |
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems
|
Rauh, Andreas
|
|
2014
|
8 |
3-4 |
p. 525-542
|
artikel
|
| 9 |
Kernel Characterization of an Interval Function
|
Aubry, Clément
|
|
2014
|
8 |
3-4 |
p. 379-390
|
artikel
|
| 10 |
Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis Interpretation
|
Kumkov, Sergey S.
|
|
2014
|
8 |
3-4 |
p. 443-454
|
artikel
|
| 11 |
Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages
|
Haj Chhadé, Hiba
|
|
2014
|
8 |
3-4 |
p. 455-478
|
artikel
|
| 12 |
Phase Based Localization for Underwater Vehicles Using Interval Analysis
|
Ibn Seddik, Mohamed Saad
|
|
2014
|
8 |
3-4 |
p. 495-502
|
artikel
|
| 13 |
Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter Estimation
|
Senkel, Luise
|
|
2014
|
8 |
3-4 |
p. 543-561
|
artikel
|
| 14 |
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions
|
Bethencourt, Aymeric
|
|
2014
|
8 |
3-4 |
p. 503-523
|
artikel
|
| 15 |
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification
|
Just, Elke
|
|
2014
|
8 |
3-4 |
p. 341-355
|
artikel
|
| 16 |
Verification of Linear (In)Dependence in Finite Precision Arithmetic
|
Rohn, Jiri
|
|
2014
|
8 |
3-4 |
p. 323-328
|
artikel
|
| 17 |
VIBes: A Visualizer for Intervals and Boxes
|
Drevelle, Vincent
|
|
2014
|
8 |
3-4 |
p. 563-572
|
artikel
|
Tijdschrift beschrijving