On the public citation graph

Verifying safety of an autonomous spacecraft rendezvous mission

0 signed · 64 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-319-41528-4_26openalex-snapshot

Parsimonious, Simulation Based Verification of Linear Systems

inferredcites →https://doi.org/10.1007/978-3-319-41528-4_29openalex-snapshot

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

inferredcites →https://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot

PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

inferredcites →https://doi.org/10.1007/978-3-642-22110-1_30openalex-snapshot

SpaceEx: Scalable Verification of Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-642-32759-9_22openalex-snapshot

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems

inferredcites →https://doi.org/10.1007/978-3-662-46681-0_5openalex-snapshot

C2E2: A Verification Tool for Stateflow Models

inferredcites →https://doi.org/10.1007/978-3-662-47694-9_1openalex-snapshot

Spacecraft Autonomy Challenges for Next-Generation Space Missions

inferredcites →https://doi.org/10.1016/j.ast.2007.02.009openalex-snapshot

Accurate and autonomous navigation for the ATV

inferredcites →https://doi.org/10.1049/ip-d.1987.0012openalex-snapshot

Recent trends in linear optimal quadratic multivariable control system design

inferredcites →https://doi.org/10.1109/cdc.2016.7798765openalex-snapshot

A spacecraft benchmark problem for hybrid control and estimation

inferredcites →https://doi.org/10.1109/cdc.2016.7798766openalex-snapshot

Constrained autonomous satellite docking via differential flatness and model predictive control

inferredcites →https://doi.org/10.1109/cdc.2016.7798767openalex-snapshot

Computing reach-avoid sets for space vehicle docking under continuous thrust

inferredcites →https://doi.org/10.1109/cdc.2016.7798769openalex-snapshot

Robust hybrid supervisory control for rendezvous and docking of a spacecraft

inferredcites →https://doi.org/10.17226/13354openalex-snapshot

NASA Space Technology Roadmaps and Priorities

inferredcites →https://doi.org/10.2514/1.30734openalex-snapshot

Navigating the Road to Autonomous Orbital Rendezvous

inferredcites →https://doi.org/10.2514/6.2003-6368openalex-snapshot

Architecting a Family of Space Tugs Based on Orbital Transfer Mission Scenarios

inferredcites →https://doi.org/10.2514/6.2005-2523openalex-snapshot

Autonomous Rendezvous, Capture and In-Space Assembly:Past, Present and Future

inferredcites →https://doi.org/10.2514/8.8704openalex-snapshot

Terminal Guidance System for Satellite Rendezvous

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_5openalex-snapshot

Data-Driven Safety Verification of Complex Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_26openalex-snapshot

STLmc: Robust STL Model Checking of Hybrid Systems Using SMT

inferred← citeshttps://doi.org/10.1007/s10270-025-01281-6openalex-snapshot

Model checking of spacecraft operational designs: a scalability analysis

inferred← citeshttps://doi.org/10.1016/j.arcontrol.2021.11.001openalex-snapshot

Robust hybrid supervisory control for spacecraft close proximity missions

inferred← citeshttps://doi.org/10.1016/j.automatica.2023.111445openalex-snapshot

Model predictive monitoring of dynamical systems for signal temporal logic specifications

inferred← citeshttps://doi.org/10.1016/j.conengprac.2025.106373openalex-snapshot

Artificial Potential Field and Sliding Mode Control for spacecraft attitude maneuver with actuation and pointing constraints

inferred← citeshttps://doi.org/10.1016/j.nahs.2021.101093openalex-snapshot

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

inferred← citeshttps://doi.org/10.1016/j.scico.2025.103332openalex-snapshot

SMT-based robust model checking for signal temporal logic

inferred← citeshttps://doi.org/10.1109/cdc.2017.8263854openalex-snapshot

Verified hybrid LQ control for autonomous spacecraft rendezvous

inferred← citeshttps://doi.org/10.1109/lra.2024.3455848openalex-snapshot

Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks

inferred← citeshttps://doi.org/10.1109/models58315.2023.00011openalex-snapshot

Applicability of Model Checking for Verifying Spacecraft Operational Designs

inferred← citeshttps://doi.org/10.1109/taes.2021.3053134openalex-snapshot

Immersion and Invariance Adaptive Pose Control for Spacecraft Proximity Operations Under Kinematic and Dynamic Constraints

inferred← citeshttps://doi.org/10.1109/tcad.2020.3012859openalex-snapshot

Reachability Analysis of Linear Hybrid Systems via Block Decomposition

inferred← citeshttps://doi.org/10.1109/tcst.2022.3216077openalex-snapshot

Abort-Safe Spacecraft Rendezvous on Elliptic Orbits

inferred← citeshttps://doi.org/10.1145/3365365.3382194openalex-snapshot

Reachability analysis for hybrid systems with nonlinear guard sets

inferred← citeshttps://doi.org/10.1145/3603288openalex-snapshot

Formal Methods for Safe Autonomy

inferred← citeshttps://doi.org/10.1145/3603288.3603289openalex-snapshot

Preface

inferred← citeshttps://doi.org/10.1145/3603288.3603290openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1145/3603288.3603291openalex-snapshot

Mathematical Preliminaries

inferred← citeshttps://doi.org/10.1145/3603288.3603292openalex-snapshot

Models of Autonomous Systems

inferred← citeshttps://doi.org/10.1145/3603288.3603293openalex-snapshot

Data-driven Verification

inferred← citeshttps://doi.org/10.1145/3603288.3603294openalex-snapshot

Computing Discrepancy

inferred← citeshttps://doi.org/10.1145/3603288.3603295openalex-snapshot

Verification of Models with Black-box Components

inferred← citeshttps://doi.org/10.1145/3603288.3603296openalex-snapshot

Approximate Partial Order Reduction

inferred← citeshttps://doi.org/10.1145/3603288.3603297openalex-snapshot

Controller Synthesis for Linear Systems with Reach-avoid Specification

inferred← citeshttps://doi.org/10.1145/3603288.3603298openalex-snapshot

Conclusions

inferred← citeshttps://doi.org/10.1145/3603288.3603299openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1145/3603288.3603300openalex-snapshot

Author’s Biography/Index

inferred← citeshttps://doi.org/10.23919/acc55779.2023.10155826openalex-snapshot

Safe and Constrained Rendezvous, Proximity Operations, and Docking

inferred← citeshttps://doi.org/10.2514/1.a36391openalex-snapshot

Fast Passive Safety Checks Using General Ellipse Constraints

inferred← citeshttps://doi.org/10.2514/6.2021-0075openalex-snapshot

Autonomous Satellite Rendezvous and Proximity Operations via Geometric Control Methods

inferred← citeshttps://doi.org/10.29007/2jw8openalex-snapshot

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

inferred← citeshttps://doi.org/10.29007/5313openalex-snapshot

Space Debris Collision Detection using Reachability

inferred← citeshttps://doi.org/10.29007/73mbopenalex-snapshot

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/7br2openalex-snapshot

ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

inferred← citeshttps://doi.org/10.29007/7dt2openalex-snapshot

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/7xf3openalex-snapshot

ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/93f2openalex-snapshot

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

inferred← citeshttps://doi.org/10.29007/bj1wopenalex-snapshot

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/m75bopenalex-snapshot

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

inferred← citeshttps://doi.org/10.29007/nl86openalex-snapshot

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/z3g7openalex-snapshot

ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

inferred← citeshttps://doi.org/10.29007/zkf6openalex-snapshot

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

inferred← citeshttps://doi.org/10.48550/arxiv.2109.07632openalex-snapshot

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches

inferred← citeshttps://doi.org/10.48550/arxiv.2109.07638openalex-snapshot

Reachability of Linear Uncertain Systems: Sampling Based Approaches

inferred← citeshttps://doi.org/10.48550/arxiv.2111.01312openalex-snapshot

DaDRA: A Python Library for Data-Driven Reachability Analysis

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.