共 50 条
- [43] Formal Methods for Dynamical Systems HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 3 - 3
- [47] A MULTISCALE COMPUTATION FOR HIGHLY OSCILLATORY DYNAMICAL SYSTEMS USING EMPIRICAL MODE DECOMPOSITION (EMD)-TYPE METHODS MULTISCALE MODELING & SIMULATION, 2016, 14 (01): : 534 - 557
- [48] Symbolic computation tools for dynamical nonlinear control systems COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 393 - 404
- [50] Computation of Lyapunov characteristic exponents for continuous dynamical systems Zeitschrift für angewandte Mathematik und Physik ZAMP, 2002, 53 : 123 - 146