Enhanced frameworks for safety verification of autonomous rendezvous systems

Enhanced frameworks for safety verification of autonomous rendezvous systems

We consider the safety of a V-bar hopping manoeuvre which forms part of the final stage in autonomous space rendezvous. This manoeuvre is controlled by thrusters: we assume these inputs are perfect impulses and model the system in a hybrid automaton framework. We consider the operation of the system...

Descripció completa

Dades bibliogràfiques
Autors principals:	Maier, C, Papachristodoulou, A
Format:	Conference item
Publicat:	IFAC Secretariat 2010

Ítems similars

VVAF - Worst case and safety analysis tools for autonomous rendezvous system
per: Paulino, N, et al.
Publicat: (2010)

Planning and scheduling proximity operations for autonomous orbital rendezvous
per: Guerra, Christopher J., 1978-
Publicat: (2006)

Autonomous orbital rendezvous using angles-only navigation
per: Chari, Raja Jon Vurputoor, 1977-
Publicat: (2005)

Robust Rendezvous of Heterogeneous Euler-Lagrange Systems on Packet-Switched Networks (Robustes Rendezvous von heterogenen Euler-Lagrange Systemen mithilfe paketvermittelnder Netzwerke).
per: Münz, U, et al.
Publicat: (2010)

Distributed safety verification for multi-agent systems
per: Wang, H, et al.
Publicat: (2023)

Rendezvous with horror /
per: Bond, Ruskin, editor
Publicat: ([200)

Contract-based safety verification for autonomous driving
per: Liebenwein, Lucas
Publicat: (2019)

Safety verification and controller synthesis for systems with input constraints
per: Wang, H, et al.
Publicat: (2023)

Delay-dependent rendezvous and flocking of large scale multi-agent systems with communication delays.
per: Münz, U, et al.
Publicat: (2008)

A Robust Observation, Planning, and Control Pipeline for Autonomous Rendezvous with Tumbling Targets
per: Albee, Keenan, et al.
Publicat: (2021)

Autonomous rendezvous and docking with tumbling, uncooperative, and fragile targets under uncertain knowledge
per: Hettrick, Hailee Elida.
Publicat: (2019)

A vision based control system for autonomous rendezvous and capture of a Mars Orbital Sample
per: Jyothindran, Vishnu
Publicat: (2014)

Safety verification for distributed parameter systems using barrier functionals
per: Ahmadi, M, et al.
Publicat: (2017)

Distributed control design and safety verification for multi-agent systems
per: Wang, H, et al.
Publicat: (2024)

A contract negotiation scheme for safety verification of interconnected systems
per: Tan, X, et al.
Publicat: (2024)

Controlled hybrid system safety verification: Advanced life support system testbed
per: Glavaski, S, et al.
Publicat: (2005)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
per: Glavaski, S, et al.
Publicat: (2005)

A little rendezvous in Bali
per: Wan Mohamad, Wan Srihani, et al.
Publicat: (2014)

Trajectory design and vehicle guidance for a mid-air rendezvous between tow autonomous aircraft
per: Jourdan, Damien, 1978-
Publicat: (2009)

A Monte-Carlo performance analysis of Kalman filter and targeting algorithms for autonomous orbital rendezvous
per: Vaughan, Andrew Thomas, 1979-
Publicat: (2005)

Optimal multiple-impulse orbital rendezvous.
per: Prussing, John E
Publicat: (2005)

Robust rendezvous maneuver point conditions
per: Fogle, Debra Ann
Publicat: (2008)

Asymptotic behaviour in the robot rendezvous problem
per: Paunonen, L, et al.
Publicat: (2017)

Rendezvous approach guidance for uncooperative tumbling satellites
per: Chan, Manwei.
Publicat: (2019)

Starshade rendezvous: exoplanet sensitivity and observing strategy
per: Seager, Sara
Publicat: (2022)

Starshade rendezvous: exoplanet sensitivity and observing strategy
Publicat: (2022)

Starshade rendezvous: exoplanet sensitivity and observing strategy
Publicat: (2021)

Software and Systems Safety − Specification and Verification
Publicat: (2011)

Temporal verification of reactive systems : safety /
per: 179321 Manna, Zohar, et al.
Publicat: (1995)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
per: Glavaski, S, et al.
Publicat: (2007)

Orthogonal Rendezvous Routing Protocol for Wireless Mesh Networks
per: Cheng, Bow-Nan, et al.
Publicat: (2010)

Orbital rendezvous using an Augmented Lambert Guidance scheme
per: MacLellan, Sara Jean
Publicat: (2006)

Using Rendezvous to Overcome Communication Limitations in Multirobot Exploration
per: Wellman, B, et al.
Publicat: (2011)

Line-of-sight guidance techniques for manned orbital rendezvous
per: Aldrin, Buzz
Publicat: (2008)

Plume impingement avoidance in spacecraft rendezvous and docking applications
per: Kohli, Charulika
Publicat: (2018)

A verification framework for hybrid systems
per: Mitra, Sayan
Publicat: (2008)

Formal verification of safety-critical hybrid systems
per: Livadas, Carolos
Publicat: (2008)

Formal Verification of Safety-Critical Hybrid Systems
per: Livadas, Carolos
Publicat: (2023)

Selection of Rendezvous Points for Multi−Robot Exploration in Dynamic Environments
per: de Hoog, J, et al.
Publicat: (2010)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
per: Kochems, J, et al.
Publicat: (2013)