共 50 条
- [44] Multi-Valued Reasoning about Reactive Systems FOUNDATIONS AND TRENDS IN THEORETICAL COMPUTER SCIENCE, 2022, 15 (02): : 126 - 228
- [47] Stability conditions for impulsive dynamical systems Mathematics of Control, Signals, and Systems, 2022, 34 : 95 - 128
- [48] Don't Know for Multi-valued Systems AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 289 - 305
- [49] Lyapounov stability for impulsive dynamical systems PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 2304 - 2309
- [50] Discretisation of Global Attractors for Lattice Dynamical Systems Journal of Dynamics and Differential Equations, 2020, 32 : 1457 - 1474