Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances

In this article, we propose a robust tube-based MPC formulation for a class of hybrid systems, namely autonomously switched PWA systems, with bounded additive disturbances. The term tube-based refers to those control techniques whose objective is to maintain all possible trajectories of the uncertain system inside a tube which is a set around the nominal (or reference) system trajectory, that is free from disturbances. Common methods in tube-based control systems consider an error dynamical system as the difference between the state of the nominal system and the state of the perturbed system. However, this definition of the error dynamical system leads to a complicated switched affine system for PWA systems. Therefore, we use a new notion of the reference system similar to the nominal system except that the switching between the various modes of the PWA system is driven by the state of the real system. Using this reference system instead of the nominal system leads us to an error dynamical system that can be modeled as a switched linear system. We employ a switched linear controller to stabilize this error system under arbitrary switching. This auxiliary controller forces the states of the uncertain system to remain in a tube confined to the invariant set around the state of the reference system. We add new constraints and tighten some other constraints of the nominal hybrid MPC for the reference system, in order to ensure convergence of the uncertain system and to guarantee robust exponential stability of the closed-loop system.     

Singularity Structure of Third-Order Dynamical Systems. II

The singularity structure of the solutions of a general third-order system, with polynomial right-hand sides of degree less than or equal to two, is studied about a movable singular point. An algorithm for transforming the given third-order system to a third-order Briot–Bouquet system is presented. The dominant behavior of a solution of the given system near a movable singularity is used to construct a transformation that changes the given system directly to a third-order Briot–Bouquet system. The results of Horn for the third-order Briot–Bouquet system are exploited to give the complete form of the series solutions of the given third-order system; convergence of these series in a deleted neighborhood of the singularity is ensured. This algorithm is used to study the singularity structure of the solutions of the Lorenz system, the Rikitake system, the three-wave interaction problem, the Rabinovich system, the Lotka–Volterra system, and the May–Leonard system for different sets of parameter values. The proposed approach goes far beyond the ARS algorithm.     

Optimal burn-in for maximizing reliability of repairable non-series systems

Burn-in is a manufacturing process applied to products to eliminate early failures in the factory before the products reach the customers. Various methods have been proposed for determining an optimal burn-in time of a non-repairable system or a repairable series system, assuming that system burn-in improves all components in the system. In this paper, we establish the trade-off between the component reliabilities during system burn-in and develop an optimal burn-in time for repairable non-series systems to maximize reliability. One impediment to expressing the reliability of a non-series system is in that successive failures during system burn-in cannot be described precisely because a failed component is not detected until the whole system fails. For approximating the successive failures of a non-series system during system burn-in, we considered two types of repair: minimal repair at the time of system failure, and repair at the time of component or connection failure. The two types of repair provide bounds on the optimal system burn-in time of non-series systems.     

非线性方程组的一种解法

文中给出了求非线性方程组的一种解法；它找到一个变换，可使原方程组变换成一个新的方程组，通过求变换后方程组的解求得原方程组的解．     

Finite-dimensional representation of delay systems

It is shown that given a state delayed system, one can construct a finite-dimensional system whose partial state replicates the response of the delay system up to a small solution of the homogeneous delay system. Thus, in the absence of small solutions, the response of the delay system can be exactly replicated by a finite-dimensional system. reserved.     

模块化可靠性系统的Signature计算方法研究

系统Signature是体现结构设计优良性的一组向量,描述系统设计对系统故障率的影响,在诸如系统可靠性指标分析、系统设计、系统寿命比较、寿命极限行为以及系统设计优化等方面展现出了强大的功能,成为可靠性研究领域越来越强有力的研究工具。而如何求解一个系统的Signature往往成为分析的关键一步,当系统庞大而复杂时,Signature计算难度将随着元件数目的增加呈指数增加,出现维数爆炸问题,这无疑对后续的分析造成巨大的障碍. 本文为了解决此问题,建立了基于模块化思想的系统Signature求解方法,并给出了基于模块化思想的模块化串、并联系统与模块化备份系统的求解方法,对比于传统算法,运用模块化思想大大减少了计算Signature的复杂度,能够有效减小计算量,缩减计算时间,并拓展了可求解Signature的系统范围。     

Randomized system trajectories

The notion of system trajectory of a time-varying input-output, dynamical system is reviewed. By introducing a probability measure on a class of such systems a stochastic system, the randomized system, is defined. The randomized system has a trajectory induced by the trajectories of the original systems. A theorem is proved giving fairly general conditions under which the randomized system trajectory is generated by a strongly continuous semigroup of bounded linear operators in a Banach space. An example is presented for a system represented by a quadratic integral operator.Research supported in part by National Science Foundation under Grant No. ECS-8005960.     

Reduced systems in Markov chains and their applications in queueing theory

A reduced system is a smaller system derived in the process of analyzing a larger system. While solving for steady-state probabilities of a Markov chain, generally the solution can be found by first solving a reduced system of equations which is obtained by appropriately partitioning the transition probability matrix. In this paper, we catagorize reduced systems as standard and nonstandard and explore the existence of reduced systems and their properties relative to the original system. We also discuss first passage probabilities and means for the standard reduced system relative to the original system. These properties are illustrated while determining the steady-state probabilities and first passage time characteristics of a queueing system.     

Bifurcation of limit cycles at the equator for a class of polynomial differential system

In this paper, center conditions and bifurcation of limit cycles from the equator for a class of polynomial system of degree seven are studied. The method is based on converting a real system into a complex system. The recursion formula for the computation of singular point quantities of complex system at the infinity, and the relation of singular point quantities of complex system at the infinity with the focal values of its concomitant system at the infinity are given. Using the computer algebra system Mathematica, the first 14 singular point quantities of complex system at the infinity are deduced. At the same time, the conditions for the infinity of a real system to be a center and 14 order fine focus are derived respectively. A system of degree seven that bifurcates 13 limit cycles from the infinity is constructed for the first time.     

Model Dirac-Maxwell equations with pseudounitary symmetry

We introduce a new system of equations called a model system of Dirac-Maxwell equations, reproducing the main properties of the standard system. At the same time, the model system of equations differs from the standard system in several ways; in particular, it is a tensor system and has a new symmetry with respect to the pseudounitary group. We also propose a version of the model system of Dirac-Maxwell equations with local (gauge) pseudounitary symmetry. We show that any spinor solution of the standard system of Dirac-Maxwell equations can be obtained from the corresponding tensor solution of the model system. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 3, pp. 425–435, December, 2008.     

On a Stochastic Survival Model for a System Under Randomly Variable Environment

In many cases, the survival probability of a system depends not only on the intrinsic characteristic of the system itself but also on the randomly variable external environment under which the system is being operated. In this paper we study a stochastic survival model for a system under random shock process which affects the survival of the system in a complicated way. The lifetime distribution of the system is derived, and the effect of environmental factors on the failure process of the system is also investigated.     

Subsymmetries and Their Properties

We introduce a subsymmetry of a differential system as an infinitesimal transformation of a subset of the system that leaves the subset invariant on the solution set of the entire system. We discuss the geometric meaning and properties of subsymmetries and also an algorithm for finding subsymmetries of a system. We show that a subsymmetry is a significantly more powerful tool than a regular symmetry with regard to deformation of conservation laws. We demonstrate that all lower conservation laws of the nonlinear telegraph system can be generated by system subsymmetries.     

Bifurcation of limit cycles at the equator

This paper studies center conditions and bifurcation of limit cycles from the equator for a class of polynomial differential system of order seven. By converting real planar system into complex system, we established the relation of focal values of a real system with singular point quantities of its concomitant system, and the recursion formula for the computation of singular point quantities of a complex system at the infinity. Therefore, the first 14 singular point quantities of a complex system at the infinity are deduced by using computer algebra system Mathematica. What’s more, the conditions for the infinity of the real system to be a center or 14 degree fine focus are derived, respectively. A system of order seven that bifurcates 12 limit cycles from the infinity is constructed for the first time.     

An efficient coding methods for the two composition types of the Korean alphabet on a MasPar machine

There are two types of composition systems for the Korean alphabet: a combined system and a composite system. This paper describes an efficient coding method for both of these two types. Using this coding method, with the combined system yields about 10.5% code-length savings per a Korean character, while it yields about 45% savings with the composite system. In other words, the coding method produces a better result (i.e. 34.5% better) with the composite system than with the combined system. The simulation has been performed on a MasPar machine having 64 processors. The results show that the combined system achieved a 45.851-fold speedup while the composite system achieved a 47.274-fold speedup.     

On quadratic differential systems with equal reflecting functions

For a two-dimensional quadratic system, we obtain necessary conditions for the existence of a triangular quadratic system with the same Mironenko reflecting function as the original system. We suggest an algorithm that permits establishing the coincidence of the reflecting functions of a quadratic nonstationary system and some stationary system.     

交通运输系统协调发展理论与模型研究

提出了交通运输系统协调度的评价分析模型.从系统论的观点出发,提出了交通运输系统协调理论的概念,探讨了交通运输系统随时间而不断演化变迁的规律,给出了交通运输系统协调发展基本步骤;并根据协调学原理,讨论了交通运输系统的协调性问题,提出了系统协调发展模型,对交通运输子系统内部及子系统之间及系统整体的协调发展问题进行了研究,探讨了交通运输可持续发展的系统协调管理过程,为进一步研究交通运输系统的可持续发展奠定了基础.     

Charpit System of Partial Differential Equations with Algebraic Constraints

In this paper the Charpit system of partial differential equations with algebraic constraints is considered. So, first the compatibility conditions of a system of algebraic equations and also of the Charpit system of partial differential equations are separately considered. For the combined system of equations of both types sufficient conditions for the existence of a solution are found. They lead to an algorithm for reducing the combined system to a Charpit system of partial differential equations of dimension less than the initial system and without algebraic constraints. Moreover, it is proved that this system identically satisfies the compatibility conditions if so does the initial system.     

Possibly non-unital operator system structures on a possibly non-unital function system

In this paper, we first give the definition of possibly non-unital function system, which is a characterization of the self-adjoint subspace of the space of continuous functions on a compact Hausdorff space with the induced order and norm structure. Similar to operator system case, we define the unitalization of a possibly non-unital function system. Then we construct two possibly non-unital operator system structures on a given possibly non-unital function system, which are the analogues of minimal and maximal operator spaces on a normed space. These two structures have many interesting relations with the minimal and maximal operator system structures on a given function system.     

Poisson冲击下的$k/n(G)$系统的可靠性分析

本文研究了一类Poisson冲击下的$k/n(G)$系统(即$k$-out-of-$n$: $G$系统). 假定冲击的到达数形成一个参数为$\lambda$的Poisson过程, 且冲击的量服从某一分布. 当每次冲击到达时, 对系统中工作的部件独立地产生影响. 进而假定每一部件以一定的概率故障, 概率值是冲击量的函数. 且各次冲击独立地对系统造成损失, 直到工作部件数少于$k$系统故障为止. 在这些假定下, 我们获得了系统的可靠度函数和系统的平均工作时间. 进一步, 假定系统是可修的, 系统中有一个维修工, 并根据``先坏先修’’的维修规则对故障部件进行维修. 在维修时间服从指数分布的假设下, 系统状态转移服从Markov过程. 对该系统我们建立了状态转移方程, 并求得了系统可用度、稳态下的平均工作时间、平均停工时间和系统失效频率等可靠性指标. 最后, 我们还给出了一个简单例子来演示讨论的模型.     

New types of hyper MV‐deductive systems in hyper MV‐algebras

The notions of a (weak) hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system, a (?, ?; ?)‐ hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relations are investigated (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)