Fetching the paper…
Reading the bibliography…
Neural networks have been widely used to solve complex real-world problems.
Free suspension and earnshaw’s theorem
R. J. Duffin · 1963
Earlier work this paper cites.
Multilayer feedforward networks are universal approximators
Kurt Hornik, Maxwell Stinchcombe, and Halbert White · 1989
Earlier work this paper cites.
Neural networks for control systems: a survey
K Jetal Hunt, D Sbarbaro, R Żbikowski, and Peter J Gawthrop · 1992
Earlier work this paper cites.
Face recognition: A convolutional neural-network approach
Steve Lawrence, C Lee Giles, Ah Chung Tsoi, and Andrew D Back · 1997
Earlier work this paper cites.
Adaptive neural network control of nonlinear systems by state and output feedback
Shuzhi Sam Ge, Chang Chieh Hang, and Tao Zhang · 1999
Earlier work this paper cites.
Lorentz magnetic levitation for haptic interaction: Device design, performance, and integration with physical simulations
Peter J. Berkelman and Ralph L. Hollis · 2000
Earlier work this paper cites.
Efficient training of neural nets for nonlinear adaptive filtering using a recursive levenberg-marquardt algorithm
L. S. H. Ngia and J. Sjoberg · 2000
Earlier work this paper cites.
Modeling and nonlinear control of magnetic levitation systems
A. El Hajjaji and M. Ouladsine · 2001
Earlier work this paper cites.
A comparison of neural network control algorithms
O. De Jesus, A. Pukrittayakamee, and M. T. Hagan · 2001
Earlier work this paper cites.
Japan’s superconducting maglev train
M. Ono, S. Koga, and H. Ohtsuki · 2002
Earlier work this paper cites.
Review of dynamic stability of repulsive-force maglev suspension systems
D. M. Rote and Yigang Cai · 2002
Earlier work this paper cites.
Nonlinear robust control design for levitation and propulsion of a maglev system
J. Kaloust, C. Ham, J. Siehling, E. Jongekryg, and Q. Han · 2004
Earlier work this paper cites.
Approximation of dynamical time-variant systems by continuous-time recurrent neural networks
Xiao-Dong Li, J. K. L. Ho, and T. W. S. Chow · 2005
Earlier work this paper cites.
Robust levitation control for linear maglev rail system using fuzzy neural network
R. J. Wai and J. D. Lee · 2009
Earlier work this paper cites.
An abstraction-refinement approach to verification of artificial neural networks
Luca Pulina and Armando Tacchella · 2010
Earlier work this paper cites.
Neural network toolbox™ user’s guide
Mark Hudson Beale, Martin T. Hagan, and Howard B. Demuth · 2012
Cited alongside, same era.
Challenging SMT
Luca Pulina and Armando Tacchella · 2012
Cited alongside, same era.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus · 2013
Cited alongside, same era.
Control of a magnetic levitation system using feedback linearization
R. Uswarman, A. I. Cahyadi, and O. Wahyunggoro · 2013
Cited alongside, same era.
Levitation control design of super-speed maglev trains
C. H. Kim, J. Lim, J. M. Lee, H. S. Han, and D. Y. Park · 2014
Cited alongside, same era.
Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
Weiming Xiang and Jian Xiao · 2014
Reachable sets bounding for generalized neural networks with interval time-varying delay and bounded disturbances
Mai Viet Thuan, Hieu Manh Tran, and Hieu Trinh · 2016
Later among the works it cites.
Necessary and sufficient condition for stability of switched uncertain linear systems under dwell-time constraint
Weiming Xiang · 2016
Later among the works it cites.
Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach
Lixian Zhang and Weiming. Xiang · 2016
Later among the works it cites.
Synchronization and state estimation of a class of hierarchical hybrid neural networks with time-varying delays
Lixian Zhang, Yanzheng Zhu, and Wei Xing Zheng · 2016
Later among the works it cites.
Rigorous simulation-based analysis of linear hybrid systems
Stanley Bak and Parasara Sridhar Duggirala · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Neural network adaptive state feedback control of a magnetic levitation system
S. T. Zhao and X. W. Gao · 2014
Cited alongside, same era.
A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay
Zhiqiang Zuo, Zhenqian Wang, Yinping Chen, and Yijing Wang · 2014
Cited alongside, same era.
Deep learning in neural networks: An overview
Jürgen Schmidhuber · 2015
Cited alongside, same era.
On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint
Weiming Xiang · 2015
Cited alongside, same era.
Robust control design of a magnetic levitation system
J. I. Baig and A. Mahmood · 2016
Cited alongside, same era.
End to end learning for self-driving cars
Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al · 2016
Cited alongside, same era.
Guy Katz, Clark Barrett, David Dill, Kyle Julian, and Mykel Kochenderfer · 2017
Later among the works it cites.
Stability analysis and ℒ 1 \mathcal{L}_{1} -gain characterization for switched positive systems under dwell-time constraint
Weiming Xiang, James Lam, and Jun Shen · 2017
Later among the works it cites.
Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching
Weiming Xiang, Hoang-Dung Tran, and T. T. Johnson · 2017
Later among the works it cites.
On reachable set estimation for discrete-time switched linear systems under arbitrary switching
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2017
Later among the works it cites.
Output reachable set estimation and verification for multi-layer neural networks
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2017
Later among the works it cites.
Output reachable set estimation for switched linear systems and its application in safety verification
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2017
Later among the works it cites.
Reachable set computation and safety verification for neural networks with R
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2017
Later among the works it cites.
Reachable set estimation for M
Zhaowen Xu, Hongye Su, Peng Shi, Renquan Lu, and Zheng-Guang Wu · 2017
Later among the works it cites.
State estimation of discrete-time switched neural networks with multiple communication channels
Lixian Zhang, Yanzheng Zhu, and Wei Xing Zheng · 2017
Later among the works it cites.
Parameter-memorized L
Weiming Xiang · 2018
Closest in time.