Epsilon-Approximation of Differential Inclusions
暂无分享,去创建一个
[1] P. Holmes,et al. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.
[2] Pravin Varaiya,et al. Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.
[3] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[4] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[5] Jean-Pierre Aubin,et al. Viability theory , 1991 .
[6] Colin Sparrow,et al. The Lorenz equations , 1982 .
[7] Joseph Sifakis,et al. An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.
[8] R. Abraham,et al. Manifolds, Tensor Analysis, and Applications , 1983 .
[9] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[10] Pravin Varaiya,et al. Verification of Hybrid Systems Using Abstractions , 1996, Hybrid Systems.
[11] M. Hirsch,et al. Differential Equations, Dynamical Systems, and Linear Algebra , 1974 .
[12] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.