Search arXivSearch

arXiv · 1201.0035

The information path functional approach for solution of a controllable stochastic problem

Abstract

We study a stochastic control system, described by Ito controllable equation, and evaluate the solutions by an entropy functional (EF), defined by the equation functions of controllable drift and diffusion. Considering a control problem for this functional, we solve the EF control variation problem (VP), which leads to both a dynamic approximation of the process entropy functional by an information path functional (IPF) and information dynamic model (IDM) of the stochastic process. The IPF variation equations allow finding the optimal control functions, applied to both stochastic system and the IDM for joint solution of the identification and optimal control problems, combined with state consolidation. In this optimal dual strategy, the IPF optimum predicts each current control action not only in terms of total functional path goal, but also by setting for each following control action the renovated values of this functional controllable drift and diffusion, identified during the optimal movement, which concurrently correct this goal. The VP information invariants allow optimal encoding of the identified dynamic model operator and control. The introduced method of cutting off the process by applying an impulse control estimates the cutoff information, accumulated by the process inner connections between its states. It has shown that such a functional information measure contains more information than the sum of Shannon entropies counted for all process separated states, and provides information measure of Feller kernel. Examples illustrate the procedure of solving these problems, which has been implemented in practice. Key words: Entropy and information path functionals, variation equations, information invariants, controllable dynamics, impulse controls, cutting off the diffusion process, identification, cooperation, encoding.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vladimir S. Lerner. 2014-06-03. The information path functional approach for solution of a controllable stochastic problem. https://arxiv.org/abs/1201.0035

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Ensuring Stability of Non-Minimal Modes in Input-Output Data-Driven Representation

Many recent data-driven control approaches for linear time-invariant systems are based on output trajectory prediction using input-output data matrices. The system dynamics described by this predictor, which we refer to as the input-output data-driven representation, yields non-unique autoregressive with exogenous inputs (ARX) models having possibly unstable non-minimal modes. In this note, we show that the stability of these non-minimal modes is ensured by a certain choice of ARX model, which coincides with the minimum-norm least-squares predictor using the Moore-Penrose inverse of the data matrix. This stability guarantee holds regardless of the underlying system's stability. Moreover, the stability persists under sufficiently small noise in data when a suitably truncated Moore-Penrose inverse is used. Consequently, the ARX model need not be reduced to the true system order in order to avoid unstable additional modes.

eess.SY

Optimization-Based Formation Flight on Libration Point Orbits

A model predictive control (MPC) framework is developed for station-keeping in spacecraft formation flight along libration point orbits. At each control period, the MPC policy solves a multi-vehicle optimal control problem (MVOCP) that tracks a reference trajectory, while enforcing path constraints on the relative motion of the formation. The control policy makes use of a limited set of control nodes consistent with operational constraints that allow only a small number of maneuver opportunities per revolution. To promote recursive feasibility, path constraints are progressively tightened across the prediction horizon. An isoperimetric reformulation of the constraints is used to prevent inter-sample violations. The resulting MVOCP is a nonconvex program, which is solved via sequential convex programming. The proposed approach is evaluated in a high-fidelity ephemeris model under uncertainties for a formation along the near-rectilinear halo orbit (NRHO), and subject to path constraints on inter-spacecraft separation and relative Sun phase angle. The results demonstrate maintenance of a spacecraft formation that satisfies the path constraints with realistic cumulative propellant consumption.

eess.SY

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach

In this paper, we investigate the probabilistic formal verification of stochastic dynamical systems over continuous state spaces. Motivated by problems in state estimation and information-flow security, we introduce the notion of observational properties, which characterize the inferences an external observer can draw from system outputs. These properties are formulated as probabilistic hyperproperties based on HyperLTL over finite traces, yielding a unified framework that subsumes several existing notions studied separately in the literature. We reduce the verification problem to reachability analysis over an augmented structure that integrates the system dynamics with an automaton representation of the specification. Building on this construction, we develop stochastic barrier certificates that provide probabilistic guarantees for property satisfaction while avoiding explicit state-space discretization. The effectiveness of the proposed framework is demonstrated through a case study.

eess.SY