✦ LIBER ✦

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems

✍ Scribed by Prajna, Stephen; Rantzer, Anders

Book ID: 118205628
Publisher: Society for Industrial and Applied Mathematics
Year: 2007
Tongue: English
Weight: 335 KB
Volume: 46
Category: Article
ISSN: 0363-0129
DOI: 10.1137/050645178

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A discrete dynamic convexized method for

A discrete dynamic convexized method for nonlinear integer programming

✍ Wenxing Zhu; Hong Fan 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 820 KB

In this paper, we consider the box constrained nonlinear integer programming problem. We present an auxiliary function, which has the same discrete global minimizers as the problem. The minimization of the function using a discrete local search method can escape successfully from previously converge

Dynamic programming approach for nonline

Dynamic programming approach for nonlinear systems

✍ Moreno, L.; Acosta, L.; Hamilton, A.; Mendez, J.A.; Sanchez, J.L.; Pineiro, J.D. 📂 Article 📅 1994 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 579 KB

A framework for optimal temporal reduced

A framework for optimal temporal reduced order modeling of nonlinear dynamical systems

✍ A. LaBryer; P.J. Attar; P. Vedula 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 865 KB

Integration of verification methods for

Integration of verification methods for program systems

✍ V. V. Kuliamin 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 159 KB

Metastability for nonlinear random pertu

Metastability for nonlinear random perturbations of dynamical systems

✍ M. Freidlin; L. Koralov 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 555 KB

Some problems of the theory of dynamic p

Some problems of the theory of dynamic programming for nonlinear systems

✍ Ia.N. Roitenberg 📂 Article 📅 1962 🏛 Elsevier Science 🌐 English ⚖ 765 KB