A |

AABB Trees | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |

C |

closed-loop system | Verification of Closed-loop Systems with Neural Network Controllers |

collision detection | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |

control systems | Verification of Closed-loop Systems with Neural Network Controllers |

F |

Finite Strain Theory | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

H |

hybrid automata | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

hybrid system | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

I |

interval arithmetic | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

J |

Jitter | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

L |

Lagrangian Reachability | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

Lagrangian Reachtube | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

Lohner QR Method | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

N |

neural network controller | Verification of Closed-loop Systems with Neural Network Controllers |

R |

Reachability Algorithm | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

Reachtube tool | Under the Hood of a Stand-Alone Lagrangian Reachability Tool |

real-time system | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

S |

Safety Checking | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |

safety verification | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

sampled-data control | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing |

spatial data structures | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |

V |

verification | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |

verification benchmark | Verification of Closed-loop Systems with Neural Network Controllers |