✦ LIBER ✦

Formal analysis of a space-craft controller using SPIN

✍ Scribed by Havelund, K.; Lowry, M.; Penix, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal design and analysis of a gear con

✍ Magnus Lindahl; Paul Pettersson; Wang Yi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 324 KB

Control of spatial reorientation of a sp

✍ M. V. Levskii 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 363 KB

Aircraft Spin Recovery Using a Sliding-M

✍ Sinha, Nandan Kumar; K. K. Venkateswara Rao, D. M. 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics 🌐 English ⚖ 187 KB

Optimal attitude control of a spinning s

✍ Porcelli, G.; Connolly, A. 📂 Article 📅 1967 🏛 IEEE 🌐 English ⚖ 687 KB

A polarization propagator analysis of th

✍ M. C. Ruiz De Azua; A. C. Diz; C. G. Giribet; R. H. Contreras; I. D. Rae 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 858 KB

The use of formal inventory control mode

✍ Muhlemann, AP; Lockett, AG 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 298 KB