Open access peer-reviewed chapter - ONLINE FIRST

Probabilistic Modeling, Estimation and Control for CALS Organization-Technical-Economic Systems

By Igor Sinitsyn and Anatoly Shalamov

Submitted: April 8th 2019Reviewed: June 13th 2019Published: July 15th 2019

DOI: 10.5772/intechopen.88025

Downloaded: 86

Abstract

Theoretical propositions of new probabilistic methodology of analysis, modeling, estimation and control in stochastic organizational-technical-economic systems (OTES) based on stochastic CALS informational technologies are considered. Stochastic integrated logistic support (ILS) of OTES modeling life cycle (LC), stochastic optimal of current state estimation in stochastic media defined by internal and external noises (including specially organized OTES-NS (noise support) and stochastic OTES optimal control) according to social-technical-economic-support criteria in real time by informational-analytical tools (IAT) of global type are presented. OTES-CALS are nonlinear and continuous-discrete. So we use approximate methods of normal approximation of probabilistic densities both for modeling and estimation. Spectrum of possibilities may be broaden by solving problems of OTES-CALS integration for existing markets of finances, goods and services. Analytical modeling, analysis, parametric optimization and optimal stochastic processes regulation in limits of illustrate some technologies and IAT given plans.

Keywords

  • continuous acquisition logic support (CALS)
  • estimation control
  • planning and management technologies
  • modeling and analysis technologies
  • organizational-technical-economic systems (OTES)
  • stochastic systems (StS)

1. Introduction

Probabilistic foundations of one of the modern directions in the field of after sale product service—integrated logistic support (ILS) are systematically treated. Stochastic continuous acquisition logic support (CALS) is the basis of ILS functioning in the presence of noises and stochastic factors in organizational-technical-economic systems (OTES). While spelling this chapter we firstly tried to explain reader the new approaches for creation informational technologies (IT) of modeling, optimal data processing in stochastic systems (StS) for high-quality manufacturing products (MP). Secondly, we consider optimization problems for complex of enterprises being part of virtual enterprise (VE).1 In broad sense VE presents geographically distributed OTES whose consolidated budget at fixed time period is divided between two basic structure types of VE. First structure is responsible for MP creation and production with given functional and exploitational-technical qualities.2 Second structure is responsible for professional quality and staff life quality (professional skills, medical services, etc.). In this case OTES criteria for complex optimal OTES control3 are defined by the social-technical-economic efficiency indicators. Such indicators depends on the resources costs at required quality of basic processes in both structures during life cycle (LC).

Besides standard ILS problems solving by such OTES systems modern IT provides deep OTES integration in general structures of local and global markets of finances, goods and services (FGS).

New approaches for OTES control are based on the probabilistic methodology for analytical modeling of stochastic processes coming from stochastic nature of internal and external noises. Special attention is paid to stochastic noises generated by injurious OTES-NS (noise supplier).

In the modern ILS models and strategies ERP (enterprise resource planning) and MRP2 (manufacturing resource planning) only statically deterministic mathematics is used for solving planning problems. Unlike the existing methodology the suggested stochastic methodology firstly takes into account stochastic optimal planning processes dynamics and secondly performs current operative control using modern methods of stochastic analysis, modeling and estimation (filtering, for casting, identification, etc.) and control methods and technologies [1, 2, 3, 4]. It gives opportunity to raise the level and the quality of OTES control by means of informational-analytical tools (IAT). There tools are being global control VE net based on CALS principles and technologies. Stochastic imitational models and complex imitational models give the opportunity to estimate the accuracy of analytical models and solve problems of optimal data processing and control in high dimensional and fast OTES-CALS.

Stochastic CALS methodology was firstly developed in [5] for modeling and analysis. Let us consider the development the stochastic estimation and control problems. We hope that these approaches will be useful for probabilistic systems engineering [6].

2. CALS technologies and OTES

According to contemporary notions in broad sense ILS being the CALS basis represents the system of scientific, design-project, organization-technical, manufactural and informational-management technologies, means and fractional measures during LC of high-quality MP for obtaining maximal required available level of quality and minimal product technical exploitational costs.

Contemporary ILS standards [7, 8, 9, 10, 11, 12] being CALS vanguard methodology not in the right measure answer necessary purposes. CALS standard, have as debatable achievements and the following essential shortcomings:

  • informational-technical-economic models being not dynamical;

  • integrated data base (DB) for analysis of logistic support (ALS) is super plus on one hand and on the other hand does not contain information necessary for complex through cost life cycle (CLC) estimation according to modern decision support algorithms;

  • computational algorithms for various LC stages are simplified and do not permit forecasting with necessary accuracy and perform optimal control at conditions of internal and external noises and stochastic factors.

So ILS standards do not provide the whole realization of advantages for modern and perspective IT including staff structure in the field of stochastic modeling and control of two interconnected spheres: techno-sphere (technics and technologies) and social ones. These systems form the new the system class: OTES-CALS systems. Such systems destined for the production and realization of various services including staff structure, engineering and other categorical works providing exploitation, after sales MP support and repair, staff, medical, economical and financial support of all processes. New developed approach is based on the new stochastic modeling and control IT (Figure 1). These technologies are based on generalized social-technical-economic efficiency indicators for LC processes in comparison with usual CALS standards.

Figure 1.

Integrated modeling, estimation and control technologies for cost life cycle control in after sale support (ASS) systems.

Research and control object in OTES are processes total LC of homogeneous sets of MP and resources. Special attention is paid to staff as object of professional training, improvement and medical service.

3. Probabilistic modeling and analysis

3.1 Basic elements of OTES stochastic modeling

According to [13, 14] we introduce composite elements (CE) as OTES with the following elements: (1) basic technical means (TM) and TM being part of serving equipment; (2) staff. For creation unique stochastic model of interoperable OTES processes it necessary to define the data set forecasting CLC indicators at given period of exploitation. This set of indicators includes: (1) coefficient of CE performance at planning for given period of exploitation; (2) level of professional and medical readiness; (3) investment readiness. Analogously the technical resources corresponding values of professional, staff health and investment resources are defined. Informational-analytical tools (IAT) perform probabilistic analytical modeling of OTES technical means for after sales servicing (ASS).

Solving problems:

  1. initial data forming;

  2. modeling technical means and exploitation processes;

  3. modeling streams of plan works;

  4. modeling streams of non-plan works;

  5. modeling streams of TM written off CP after random fault when we have exceeding of fixed number of repairs and/or reaching given resource;

  6. modeling spare parts (SP) accumulation processes on stores;

  7. modeling of SP delivery processes from stores into exploitation system;

  8. cost modeling of after sales CP supply at given period of TM exploitation according payments items;

  9. forming total cost model of TM after sale processes for whole CP list at given period of exploitation and providing given level of TM park.

In addition it is possible to give analogous list of problems for modeling staff and medical services.

3.2 Structural schemes of state change streams

State graph of TM, graph of equipment infrastructure and state staff graph are the basis of stochastic OTES-CALS model. For example, let us consider (Figure 2) basic CP state graph. This graph is constructed in accordance with basic LC processes for TM and OTES infrastructure for each CP. Being CP in any states that corresponds the definite costs of various resources and the total production value. This production value must be the object of monitoring and statistical data processing for estimation of probability characteristics (means, probabilistic moments, distributions, etc.). For each CP being the part of aggregate with the help special technologies are sequentially aggregated for final product (FP).

Figure 2.

Basic graph of TM state, professional level and staff health state.

Main modeling stage of usage and service processes consists in probabilistic forecast of main indicators final values: sum of production costs and technical readiness level for OTES-CALS technical means maintenance at given time period. Thus, graph (Figure 2) must be supplemented additional graph for calculating integrals cost values at this time period according to [14] recommendations.

Vertex of basic graph maps CP current LC states in two level operational capability:

  1. CP is on the stock in amount X1t;

  2. CP service able exploiting in aggregate in amount of X2t

  3. CP is at user repair (first level) in amount X3t;

  4. CP is written off part and utilized in amount X4t;

  5. CP is at routine maintenance in amount X5t;

  6. CP is in factory repair (second level) at supplier in amount X6t;

  7. CP is in capital repairs at supplier in amount X7t.

Graphs edges describe CP transition direction at states changes. Parameters pijtare transition intensities from one state to another. Values U1tjreflect the discrete filling process of the store by SP at time moments tj,j=1,2,for providing technical readiness of TM. In general case value and time moment of replenishment are random. These factors must be taken into consideration in LS for OTES-CALS model development. Basic graph of TM state, professional level of staff and health state are given on Figure 2.

The developed methodology is unique as for modeling TM and OTES-CALS dynamical staff potentials. Therefore, for constructing unique forecasting costs of staff potential the stochastic model it is necessary to apply developed integrated approach for description and modeling professional level personal health state [14, 15].

3.3 Stochastic processes and equations for OTES-CALS

Let us consider basic elements of stochastic OTES-CALS modeling and analysis using Figure 3 for after sales maintenance support system.

Figure 3.

General state graph for after sales maintenance support system.

Vertex of graph (Figure 3) corresponds 1,2,,nstates, where of the same type resource be. Let current amount of resources be X1t,,Xnt, Xt=Xt1XtnT. Graphs edges corresponds transition of resources from state to state hkh=12nknat random time moments forming Poisson streams transition events properly. Find some of resources states corresponding in queuing system for repeatedly recovery. General capacity is defined by the number of channels and being essentially nonlinear intensity4 function depending on the amount of input resource units. This fact is mapped by ρkhXt. In general case this nonlinear function has vector argument.

Stochastic equations and corresponding algorithms of analytical modeling for mathematical expectation m=mt, covariance matrix θ=θtand matrix of covariance functions Kt1t2are as follows [5]:

dX=φXtdt+R0qcXvtPdvdt=φXtdt+k,h=0nR0qSkhTvkhXtPdvkhdt,Xt0=X0,E1
ṁ=MφXt+,mt0=m0,θ̇=MφXt+X0T+X0φTXt+ρTSТ+SdiagρSТ,θt0=θ0,Kt1t2t2=M{X10φTX2t2+ρTX2t2SТ,Kt1t1=θt1.E2

Hence Mis symbol of mathematical expectation; Pis symbol of probabilistic measure; Xand X0are noncentered and centered state vectors; φXttis in general vector nonlinear function reflecting current value of OTES-CALS efficiency criterion; Svstructure matrix of Poisson streams of resources (production) with values vaccording to state graph; Sиv=suk1vuksukngvukis u-row of matrix Sv; ρis the intensity vector.

Forming the structure matrix S=Skhfor OTES-CALS (Figure 2) is shown in Table 1.

Table 1.

Forming the structure matrix S.

Column 1. Transition direction in system graph. Total amount of rows is equal to amount transitions—m; amount of columns is equal to states amounts—n(graph vertex); two servicing columns: first and n+2.

Column 2—n+1. Values of intensities of transition—ρkh.

So columns from 2 till n+1presents m×nmatrix Sand column under number n+2is mdimensional vector with intensity vector ρ.

Equation ((2) are approximate and valid at conditions of normal (Gaussian) approximation method. For raising the accuracy of analytical modeling and analysis methods of probabilistic distributions (moments, semi-invariants, coefficients of orthogonal expansions of densities) [2, 3] may be used.

The developed ordinary differential equations with initial conditions may be used for basic risk problems of systems engineering [6].

3.4 Modeling and analysis of aircraft vehicles park life cycle

Following [16] let us consider informational-analytical tools (IAT) for aircraft vehicle park modeling and control by technical-economic efficiency criteria after sales maintenance products (ASMP).

IAT modular includes:

  • normative data base (DB) of passported aggregates;

  • operative DB;

  • forecasting processes block for ASMP;

  • optimization block of delivery programs (annual application);

  • catalog of codified items supply.

3.4.1 Normative DB (NDB)

According to contract supplier creates NDB according to standards DEFSTAN 00-600, S1000D, S2000 M and specifications S1000D, S2000 M. For IAT acceleration there are designed emulated DB (DBE) in the form of additional tables. Information from NDB automatically comes into DBE. These data characterize:

  • interrepair resource of final MP (FMP) and CP;

  • mean duration of capital repair (CR) of FMP and CP;

  • mean capacity of CR of FMP;

  • tone between scheduled services of FMP and CP;

  • mean duration of regulation works (RW) of FMP and CP;

  • mean capacity of RW for FMP;

  • fix resource (lifetime) of FMP and CP;

  • fixed resource till first and next repair of FMP;

  • CP price;

  • MP mean time to first failure;

  • mean capacity of MP operative repair (OR);

  • mean duration of OR;

  • mean capacity of overhaul repair (OHR);

  • mean duration of OHR;

  • sign of availability;

  • CP maximum number of repairs;

  • sign of repairing indication after fixed resource.

3.4.2 Data base monitoring

According to contract software tools as operative DB (ODB) is filling in accordance with corresponding instruction of annual planning.

For current application the following information is formed:

  • planning time period;

  • actual amount of FMP;

  • amount of no repaired of FMP;

  • amount of repaired FMP;

  • amount of FMP being in capital repair (CR);

  • required coefficient of good condition;

  • CP mean annual planning lifetime;

  • CP mean time to first failure;

  • CP frequency of overhaul (OHR);

  • mean capacity of regulation works (RW);

  • mean cost of the first technical service;

  • CP surplus in store.

3.4.3 Forecasting block of ASS processes

Corresponding software tools are described by mathematical model of park state changes amount of FMP and CP during fixed period of exploitation, material-technical technical service and types of repairs.

Output forecasting characteristics are the following:

  • coefficient of technical readiness along the park for each CP (0…1);

  • delivery cost of SP along CP parks;

  • coefficient of technical readiness for FMP park;

  • delivery cost of SP along FMP park;

  • cost of ASS for LC cost estimation.

3.4.4 Optimization block for annual application

This software tool is destined for automatic work with delivery list SP for forming SP optimal program for any fixed time period of exploitation (including annual application) providing given level of technical readiness of FMP park at conditions of minimal purchasing price.

Structure of initial parameters includes:

  • calculating reliability or exploitation for each CP;

  • repairing system for each component (period, duration of works, etc.);

  • service prices (repair and delivery);

  • annual budget for CP repair and SP delivery;

  • level of price escalation for planning time period;

  • regular amount of FMP;

  • CP real mean lifetime;

  • amount of CP and FMP being in repair;

  • planning time period (from 1 year to lifetime);

  • planning annual lifetime FMP and CP;

  • required level of technical readiness coefficient.

Among the cost parameters there are specified the following ones: annual budget, price of one CP, price of one CP repair. For each characteristic, annual escalation price coefficient is fixed.

Replenishment and repair programs are optimal if SP superplus on store are minimal. It is equivalent to cost supply minimum.

The received in computer experiments optimal programs are calculated for grant support of fixed level of readiness during exploitation time period at conditions of minimal sufficient budget which is determined in optimization process. In the case of the optimization delivery program at conditions of wittingly restricted budget the developed programs provide readiness level. This level is being maximally close to given value.

Let us demonstrate designed “Optimization SASS, Version 2.0” IAT for prognosis and optimization in various regimes. Figures 46 corresponds search regime SP delivery program and repair capacity in years of planning time period for support fixed level of repair characteristic—0,75 (Figures 4 and 5) at minimally sufficient budget. As the result of optimal search program (Table 2) the following programs were obtained:

  • for SP delivery (0, 0, 1, 3, 4, 5, 6, 6, 6) (in things);

  • for CP repair capacity (21, 23, 23, 20, 20, 20, 20, 21, 22) (in years−1).

Figure 4.

Mean coefficient of serviceability (minimal adequate budget).

Figure 5.

Dynamics of costs and appropriations (minimal adequate budget).

Figure 6.

Mean coefficient of serviceability (wittingly restricted budget).

Table 2.

Optimization results (restricted budget wittingly).

General costs for delivery and repair are equal to $7150 at total budget $6947. Dynamics of costs and appropriations are given on Figure 5. Evidently, maximal costs are being repair costs. The repair costs are economically sound at given price ratio. Repair coefficient full during 4 years of exploitation is explained by the fact that the maintenance of repair coefficient is unprofitable during period when its value exceeds given level. It is obvious that CP repair begins with outset of exploitation period but SP purchasing after 4 years of exploitation.

Figures 6 and 7 corresponds programs of search of delivery and repair at conditions of financial restrictions. In this case general delivery and costs do not exceed annual budget and also whole planning time period. But it is impossible to deduct repair coefficient at 0,75 level (Figure 6). Optimal programs at the level of repair coefficient equal to 0,66 for the end of time period are given on Table 3. In this case budget restrictions are valid. Therefore, we have the following programs:

  • for SP delivery (0, 0, 1, 1, 2, 3, 2, 9, 14) (in things);

  • for CP repair capacity (21, 23, 23, 19, 18, 18, 17, 2, 0) (years−1).

Figure 7.

Program of delivery and repair (restricted budget wittingly).

Table 3.

Optimization results (wittingly restricted budget).

General costs are approximately equal 5860 $ at total budget 5788 $. Optimal dynamics of delivery and repair costs are given on Figure 7.

4. Probabilistic optimal estimation and control

4.1 Optimal estimation

Nowadays such IT as filtering, extrapolation, identification, etc., are widely used in technical applications of complex systems functioning in stochastic media. These IT are based on statistical data analysis, modeling and estimation and gives only statistical estimates [2, 3, 4]. For OTES-CALS we have latent specially supported noises. Following [17, 18, 19, 22] let consider optimal filtering IT for special class of OTES using example 1.

Example 1. Let us consider typical OTES as system of after sales servicing (SASS). This system provides maintenance of technical readiness given level for MP park at quality conditions. Corresponding costs are fixed in bookkeeper documentation. Let us name it by “real” bookkeeper. In case of some types of noises it is possible to speak about “additional” bookkeeper. This bookkeeper is generated by fictional SASS for reserved taking out of the surplus of finances. On Figure 8 the corresponding scheme is given where:

  • SASS graph is given in upper part of Figure 9, number 1, 2, 3 being the following states: on store, in exploitation, in repair;

  • “additional” graph of SASS generating noises ζibeing fictitious analogs of Хitis given by dashed line in lower part of Figure 8;

  • in the middle part of Figure 8 measuring observation devices are given; zitmeasure parameters and processes on background noise ζi; Х̂itbeing optimal estimates of real processes Хit.

Figure 8.

Structure of stochastic SASS.

Figure 9.

Continuous discrete self-conjugated processes Xt and Ψt.

As it is known from [2, 3, 4] estimation technologies are based on: (1) model of OTES; (2) model OTES-OS (observation system); (3) model OTES-NS (noise support); (4) criteria and estimation methods; (5) filters (estimators) models.

It is required to develop it for the useful processes Xitfiltration from its mixture with processes ζitof system noise.

For solving this problem the linear Kalman filter is used [3, 4]. So we get the following result. Let complex stochastic models OTES, OTES-OS and OTES-NS are described by the following linear differential Equations:

Х̇t=а¯Хt+a1Gt+a2ζt+а0+χxVΩ,E3
Ġt=qDtXt+b2ζt+χgVΩE4
Ḋt=bXt+b¯1Dt+b0+χdVΩE5
ζ̇t=с¯2ζt+c0+χζVΩE6

Hence Хt,Gt,Dt,ζtare OTES, OTES-OS and OTES-NS; qDtis amplification factor of measurement block depending on number of resources in OTES-OS; VΩt=VхТtVgТtVζTtVиTtТis composite noise vector of white noises; χx,χg,χd,χζare matrices of corresponding dimensions. Then equation for optimal linear Kalman filter at qDt=qtwill be

X̂̇t=а¯Х̂t+a1Gt+a2ζt+a0+RtqtTυg1ZtqtX̂t+b2ζtE7

where υgis the matrix of white noise intensities of internal noises OTES-OS and external noises from OTES-NS; ζtis the noise in the form Poisson process in OTES-NS; Rtis the solution of the following Riccati Equation:

Ṙt=a¯Rt+Rta¯T+υхRtqtTυg1qtRtE8

where υхis vector internal OTES noises.

4.2 Optimal control

Modern OTES are class of large scale systems of microeconomics of special type corresponding to five technological structures. These systems satisfy modern standards but need further effective control systems based on stochastic system theory during the whole LC of OTES elements.

Effective control of OTES needs optimal technologies for solution of the following problems:

  • planning stocks of various recourses on the basis of forecasting external and internal demand;

  • planning necessary manufacturing capacity and product delivery system in accordance with expected demand;

  • distribution of finished products;

  • planning loading capacities for repair and service with long work time, etc.

In general, case functional organization and control for the definite processes in OTES we need to solve the following problems:

  • design mathematical models of various variants of logistical systems;

  • work out methods of optimal complex planning of such processes as delivery, production, marketing and transporting of finished products, etc.

At modern design practice logistical systems and in whole OTES of given destination and for functional control known standards MRP/ERP, DEFSTAN 00-600, MIL STD 1388 [7, 8, 9, 10, 11, 12] are used. These standards are typical for relatively stable economics. Such approaches are rested upon deterministic consumer demands models and corresponding local optimization methods implemented only in isolated nodes of logistic and production chains but global OTES optimization. For this reason MRP/ERP approaches cannot permit optimal complex planning LC processes at given period of time with calculating boundaries of proper values. This problem is very important for customer corresponding to profit finances. Deterministic approaches are useful only at conditions of economics with stable state of markets. At stochastic conditions, it is necessary to use corresponding approaches and analysis and synthesis OTES informational technologies based on stochastic models and methods that permit to calculate optimal control strategy.

Control of OTES being the integrated net of enterprises includes: (1) processes planning in accordance with goals and criteria; (2) effective operational (situational) control. The first concerns program control, the second—state regulation. Program control principles are as following: orientation finite goal expressed by goal graph and corresponding efficiency indicators, working restrictions, though planning and order-continuous principle [20, 21].

Basic stages of program control are the following: (1) optimization of resources distribution between goals and frequency of financing; (2) priorities of program separate goals and achievement means; (3) adaptation of program goal to changing external conditions. For one type of production, program control includes planning and adaptive distribution general budget between OTES participants (net nodes) based on stochastic estimation of processes and parameters and adaptation to external processes (noises).

For the stochastic OTES control actions are as follows:

  • streams intensity transition between nodes;

  • parameters of probabilistic distributions values of resources parties or products which involve the intransitions;

  • frequency and size of discrete supply at replenishment (works volume) at calendar services;

  • mean capacity service personal.

Analysis of these control categories shows that first part of control functions is continuous. The second part is discrete time functions (supply plan, plan of resources service and products at calendar plan, etc.). So it is necessary to consider OTES as mixed continuous-discrete stochastic system (StS) and apply probabilistic stochastic methods and IT of analysis, modeling, estimation and control.

Let us consider the basis of OTES filtering.

4.2.1 Problem statement

At first let us consider deterministic multidimensional dynamical system described by the following nonlinear differential and difference equations [1, 5]:

Ẋt=ξXtπtt,E9
Хk=BХk0Uk,Xk=XtkE10

Here Xtis пх×1phase vector; Хk0is the value of Хtprecede tk; πtis the control vector in continuous time; ξ,Bare continuously differentiable пх×1vector functions; t0and tfis initial and terminal time moments; Ukis пи×1dimensional control vector at time moments t0<t1,t2,,tNkttf; X0is initial condition. We choose the following functional Jwhich includes discrete and continuous components representing expenditure functioning and control:

J=k=1NkГХk0Uk+t0tfKXtπttdt+HXfE11

where Г,K,Hare known scalar differentiable functions. It is required to define optimal functions of continuous and discrete control πtand Ukjointly supply minimum for functional J: J=minπt,Ukk=1NkГХk0Uk+t0tfKXtπttdt+HXf. Hence for optimal control functions we have: πtUk=argminπt,UkJ.

4.2.2 General solution

Let us find general solution by variational method [1]. For this purpose we compose mixed (from continuous and discrete functions) Lagrange functional (Lagrangian):

L=t0tfKXtπtt+ΨtTXtdt+k=1NkГХk0Uk+HXf.E12

where variable Ψtis vector indefinite Lagrange multiplier. Vectors variables Ψtand Xthave discontinuity of the first kind at t=tk. At these times Xtis continuous on the right and being continuous on the left from the theory two-point boundary-value problem. We get Ψt(Figure 9) by integration of corresponding equations from tfto t0. So taking into account (9), (10) and considering integrand as generalized function of the following form:

ddtΨtTXt=Ψ̇tTXt+ΨtTẊt+Ψk+0TXkΨkTXk0δttk==Ψ̇tTXt+ΨtTξXtπtt+Ψk+0TBХk0UkΨkTXk0}δttk.E13

After substitution (13) into (12) and using δ-function property we get new expression for functional L:

L=t0tfΞtdt+k=1NkΘk+HXf=t0tfKXtπtt+Ψ̇tTXt+ΨtTξXtπttdt++k=1NkГXk0Uk+Ψk+0TBХk0UkΨkTXk0}+HXf,E14

where

Ξt=KXtπtt+Ψ̇tTXt+ΨtTξXtπttE15
Θk=ГXk0Uk+Ψk+0TBХk0UkΨkTXk0E16

From Lagrangian stationary conditions we have the following algorithms Ψt,Ψk+0from and πt,Uk:

LXt=ΞtXt=KXtπttXt+ξТXtπttXtΨt+Ψ̇t=0E17
Lπt=Ξtπt=KXtπttπt+ξТXtπttπtΨt=0E18
LUk=ΘkUk=ГXk0UkUk+ВТХk0UkUkΨk+0=0E19
LXk0=ΘkXk0=ГXk0UkXk0+ВТХk0UkXk0Ψk+0Ψk=0E20
Ψtf=HXfE21

Relations (17)(21) are necessary optimal control conditions in given continuous-discrete problem. Thus two-point boundary value is described by closed set of Eqs. (9)(14) and Eqs. (17)(21). So from (17), (20) we get equations for Ψt,Ψk+0conjugated with Xt, Хk0. From (18), (19) we get implicit forms for πtand Uk.

4.2.3 Solution of linear-quadratic problem

Consider linear continuously-discrete system [1, 5]:

Ẋt=ξxXt+ξππt,E22
Хk=BxXk0+BuUk,E23

where ξt,ξπare matrix coefficients of, nx×nxand nx×nπdimensions changing at t=tk; Bx,Buare matrices coefficients of nx×nxand nx×пudimensions.

It is given quadratic efficiency criterion:

L=t0tfΞtdt+k=1NkΘk+12XtfTHXtf=t0tf12XtTKtXt+πtTKππt+Ψ̇tTXt+ΨtTξxXt+ξππtdt++k=1Nk12Xk0TГxXk0+UkTГuUk+Ψk+0TBxXk0+BuUkΨkTXk0+12XtfTHXtf,E24

where

Ξt=12XtTKxXt+πtTKππt+Ψ̇tTXt+ΨtTξxXt+ξππtE25
Θk=12Xk0TГxXk0+UkTГuUk+Ψk+0TBxXk0+BuUkΨkTXk0]ΨkTXk0,E26

Kx,Гx,Нtfand Kπ, Гubeing positive semidefinite and positive defined matrices of corresponding dimension. It is required to find optimal algorithm control for linear system described by Eqs. (22)(24). Algorithm of optimal design based state feedback control gives the followings equations:

Ψ̇t=ξxTΨtKxXtE27
Ψtf=HXtfE28
πt=Kπ1ξπTΨtE29
Ψk=BхТΨk+0+ГxXk0E30
Uk=Ги1ВиТΨk+0E31

Algorithm includes: (1) integration in inverse time with initial condition (28) of vector differential Eq. (27) and difference Eq. (30) with data storage in each step; (2) formulae (29), (31) for calculating controls with usage of stored Ψt, Ψk+0. Note that during Eq. (27) integration at time moments t=tk,k=Nf,Nf1,,1step-wise changes Ψtoccur according to Eq. (30).

For reducing two-point boundary problem to ordinary we apply known approach and perform linear change of variables in Eqs. (22)(31):

Ψt=R˜tXtE32
Ψk=R˜kXk0E33
Ψk+0=R˜k+0XkE34

where R˜t, R˜k+0are values of coefficients matrices. These variables are the solutions of continuous and discrete Riccati. These equations are integrated in inverse time. So we get optimal solutions in interconnected continuous and discrete parts of OTES-CALS in the following forms:

πt=Kπ1ξπTR˜tXt,E35
Uk=Гu1BuТR˜k+0I+BuГu1BuТR˜k+01BxXk0.E36

Expansions (35) and (36) define on-line regulator on the basis of known values of phase current vector Xt,Xk0For linear system with quadratic criterion described by the following equations:

Ẋt=ξxXt+ξππt+ξ0tE37
Хk=BxXk0+BuUk,E38

the optimal control πtis expressed by

π=Kπ1ξπTR˜tXt+12gtE39
ġt=R˜tξπKπ1ξπTξxTgt2R˜tξ0t,gtf=0E40

Here ξ0tis constant term; formula for Ukremains similar.

Example 2. For illustration let us consider SASS (Figure 10) for the technological supply process by serviceable CP. On Figure 10 graphs nodes corresponds CP states:

  • CP being in usage stage with amount Xt19;

  • CP being in repair with amount Xt2(after usage);

  • CP being draft out with amount Xt3.

Figure 10.

System state graph.

It is evidently Xt3=N0Xt1+Xt2; ρ12, ρ13being intensity parameters of ordinary CP Poisson streams entering for repair and draft of; πtbeing repair productivity. Time of CP filling up is equal to T.

It is required to determine optimal parameter πtof restoration and optimal volumes Uk=Utk,tk=kTwhich gives minimum to quadratic functional being sum of expenditure costs:

L=α2k=1NUk2+β2t0tfπtdt+δ2Mт1tfγ2E41

Here α,β,γ,δare parameters of functional; т1tfare mathematical expectation of CP remainder at tfready for use; γ=KТГN0mean number of aggregates ready for use; KТГ01being coefficient of technical readiness; N0originate amount of CP.

Is possible to show that at φХt=0mathematical expectation of CP amount and at step-vise X1tis defined by the following equations:

т̇1t=ρ12т1t+πtт2t,т1t0=N0,т̇2t=ρ12т1tπtт2t,т2t0=0,E42
т1,k=т1,k=0+U1k.E43

These mathematical expectations are continuous and discrete variables. This problem being nonlinear because control function πtenters into the right hand of equations in the form of composition with function m2tdepending upon control. So it is necessary to use general problem statement Eqs. (9) and ((1) and expressions (17)(21).

Let us denote.

E44

For conjugated functions from Eqs. (17), (21) and (41) we get:

E45

Than from Eq. (19) follows ψ1t,k+0=ψ1t,k, ψ2t,k+0=ψ2t,k. So the conjugated variables ψ1t, ψ2tare continuous functions.

From Eqs. (18) and (19) we have the following expressions for optimal continuous and discrete controls

πt=1βm2tψ2ψ1,E46
Ukt=1αψ1,k+0.E47

Taking into account that firstly πtimplicitly incoming into right hand of Eq. (42) and Uksecondly Ukand πtimplicitly connected between each other over ψ1,k+0such numerical methods as gradient method may be used [1, 23]. According to gradient method next i+1iteration of πtis calculated by πi+1=πirΔiwhere Δi=βπi+m2tψ2ψ1. Hence the recurrent iteration is calculated by the following expression:

E48

where ris chose from convergence and exactness condition.

Numerical results for m1tand πtare given o Figure 11, Values of jumps m1tat tk=kT,k=1,,fcorresponds to optimal values of deliveries Uk. Values of parameters are: ρ12=0,7ρ13=0,3; N0=100;T=0,5;tf=2;2α=0,5;2β=0,1;2δ0=100;KТГ=0,8.

Figure 11.

Volumes Uk∗ of delivery SP optimized jointly with repair capacity πt∗.

Two main conclusions follows from Figure 11:

  • optimal nonstationary restoring politics Ukand restoring channel capacity goes to γ = 80 at the end t0tf;

  • values Ukare conjugated with πt;

  • by variation α,βwe choose the cost parameters α+β=1type of control depending on cost ratio.

Thus the described restoring politics for given level gives CP owners the opportunity to form separate repair net based on CP order (on supplier side).

Peculiarities of optimal control stochastic continuous-discrete systems with state feedback.

For the linear equations:

Ẋt=ξxXt+ξππt+ξ0t+Vt,E49
Хk=ВxXk0+ВиUk,E50

where Vtis internal noise being white noise (in strict sense) with known probabilistic characteristics acting in continuous channel; Ukis known discrete function depending on control using formulae for linear stochastic regulator synthesis for system (49) and (50) optimal control and separation theorem we come to the following basic algorithm. It includes two steps:

  • optimal deterministic regulator design;

  • calculation of optimal estimates X̂t,X̂k0of (49) and (50) phase vector which is observed in mixture with white noise and substitution into regulator formulae. Exact solution exists only for linear stochastic systems. Using method of normal approximation or statistical linearization [2, 3, 4, 5] relatively to state vector it is possible to get the simple approximate algorithm.

4.3 Optimal planning and control

As it was already mentioned in Subsection 4.1 OTES-CALS includes complex through along LC on-line planning of processes with goals and objectives and given criteria. Program—object planning is the separate part of applied control theory of LS processes for complex high-technology products which ensure solving LS integration tasks enterprises-participants. We introduce virtual enterprise (VE) as a system developing according with given goals, objectives and programs. On-line realization of plans and programs occur in presence on one side internal noises due to control stochastic and on the other hand by external noises from third party and organizations.

Following [2, 3, 4, 23] let us consider optimal regulator for operative control. Within given framework program/plan for OTES-CALS as VE functioning in stochastic media using social-technical-economic effectiveness criteria. We use probability filtering theory based on Kalman and Pugachev filters [2, 3, 4]. Optimal stochastic regulator (Figure 12) is designed on the basis of the partition theorem. So at first it is necessary to design optimal regulator and then filter for reducing noises.

Figure 12.

Optimal stochastic regulator.

Using Kalman filtering theory [2, 3, 4] for linear continuous-discrete OTES-CALS we get the following equations for stochastic optimal continuous-discrete regulator:

Filter equations

X̂̇t=а¯Х̂t+a2ζt+а0+RtqtTυz1ZtqtX̂t+b2ζt+ξππtE51
Х̂k=BxX̂k0+BxUkE52
Ṙt=a¯Rt+Rta¯T+υхRtqtTυz1qtRtE53

where Zt=Ġt, υхis matrix of in OTES-CALS internal noises intensities; υzis matrix of OTES-OS and OTES-NS intensifies of noises; R0=МX0X̂0X0X̂0Tis initial conditions for Eq. (53). Direct time integration of Riccati Eq. (54) is used.

Regulator equations:

πt=Kπ1ξπTR˜tX̂t+12gt,E54
ġt=R˜tξπKπ1ξπTξxTgt2R˜ttа2ζt,gtf=0E55
Uk=Гu1BuТR˜k+0I+BuГu1BuТR˜k+01BxX̂k0,E56

Auxiliary equations:

R˜t=R˜tξxξxTR˜t+R˜tξπKπ1ξπTR˜tKx,R˜tf=HtfE57
R˜k=ВхТR˜k+0I+ВиГи1ВиТR˜k+01Вx+KxE58

Inverse time integration of Riccati Eqs. (57) and (58) is needed Eq. (51). The continuous-discrete Kalman filter equations are inter connected with regulator equations (Figure 12).

At last we get equations describing OTES-CALS dynamics with optimal continuous-discrete regulator insuring minimal deviation from given plan during given time interval [t0,tf]

Ẋt=а¯Xt+a2ζtξπKπ1ξπTR˜tX̂t+12gt,E59
Хk=ВxXk0BuГu1BuТR˜k+0I+BuГu1BuТR˜k+01BxX̂k0E60

where ζtis external noise from OTES-NS also acting on OTES-OS.

So the design of OTES-CALS includes two stages:

  • solution of connected Eqs. (57) and (58) in inverse time with time fixation of coming current data massive;

  • solution of differential Eqs. (51)(53) and (55) in direct time using earlier fixed data and with substitution Eqs. (54) and (56).

5. Conclusion

The suggested probabilistic methodology for OTES-CALS allows to solve:

  • problems of systems analysis, risk prognosis substations of forestall measures stability of extraction of latent effects on the basis of stochastic analytical modeling for applied LC problems;

  • problems of optimal estimation and control on the basis probabilistic estimation and control methods.

Such systems are industrial, energetical, transport systems, financial and economic systems, insurance companies, etc.

Optimization being realized using social-technical-economic criteria. This permits to optimize project budgets for providing given quality MP and OTES-CALS staff potential.

Acknowledgments

The authors would like to thank Federal Research Center “Computer Science and Control of Russian Academy of Sciences” for supporting the work presented in this chapter.

Authors much obliged to Mrs. Irina Sinitsyna and Mrs. Helen Fedotova for translation and manuscript preparation.

Notes

  • Virtual enterprise is such an enterprise that consolidates geographically separated economical subjects and interact in the process mutual production using chiefly electronical communicational means.
  • Functional product quality means how technical MP answers the functional purpose, exploitation, maintenance and repair. Exploitational-technical quality of MP is defined as adjustment to control, support and restoration during MP lifetime.
  • OTES control is being business process management (BPM).
  • Stream of random events intensity is being mean number of events per time unit.

Download

chapter PDF

© 2019 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Igor Sinitsyn and Anatoly Shalamov (July 15th 2019). Probabilistic Modeling, Estimation and Control for CALS Organization-Technical-Economic Systems [Online First], IntechOpen, DOI: 10.5772/intechopen.88025. Available from:

chapter statistics

86total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us