Displaying similar documents to “How much do approximate derivatives hurt filter methods?”

A modified filter SQP method as a tool for optimal control of nonlinear systems with spatio-temporal dynamics

Ewaryst Rafajłowicz, Krystyn Styczeń, Wojciech Rafajłowicz (2012)

International Journal of Applied Mathematics and Computer Science

Similarity:

Our aim is to adapt Fletcher's filter approach to solve optimal control problems for systems described by nonlinear Partial Differential Equations (PDEs) with state constraints. To this end, we propose a number of modifications of the filter approach, which are well suited for our purposes. Then, we discuss possible ways of cooperation between the filter method and a PDE solver, and one of them is selected and tested.

Compounding Objects

Zvonimir Šikić (2020)

Bulletin of the Section of Logic

Similarity:

We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.

Convergent Filter Bases

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).

Soju Filters in Hoop Algebras

Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani, Young Bae Jun (2021)

Bulletin of the Section of Logic

Similarity:

The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.