Synthesis Of Stochastic Systems Research Articles

Data-driven verification and synthesis of stochastic systems via barrier certificates

Data-driven verification and synthesis of stochastic systems via barrier certificates

Software tools for analysis and synthesis of stochastic systems with high availability (XVI)

Software tools for analysis and synthesis of stochastic systems with high availability (XVI)

Software tools for analysis and synthesis of stochastic systems with high availability (XV)

Software tools for analysis and synthesis of stochastic systems with high availability (XV)

Software tools for analysis and synthesis of stochastic systems with high availability (XIII)

Article is dedicated to methodological support and software tools for analysis and synthesis of stochastic systems with high availability at nonstationary (e.g. shock) disturbances. The methodology is based on Haar wavelet expansions and wavelet canonical expansions. Theory of vector complex statistical criterion is developed. Basic general vector algorithm is for complex statistical criteria worked out. Partial algorithm in case of parameters linear approximation and additive vector noises is given. Special section is devoted to software tools. Test examples and computer experiments. For shock disturbances wavelet technologies have evident advantages. Results were used for accuracy analysis and optimization in case of vector complex statistical criteria in shock stochastic information-control system with high availability.

Software tools for analysis and synthesis of stochastic systems with high availability (XI)

The article proceeds the thematic cycle dedicated to software tools for stochastic systems with high availability (StSHA) functioning at shock disturbances (ShD) and is dedicated to wavelet synthesis according to complex statistical criteria (CsC). Short survey concerning corresponding works for mean square criteria (msc) is given. In Sect.1 basic CsC definitions and approaches are given. Sect. 2 dedicated to CsC wavelet necessary and sufficient conditions of optimality for scalar non-stationary shock StSHA (StSSHA). Methodological support is based on Haar wavelets. Sect. 4 and Sect.5 are devoted to CSK optimization ShStSHA (basic wavelet equations, algorithms, software tools and example). Several advantages of wavelet algorithms and tools are described and stated for complex ShD. Some generalization of CsC algorithms based on wavelet canonical expansion of StP in ShStSHA mentioned.

Software tools for analysis and synthesis of stochastic systems with high availability (XII)

The article proceeds the thematic cycle dedicated to analysis and synthesis for mean square criteria software tools for vector nonstationary (e.g. shock disturbances) linear stochastic systems with high availability (StSHA). Methodological support is based on Haar wavelet expansions (WLE) and wavelet canonical expansions (WLCE). Sect.1 is dedicated to problems statements. General basic algorithm is given in Sect. 2. Algorithms for StSHA with linear parameters and additive noises based on WLE and WLCE are described in Sect.3. Software tools in MATLAB are considered in Sect. 4. For typical shock disturbances bank of algorithms is developed. Complex of examples is given in Sect.5. Some generalizations are presented.

Software tools for analysis and synthesis of stochastic systems with high availability (XV)

Software tools for analysis and synthesis of stochastic systems with high availability (XV)

Software tools for analysis and synthesis of stochastic systems with high availability (XIV)

Paper presents the new multi-memetic modification of the Mind Evolutionary Computation (MEC) algorithm with the incorporated landscape analysis (LA) for solving global optimization in problems complex highly available systems (HAS). The proposed landscape analysis is based on the concept of Lebesgue integral and allows one to divide objective functions into three categories. Each category suggests a usage of specific hyper-heuristics for adaptive meme selection. The new algorithm and its software tools were utilized to solve an optimal control problem for the epidemic’s propagation model, based on the SIER model with pulse vaccination. Results of the numerical experiments demonstrate a significant influence of vaccination’s start time, frequency and intensity on the maximum number of infected individuals. Results of the numerical experiments demonstrate a significant influence of vaccination’s start time, frequency and intensity on the maximum number of infected individuals. The proposed algorithm helped to find and the optimal vaccination schedule in order to minimize the number of infect-ed individuals while also maintaining the volume of the utilized vaccine at the low level.

Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions

Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions