时间触发布尔网络的稳定性和保证成本分析| IEEE期刊和杂志| IEEE Xplore