Abstract: This paper presents a novel adaptive control framework for multi-agent systems (MAS), integrating Adaptive Dynamic Programming (ADP) and Backpropagation (BP) neural networks. By leveraging ...
Abstract: Barrier certificate generation is an ingenious and powerful approach for safety verification of cyber-physical systems. This article suggests a new learning and verification framework that ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results