On the public citation graph
Guaranteed computation of robot trajectories
0 signed · 77 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4612-0277-6openalex-snapshot
Ellipsoidal Calculus for Estimation and Control
inferredcites →https://doi.org/10.1007/978-3-319-47063-4_11openalex-snapshot
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
inferredcites →https://doi.org/10.1007/978-3-642-29828-8_1openalex-snapshot
A Contractor Based on Convex Interval Taylor
inferredcites →https://doi.org/10.1007/s11786-014-0202-0openalex-snapshot
VIBes: A Visualizer for Intervals and Boxes
inferredcites →https://doi.org/10.1007/s11786-014-0209-6openalex-snapshot
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions
inferredcites →https://doi.org/10.1016/0004-3702(77)90007-8openalex-snapshot
Consistency in networks of relations
inferredcites →https://doi.org/10.1016/j.automatica.2011.11.004openalex-snapshot
Set-membership state estimation with fleeting data
inferredcites →https://doi.org/10.1016/j.automatica.2012.11.009openalex-snapshot
Loop detection of mobile robots using interval analysis
inferredcites →https://doi.org/10.1016/j.entcs.2008.12.033openalex-snapshot
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
inferredcites →https://doi.org/10.1016/j.jlap.2004.07.008openalex-snapshot
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
inferredcites →https://doi.org/10.1016/j.nahs.2010.05.010openalex-snapshot
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
inferredcites →https://doi.org/10.1016/s0005-1098(01)00284-9openalex-snapshot
Nonlinear bounded-error state estimation of continuous-time systems
inferredcites →https://doi.org/10.1016/s0096-3003(98)10083-8openalex-snapshot
Validated solutions of initial value problems for ordinary differential equations
inferredcites →https://doi.org/10.1016/s0304-3975(96)00190-9openalex-snapshot
Helios: A modeling language for global optimization and its implementation in Newton
inferredcites →https://doi.org/10.1016/s0764-4442(99)80439-xopenalex-snapshot
The Lorenz attractor exists
inferredcites →https://doi.org/10.1016/s0898-1221(96)90015-2openalex-snapshot
Bounding approaches to system identification
inferredcites →https://doi.org/10.1023/a:1014835026141openalex-snapshot
Error Control in Polytope Computations
inferredcites →https://doi.org/10.1109/cdc.2005.1583327openalex-snapshot
A State Bounding Observer for Uncertain Non-linear Continuous-time Systems based on Zonotopes
inferredcites →https://doi.org/10.1109/cpsna.2013.6614258openalex-snapshot
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
inferredcites →https://doi.org/10.1109/iscas.1993.393841openalex-snapshot
Outliers in bound-based state estimation and identification
inferredcites →https://doi.org/10.1109/tac.1971.1099674openalex-snapshot
Recursive state estimation for a set-membership description of uncertainty
inferredcites →https://doi.org/10.1109/tro.2013.2262776openalex-snapshot
Localization Confidence Domains via Set Inversion on Short-Term Trajectory
inferredcites →https://doi.org/10.1137/1.9781611970906openalex-snapshot
Methods and Applications of Interval Analysis
inferredcites →https://doi.org/10.1145/2461328openalex-snapshot
Proceedings of the 16th international conference on Hybrid systems: computation and control
inferredcites →https://doi.org/10.1145/2562059.2562113openalex-snapshot
Inner approximated reachability analysis
inferredcites →https://doi.org/10.2307/2372560openalex-snapshot
On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents
inferredcites →https://doi.org/10.5860/choice.35-3926openalex-snapshot
Numerica: a modeling language for global optimization
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4600287openalex-extracted
Collision Chart for Deadlock-Free Velocity Planning: Application to Multi-Robot Traffic
inferred← citeshttps://doi.org/10.2139/ssrn.4682564openalex-extracted
Collision Chart for Deadlock-Free Velocity Planning: Application to Multi-Robot Traffic
inferred← citeshttps://doi.org/10.1007/978-3-030-01370-7_39openalex-snapshot
BSplines Properties with Interval Analysis for Constraint Satisfaction Problem: Application in Robotics
inferred← citeshttps://doi.org/10.1007/978-3-030-58475-7_32openalex-snapshot
Towards a Generic Interval Solver for Differential-Algebraic CSP
inferred← citeshttps://doi.org/10.1007/978-3-030-58475-7_41openalex-snapshot
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots
inferred← citeshttps://doi.org/10.1007/s40435-020-00702-2openalex-snapshot
A global optimization approach for sliding mode tuning and existence maps generation
inferred← citeshttps://doi.org/10.1016/j.automatica.2018.03.074openalex-snapshot
Reliable non-linear state estimation involving time uncertainties
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110502openalex-snapshot
Lie symmetries applied to interval integration
inferred← citeshttps://doi.org/10.1016/j.cnsns.2020.105578openalex-snapshot
CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems
inferred← citeshttps://doi.org/10.1016/j.commtr.2025.100190openalex-snapshot
Situational awareness using set-based estimation and vehicular communication: An occluded pedestrian-crossing scenario
inferred← citeshttps://doi.org/10.1016/j.engappai.2021.104287openalex-snapshot
Thick gradual sets and their computations: Application for determining the uncertain zone explored by an underwater robot
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.347openalex-snapshot
Efficient State-Estimation of Uncertain Max-Plus Linear Systems with High Observation Noise
inferred← citeshttps://doi.org/10.1016/j.ijar.2024.109162openalex-snapshot
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
inferred← citeshttps://doi.org/10.1016/j.robot.2022.104065openalex-snapshot
Safe and adaptive autonomous navigation under uncertainty based on sequential waypoints and reachability analysis
inferred← citeshttps://doi.org/10.1109/access.2018.2830350openalex-snapshot
A Tighter Set-Membership Filter for Some Nonlinear Dynamic Systems
inferred← citeshttps://doi.org/10.1109/aitest.2019.00014openalex-snapshot
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories
inferred← citeshttps://doi.org/10.1109/icra40945.2020.9197039openalex-snapshot
Set-membership state estimation by solving data association
inferred← citeshttps://doi.org/10.1109/iros45743.2020.9341712openalex-snapshot
Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer
inferred← citeshttps://doi.org/10.1109/iv48863.2021.9575828openalex-snapshot
Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
inferred← citeshttps://doi.org/10.1109/lnet.2024.3362708openalex-snapshot
Interval Hyperbolic Localization Based on Iterative Contraction for Cellular Networks
inferred← citeshttps://doi.org/10.1109/mmar65820.2025.11151086openalex-snapshot
A Set-Based Approach to Derive Contracts for Dynamic Behavior in Interconnected Systems
inferred← citeshttps://doi.org/10.1109/romoco.2019.8787343openalex-snapshot
Interval-based Solutions for Reliable and Safe Navigation of Intelligent Autonomous Vehicles
inferred← citeshttps://doi.org/10.1109/tac.2021.3081078openalex-snapshot
Dual Set Membership Filter With Minimizing Nonlinear Transformation of Ellipsoid
inferred← citeshttps://doi.org/10.1109/tac.2023.3246943openalex-snapshot
Brunovsky Decomposition for Dynamic Interval Localization
inferred← citeshttps://doi.org/10.1109/tfuzz.2020.3018550openalex-snapshot
Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling
inferred← citeshttps://doi.org/10.1177/0278364918808367openalex-snapshot
Proving the existence of loops in robot trajectories
inferred← citeshttps://doi.org/10.14232/actacyb.285315openalex-snapshot
Identification of Multi-Faults in GNSS Signals using RSIVIA under Dual Constellation
inferred← citeshttps://doi.org/10.14232/actacyb.315054openalex-snapshot
Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes
inferred← citeshttps://doi.org/10.1515/auto-2025-0117openalex-snapshot
Set-based reachability analysis for the derivation of contracts in interconnected dynamic systems
inferred← citeshttps://doi.org/10.23919/fusion59988.2024.10706302openalex-snapshot
Zonotopic and Gaussian Information Filter for High Integrity Localization
inferred← citeshttps://doi.org/10.3389/fcteg.2021.786188openalex-snapshot
An Online Interval-Based Inertial Navigation System for Control Purposes of Autonomous Boats
inferred← citeshttps://doi.org/10.3389/fcteg.2022.785795openalex-snapshot
An Ellipsoidal Predictor–Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors
inferred← citeshttps://doi.org/10.3390/a14050142openalex-snapshot
Interval Extended Kalman Filter—Application to Underwater Localization and Control
inferred← citeshttps://doi.org/10.3390/a15030090openalex-snapshot
Kleene Algebra to Compute Invariant Sets of Dynamical Systems
inferred← citeshttps://doi.org/10.3390/math10071130openalex-snapshot
Proving Feasibility of a Docking Mission: A Contractor Programming Approach
inferred← citeshttps://doi.org/10.3390/math10163011openalex-snapshot
Reliability Assessment of an Unscented Kalman Filter by Using Ellipsoidal Enclosure Techniques
inferred← citeshttps://doi.org/10.3390/s18072400openalex-snapshot
Integrity and Collaboration in Dynamic Sensor Networks
inferred← citeshttps://doi.org/10.5194/isprs-archives-xliii-b1-2020-565-2020openalex-snapshot
INTEGRITY – A TOPIC FOR PHOTOGRAMMETRY ?
inferred← citeshttps://doi.org/10.5772/intechopen.74387openalex-snapshot
Monte Carlo Set-Membership Filtering for Nonlinear Dynamic Systems
inferred← citeshttps://doi.org/10.70675/289c022fzd4a4z4ddcz92adz927527dbde62openalex-snapshot
Contribution à l'autonomie des robots : vers des missions à garantie de performance incluant l'incertitude de localisation en environnement intérieur connu
inferred← citeshttps://doi.org/10.70675/8c2623d1z3e59z4aedzbf08z0a74b48a2d80openalex-snapshot
Contribution à l'agrandissement de l'espace de travail opérationnel des robots parallèles. Vérification du changement de mode d'assemblage et commande pour la traversée des singularités
inferred← citeshttps://doi.org/10.70675/b0ffa072zd056z4402zaeddz088683efc34aopenalex-snapshot
Risk Assessment and Management based on Interval Analysis for Safe and Reliable Navigation of Intelligent Vehicles
inferred← citeshttps://doi.org/10.70675/daf0118dz2f43z4798z93a9z562c6ec4d78dopenalex-snapshot
Interval Constraint Programming for Differential Dynamical Systems
inferred← citeshttps://doi.org/10.70675/df86a1fbzcbe4z4a84z913cz35ffbccbe9eaopenalex-snapshot
Localisation fiable de robots : une approche de programmation par contraintes sur des systèmes dynamiques
inferred← citeshttps://doi.org/10.70675/f7acf2e0z626dz4ce8zbe1bz09310eea7044openalex-snapshot
A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.