✦ LIBER ✦

An algorithm of the method of sections and program tools for constructing reachable sets of nonlinear control systems

✍ Scribed by O. V. Morzin; A. I. Tyatyushkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Construction of set-valued estimates of

✍ T. F. Filippova 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 361 KB

Algorithm for determining the reachabili

✍ Q. J. Zhu; N. Zhang; Y. He 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 837 KB

The Reach-and-Evolve Algorithm for Reach

✍ Pieter Collins; Alexandre Goldsztejn 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 607 KB

Tools and algorithms for the constructio

✍ Kurt Jensen; Andreas Podelski 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 107 KB

On the Geometric Properties of Reachable

✍ A. M. Formalsky; A. N. Sirotin 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 170 KB

Methods and algorithms for analyzing lin

✍ V.A. Bushenkov; A.V. Lotov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 879 KB