共 50 条
- [1] A piecewise linear dynamical functional artificial neural network (PWL-DFANN) for nonlinear adaptive time series prediction 2002 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I, PROCEEDINGS, 2002, : 29 - 32
- [8] Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 1274 - 1281
- [9] Branch and bound for piecewise linear neural network verification 1600, Microtome Publishing (21):