Small-gain theorem for safety verification of interconnected systems.

Ziliang Lyu Xiangru Xu Yiguang Hong

Published in: Autom. (2022)

Keyphrases

safety analysis
learning systems
management system
automated verification
computer systems
small number
artificial intelligence
information retrieval
neural network
data sets
genetic algorithm
real world
intelligent systems
databases
model checking
formal verification
database