Forward Invariance in Trajectory Spaces for Safety-critical Control.

Matti Vahs Rafael I. Cabral Muchacho Florian T. Pokorny Jana Tumova

Published in: CoRR (2024)

Keyphrases

safety critical
safety analysis
agent architecture
control system
machine learning
intelligent systems
fault tolerant
formal methods
nuclear power plant
adaptive systems