Verification of Uncertain Embedded Systems by Computing Reachable Sets Based on Zonotopes
暂无分享,去创建一个
[1] G. Ziegler. Lectures on Polytopes , 1994 .
[2] Daniele Mortari. The n-dimensional cross product and its application to the matrix eigenanalysis , 1996 .
[3] Stavros Tripakis,et al. Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations , 2000, HSCC.
[4] Bruce H. Krogh,et al. Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..
[5] Olaf Stursberg,et al. Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.
[6] Ansgar Fehnker,et al. Benchmarks for Hybrid Systems Verification , 2004, HSCC.
[7] Mato Baotic,et al. Multi-Parametric Toolbox (MPT) , 2004, HSCC.
[8] Komei Fukuda,et al. From the zonotope construction to the Minkowski addition of convex polytopes , 2004, J. Symb. Comput..
[9] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[10] Matthias Althoff,et al. Reachability analysis of linear systems with uncertain parameters and inputs , 2007, 2007 46th IEEE Conference on Decision and Control.