inv() * AcBc.T).inv() 35 ER = Ellipsoid(R) 36 print("ER included in EP ,
post()[Xc] 42 print, ERbar) 43 print("ERbar included in EP :", ER <= EP) References ,
The astrée static analyzer, 2013. ,
PVS specification and verification system, 2013 ,
From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010. ,
DOI : 10.1109/MCS.2010.938196
Software reliability methods, 2001. ,
DOI : 10.1007/978-1-4757-3540-6
Linear Matrix Inequalities in System and Control Theory, Society for Industrial and Applied Mathematics, 1994. ,
DOI : 10.1137/1.9781611970777
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Accuracy and Stability of Numerical Algorithms, SIAM, 2002. ,
DOI : 10.1137/1.9780898718027
Estimation d'e?tate?tat pour les drones ae?riensae?riens, 2009. ,