The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.

Usama Mehmood Sanaz Sheikhi Stanley Bak Scott A. Smolka Scott D. Stoller

Published in: NFM (2022)

Keyphrases

black box
black boxes
autonomous systems
test cases
white box
integration testing
management system
linear programming
real time
software architecture
hybrid systems
data sets
state transition
simplex algorithm
white box testing
star shaped
learning capabilities
open source