=. Acbc, *. Qmu, E. <=, and . Ep, inv() * AcBc.T).inv() 35 ER = Ellipsoid(R) 36 print("ER included in EP

=. Erbar, post()[Xc] 42 print, ERbar) 43 print("ERbar included in EP :", ER <= EP) References

P. Cousot, R. Cousot, J. Feret, A. Miné, and X. , The astrée static analyzer, 2013.

S. Owre, PVS specification and verification system, 2013

E. Feron, From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010.
DOI : 10.1109/MCS.2010.938196

D. Peled, Software reliability methods, 2001.
DOI : 10.1007/978-1-4757-3540-6

S. Boyd, L. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, Society for Industrial and Applied Mathematics, 1994.
DOI : 10.1137/1.9781611970777

D. Goldberg, 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

N. J. Higham, Accuracy and Stability of Numerical Algorithms, SIAM, 2002.
DOI : 10.1137/1.9780898718027

P. Martin and E. Salau?-n, Estimation d'e?tate?tat pour les drones ae?riensae?riens, 2009.