Abstract: Dynamic neural networks are considered as an effective method in the field of scientific computing, among which gradient neural networks (GNNs) are an efficient method for solving static ...
Abstract: The approximately bi-similar symbolic model of control system is the foundation for addressing temporal logic tasks. This paper concerns the construction of approximately bi-similar symbolic ...