共 50 条
- [32] Formal Methods for Dynamical Systems HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 3 - 3
- [33] Method for enhanced sampling in the simulations of dynamical systems Phys Rev E., 3 pt B (3753):
- [34] Method for enhanced sampling in the simulations of dynamical systems PHYSICAL REVIEW E, 1999, 59 (03): : 3753 - 3755
- [35] Solving Large Dynamical Systems by Constraint Sampling APPLIED COMPUTER SCIENCES IN ENGINEERING (WEA 2019), 2019, 1052 : 3 - 15