Small-Gain Theorem for Safety Verification of Interconnected Systems.

Ziliang Lyu Xiangru Xu Yiguang Hong

Published in: CoRR (2020)

Keyphrases

complex systems
neural network
decision making
computer systems
e learning
intelligent systems
learning systems
computing systems
machine learning
knowledge base
management system
small number
software engineering
distributed systems
safety analysis