Formal Synthesis of Lyapunov Neural Networks

Title	Journal	Journal Categories	Citations	Publication Date
Review on computational methods for Lyapunov functions	Discrete and Continuous Dynamical Systems - B	Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods Science: Mathematics	86	2015
The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems				2018
Neural Lyapunov control				2019
Generation of Lyapunov functions by neural networks				2008
Construction of neural network based Lyapunov functions				2006

Title	Journal	Journal Categories	Citations	Publication Date
Further Qualitative Results for Second-Order Dynamical Systems Based on Circuit Theory Approach	Circuits, Systems, and Signal Processing	Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics Technology: Engineering (General). Civil engineering (General)		2022

Category	Category Repetition
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics	1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks	1
Technology: Engineering (General). Civil engineering (General)	1

The category Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Further Qualitative Results for Second-Order Dynamical Systems Based on Circuit Theory Approach and was published in 2022. The most recent citation comes from a 2022 study titled Further Qualitative Results for Second-Order Dynamical Systems Based on Circuit Theory Approach. This article reached its peak citation in 2022, with 1 citations. It has been cited in 1 different journals. Among related journals, the Circuits, Systems, and Signal Processing cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.