Related papers: Stateful Realizers for Nonstandard Analysis

For those of us who generally live in the world of syntax, semantic proof techniques such as reducibility, realizability or logical relations seem somewhat magical despite -- or perhaps due to -- their seemingly unreasonable effectiveness.…

A state-space model for Li-ion battery packs with parallel connected cells is introduced. The key feature of this model is an explicit solution to Kirchhoff's laws for parallel connected packs, which expresses the branch currents directly…

The standard mean field slave-boson solution for the infinite-$U$ Hubbard model is revised. A slightly modified version is proposed which includes properly the incoherent contribution of the localized states. In contrast to the standard…

In this paper, we consider the state estimation problem for nonlinear stochastic discrete-time systems. We combine Lyapunov's method in control theory and deep reinforcement learning to design the state estimator. We theoretically prove the…

Monte Carlo is famous for accepting model extensions and model refinements up to infinite dimension. However, this powerful incremental design is based on a premise which has severely limited its application so far: a state-variable can…

A novel approach to the problem of partial state estimation of nonlinear systems is proposed. The main idea is to translate the state estimation problem into one of estimation of constant, unknown parameters related to the systems initial…

We derive sufficient conditions for the solvability of the state estimation problem for a class of nonlinear control time-varying systems which includes those, whose dynamics have triangular structure. The state estimation is exhibited by…

In order to maintain the security of power system at an appropriate level and at low cost, it is essential to accurately assess the steady-state stability limits and power flow feasibility boundaries, i.e., the power system marginal states…

A non-deterministic call-by-need lambda-calculus \calc with case, constructors, letrec and a (non-deterministic) erratic choice, based on rewriting rules is investigated. A standard reduction is defined as a variant of left-most outermost…

In the present work, we demonstrate how the pseudoinverse concept from linear algebra can be used to represent and analyze the boundary conditions of linear systems of partial differential equations. This approach has theoretical and…

State estimation has a pivotal role in several applications, including but not limited to advanced control design. Especially when dealing with nonlinear systems state estimation is a nontrivial task, often entailing approximations and…

Recent years have witnessed the introduction and development of extremely fast rational function algorithms. Many ideas in this realm arose from polynomial-based linear-algebraic algorithms. However, polynomial approximation is occasionally…

This paper presents a method for computing eigenvalues and eigenvectors for some types of nonlinear eigenvalue problems. The main idea is to approximate the functions involved in the eigenvalue problem by rational functions and then apply a…

We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable functions for this realizability are exactly the…

The identification of black-box nonlinear state-space models requires a flexible representation of the state and output equation. Artificial neural networks have proven to provide such a representation. However, as in many identification…

In this monograph, nonstandard characteristics for many notions from real analysis are obtained and applied. However, only two simple types of atomic formula are used and almost all of the characteristics are shown to hold for a simple…

We study integral-to-integral input-to-state stability for infinite-dimensional linear systems with inputs and trajectories in $L^p$-spaces. We start by developing the corresponding admissibility theory for linear systems with unbounded…

A growing line of work has investigated the development of neural NLP models that can produce rationales--subsets of input that can explain their model predictions. In this paper, we ask whether such rationale models can also provide…

An explicit lattice realization of a non-Abelian topological memory is presented. The correspondence between logical and physical states is seen directly by use of the stabilizer formalism. The resilience of the encoded states against…

In this paper, a novel linear formulation for power system state estimation that simultaneously treats conventional and synchrophasor measurements is proposed. A linear circuit model for conventional measurements is introduced to enable a…