Abstract We propose a generalization of the Butkovskiy's method of control with compact support  allowing to derive exact controllability conditions and construct explicit solutions in control problems for systems with distributed parameters. The idea is the introduction of a new state function which is supported in considered bounded time interval and coincides with the original one therein. By means of techniques of the distributions theory the problem is reduced to an interpolation problem for Fourier image of unknown function or to corresponding system of integral equalities. Treating it as infinite dimensional problem of moments, its L1, L2 and L∞-optimal solutions are constructed explicitly. The technique is explained for semilinear wave equation with distributed and boundary controls. Particular cases are discussed.
Abstract Stability analysis and design for continuous-time proportional plus derivative state observers is presented in the paper with the goal to establish the system state and actuator fault estimation. Design problem accounts a descriptor principle formulation for non-descriptor systems, guaranteing asymptotic convergence both the state observer error as fault estimate error. Presented in the sense of the second Lyapunov method, an associated structure of linear matrix inequalities is outlined to possess parameter existence of the proposed estimator structure. The obtained design conditions are verified by simulation using a numerical illustrative example.
Abstract This paper addresses the problem of navigating an autonomous vehicle using environmental dynamics prediction. The usefulness of the Game Against Nature formalism adapted to modelling environmental prediction uncertainty is discussed. The possibility of the control law synthesis on the basis of strategies against Nature is presented. The properties and effectiveness of the approach presented are verified by simulations carried out in MATLAB.
Abstract The complexity of many biological processes, which, thanks to the development of many fields of science, becomes for us more and more obvious, makes these processes extremely interesting for further analysis. In this paper a quantitative model of the process of macrophage differentiation, which is essential for many phenomena occurring in the human body, is proposed and analyzed. The model is expressed in the language of Petri net theory on the basis of one of the three hypotheses concerning macrophage differentiation existing in the literature. The performed analysis allowed to find an importance of individual factors in the studied phenomenon.
Abstract The efficiency of vibration control in an automotive semi-active suspension system depends on the quality of information from sensors installed in the vehicle, including information about deflection of the suspension system. The control algorithm for vibration attenuation of the body takes into account its velocity as well as the relative velocity of the suspension. In this paper it is proposed to use the Linear Variable Differential Transformer (LVDT) unit to measure the suspension deflection and then to estimate its relative velocity. This approach is compared with a typical solution implemented in such applications, where the relative velocity is calculated by processing signals acquired from accelerometers placed on the body and on the chassis. The experiments performed for an experimental All-Terrain Vehicle (ATV) confirm that using LVDT units allows for improving ride comfort by better vibration attenuation of the body.
Abstract The paper is focused on sensitivity analysis of large-scale models of biological systems that describe dynamics of the so called signaling pathways. These systems are continuous in time but their models are based on discrete-time measurements. Therefore, if sensitivity analysis is used as a tool supporting model development and evaluation of its quality, it should take this fact into account. Such models are usually very complex and include many parameters difficult to estimate in an experimental way. Changes of many of those parameters have little effect on model dynamics, and therefore they are called sloppy. In contrast, other parameters, when changed, lead to substantial changes in model responses and these are called stiff parameters. While this is a well-known fact, and there are methods to discern sloppy parameters from the stiff ones, they have not been utilized, so far, to create parameter rankings and quantify the influence of single parameter changes on system time responses. These single parameter changes are particularly important in analysis of signalling pathways, because they may pinpoint parameters, associated with the processes to be targeted at the molecular level in laboratory experiments. In the paper we present a new, original method of creating parameter rankings, based on an Hessian of a cost function which describes the fit of the model to a discrete experimental data. Its application is explained with simple dynamical systems, representing two typical dynamics exhibited by the signaling pathways.
Abstract A standard solution regarding business process management automation in enterprises is the use of workflow management systems working by the Rule-Based Reasoning approach. In such systems, the process model which is designed entirely before the implementation has to meet all needs deriving from business activity of the organization. In practice, it means that great limitations arise in process control abilities, especially in the dynamic business environment. Therefore, new kinds of workflow systems may help which typically work in more agile way e.g. following the Case-Based Reasoning approach. The paper shows another possible solution – the use of emergence theory which indicates among other conditions required to fulfill stimulation of the system (for example the business environment) to run grass-roots processes that lead to arising of new more sophisticated organizing forms. The paper also points the using opportunity of such techniques as the processing of complex events to fulfill key conditions pointed by the emergence theory.
Abstract Using mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for application distribution is proposed. The algorithm minimizes the energy cost of application execution with constrained execution time.
Abstract Atherosclerosis as one of the crucial causes of cardiovascular diseases (CVD) is the leading reason of death worldwide. One of the contributing factors to this phenomenon is endothelial dysfunction, which is associated with the impact of various agents and their interactions. Tobacco smoke is one of the well known factors here. For better understanding of its significance a model of its impact on atherosclerotic plaque formation has been proposed. The model contains selected aspects of the influence of tobacco smoke, dual function of nitric oxide (NO) (influence of various mechanisms on NO bioavailability), oxidative stress which promotes low density lipoproteins oxidation, macrophages significance and other mechanisms leading to an aggravation of the endothelial disturbances. The model has been built using Petri nets theory and the analysis has been based on t-invariants. This approach allowed to confirm the important role of inflammation and oxidative stress in atherosclerosis development and moreover it has shown the considerable influence of the cigarette smoke.
Abstract This paper presents an algorithm for designing dynamic compensator for infinitedimensional systems with bounded input and bounded output operators using finite dimensional approximation. The proposed method was then implemented in order to find the control function for thin rod heating process. The optimal sampling time was found depending on discrete output measurements.
Abstract In this paper there is considered a flexible job shop problem of operations scheduling. The new, very fast method of determination of cycle time is presented. In the design of heuristic algorithm there was the neighborhood inspired by the game of golf applied. Lower bound of the criterion function was used in the search of the neighborhood.
Abstract This paper presents a concept of an Integrated System of Supporting Information Management in Passenger Traffic (ISSIMPT). The novelty of the system is an integration of six modules: video monitoring, counting passenger flows, dynamic information for passengers, the central processing unit, surveillance center and vehicle diagnostics into one coherent solution. Basing on expert evaluations, we propose to present configuration design problem of the system as a multi-objectives discrete static optimization problem. Then, hybrid method joining properties of weighted sum and ε-constraint methods is applied to solve the problem. Solution selections based on hybrid method, using set of exemplary cases, are shown.