共 50 条
- [41] Formal Verification of Stochastic Systems with ReLU Neural Network Controllers 2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2022, 2022, : 6800 - 6806
- [43] Learning Neural Network Controllers for Stabilizing Hybrid Dynamic Systems IZVESTIYA SARATOVSKOGO UNIVERSITETA NOVAYA SERIYA-MATEMATIKA MEKHANIKA INFORMATIKA, 2018, 18 (03): : 354 - 360
- [44] Comparative study of neural network controllers for nonlinear dynamic systems ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 1822 : 357 - 368
- [45] Neural network based optimizing controllers for smart structural systems Smart Materials and Structures, 1998, 7 (01): : 23 - 30
- [47] Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 12, 2023, : 15278 - 15286
- [48] Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 211, 2023, 211
- [49] Neural network based optimizing controllers for smart structural systems SMART MATERIALS & STRUCTURES, 1998, 7 (01): : 23 - 30
- [50] Dynamics of vertebral column observed by stereovision and recurrent neural network model BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS, 2005, 3745 : 51 - 60