Open AccessBook
Applied Interval Analysis
Reads0
Chats0
About:
The article was published on 2001-08-30 and is currently open access. It has received 1709 citations till now. The article focuses on the topics: Interval arithmetic.read more
Citations
More filters
Journal ArticleDOI
Guaranteed Nonlinear State Estimator for Cooperative Systems
Michel Kieffer,Eric Walter +1 more
TL;DR: Cooperative models are considered, i.e., models that satisfy some constraints on the signs of the entries of the Jacobian of their dynamic equation to enclose the state at any given instant of time in a subpaving.
Posted Content
Certification of bounds on expressions involving rounded operators
Marc Daumas,Guillaume Melquiond +1 more
TL;DR: Gappa is a tool designed to formally verify the correctness of numerical software and hardware that generates a theorem and its proof for each verified enclosure and relies on a large companion library of facts that it relies on.
Proceedings ArticleDOI
Reachability analysis of linear systems with uncertain parameters and inputs
TL;DR: This paper presents a method for computing conservative approximations of reachable sets for linear systems with uncertain system matrices and bounded inputs and shows that Reachable sets represented by sequences of zonotopes can be computed up to a dimension of 100 within a few seconds.
Journal ArticleDOI
An Interval NLPV Parity Equations Approach for Fault Detection and Isolation of a Wind Farm
TL;DR: This paper addresses the problem of fault diagnosis of a wind farm using interval nonlinear parameter-varying (NLPV) parity equations using the context of the wind farm fault-detection-and-isolation/fault-tolerant-control competition.
BookDOI
Frontiers in Global Optimization
TL;DR: The chapters in this volume focus on recent deterministic methods and stochastic methods for global optimization, distributed computing methods inglobal optimization, and applications of global optimization in several branches of applied science and engineering, computer science, computational chemistry, structural biology, and bio-informatics.
References
More filters
Book
The design and analysis of spatial data structures
TL;DR: The design and analysis of spatial data structures and applications for predicting stock returns and remembering and imagining palestine identity and service manual are studied.
Journal ArticleDOI
An algorithm for planning collision-free paths among polyhedral obstacles
TL;DR: A collision avoidance algorithm for planning a safe path for a polyhedral object moving among known polyhedral objects that transforms the obstacles so that they represent the locus of forbidden positions for an arbitrary reference point on the moving object.
Journal ArticleDOI
A Platform with Six Degrees of Freedom
TL;DR: In this article, the authors describe a six-degree-of-freedom control with six motors, each having a ground abutment, for simulating flight conditions in the training of pilots.
Journal ArticleDOI
Exact robot navigation using artificial potential functions
Elon Rimon,Daniel E. Koditschek +1 more
TL;DR: A methodology for exact robot motion planning and control that unifies the purely kinematic path planning problem with the lower level feedback controller design is presented.
Journal ArticleDOI
Mobile robot localization by tracking geometric beacons
TL;DR: An algorithm for, model-based localization that relies on the concept of a geometric beacon, a naturally occurring environment feature that can be reliably observed in successive sensor measurements and can be accurately described in terms of a concise geometric parameterization, is developed.