共 50 条
- [31] Taming Delays in Dynamical Systems Unbounded Verification of Delay Differential Equations COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 650 - 669
- [32] Spatial and Dynamical Chaos Generated by Reaction–Diffusion Systems in Unbounded Domains Journal of Dynamics and Differential Equations, 2007, 19 : 1 - 74
- [33] Unbounded Generators of Dynamical Semigroups OPEN SYSTEMS & INFORMATION DYNAMICS, 2017, 24 (04):
- [37] Automated Analysis of the Trajectories of Stochastic Dynamical Systems under Uncertainty PROCEEDINGS OF THE XIX IEEE INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM 2016), 2016, : 7 - 9
- [39] On the relation between entropy and the average complexity of trajectories in dynamical systems computational complexity, 2000, 9 : 146 - 155