scholarly journals Stability of the Bipartite Matching Model

2013 ◽  
Vol 45 (02) ◽  
pp. 351-378 ◽  
Author(s):  
Ana Bušić ◽  
Varun Gupta ◽  
Jean Mairesse

We consider the bipartite matching model of customers and servers introduced by Caldentey, Kaplan and Weiss (2009). Customers and servers play symmetrical roles. There are finite sets C and S of customer and server classes, respectively. Time is discrete and at each time step one customer and one server arrive in the system according to a joint probability measure μ on C× S, independently of the past. Also, at each time step, pairs of matched customers and servers, if they exist, depart from the system. Authorized matchings are given by a fixed bipartite graph (C, S, E⊂ C × S). A matching policy is chosen, which decides how to match when there are several possibilities. Customers/servers that cannot be matched are stored in a buffer. The evolution of the model can be described by a discrete-time Markov chain. We study its stability under various admissible matching policies, including ML (match the longest), MS (match the shortest), FIFO (match the oldest), RANDOM (match uniformly), and PRIORITY. There exist natural necessary conditions for stability (independent of the matching policy) defining the maximal possible stability region. For some bipartite graphs, we prove that the stability region is indeed maximal for any admissible matching policy. For the ML policy, we prove that the stability region is maximal for any bipartite graph. For the MS and PRIORITY policies, we exhibit a bipartite graph with a non-maximal stability region.

2013 ◽  
Vol 45 (2) ◽  
pp. 351-378 ◽  
Author(s):  
Ana Bušić ◽  
Varun Gupta ◽  
Jean Mairesse

We consider the bipartite matching model of customers and servers introduced by Caldentey, Kaplan and Weiss (2009). Customers and servers play symmetrical roles. There are finite sets C and S of customer and server classes, respectively. Time is discrete and at each time step one customer and one server arrive in the system according to a joint probability measure μ on C× S, independently of the past. Also, at each time step, pairs of matched customers and servers, if they exist, depart from the system. Authorized matchings are given by a fixed bipartite graph (C, S, E⊂ C × S). A matching policy is chosen, which decides how to match when there are several possibilities. Customers/servers that cannot be matched are stored in a buffer. The evolution of the model can be described by a discrete-time Markov chain. We study its stability under various admissible matching policies, including ML (match the longest), MS (match the shortest), FIFO (match the oldest), RANDOM (match uniformly), and PRIORITY. There exist natural necessary conditions for stability (independent of the matching policy) defining the maximal possible stability region. For some bipartite graphs, we prove that the stability region is indeed maximal for any admissible matching policy. For the ML policy, we prove that the stability region is maximal for any bipartite graph. For the MS and PRIORITY policies, we exhibit a bipartite graph with a non-maximal stability region.


2003 ◽  
Vol 3 ◽  
pp. 266-270
Author(s):  
B.H. Khudjuyerov ◽  
I.A. Chuliev

The problem of the stability of a two-phase flow is considered. The solution of the stability equations is performed by the spectral method using polynomials of Chebyshev. A decrease in the stability region gas flow with the addition of particles of the solid phase. The analysis influence on the stability characteristic of Stokes and Archimedes forces.


Author(s):  
Fatemeh Khani ◽  
Mohammad Haeri

Industrial processes are inherently nonlinear with input, state, and output constraints. A proper control system should handle these challenging control problems over a large operating region. The robust model predictive controller (RMPC) could be an linear matrix inequality (LMI)-based method that estimates stability region of the closed-loop system as an ellipsoid. This presentation, however, restricts confident application of the controller on systems with large operating regions. In this paper, a dual-mode control strategy is employed to enlarge the stability region in first place and then, trajectory reversing method (TRM) is employed to approximate the stability region more accurately. Finally, the effectiveness of the proposed scheme is illustrated on a continuous stirred tank reactor (CSTR) process.


Mathematics ◽  
2020 ◽  
Vol 9 (1) ◽  
pp. 78
Author(s):  
Haifa Bin Jebreen ◽  
Fairouz Tchier

Herein, an efficient algorithm is proposed to solve a one-dimensional hyperbolic partial differential equation. To reach an approximate solution, we employ the θ-weighted scheme to discretize the time interval into a finite number of time steps. In each step, we have a linear ordinary differential equation. Applying the Galerkin method based on interpolating scaling functions, we can solve this ODE. Therefore, in each time step, the solution can be found as a continuous function. Stability, consistency, and convergence of the proposed method are investigated. Several numerical examples are devoted to show the accuracy and efficiency of the method and guarantee the validity of the stability, consistency, and convergence analysis.


2021 ◽  
Vol 58 (2) ◽  
pp. 449-468
Author(s):  
Pascal Moyal ◽  
Ana Bušić ◽  
Jean Mairesse

AbstractWe consider a stochastic matching model with a general compatibility graph, as introduced by Mairesse and Moyal (2016). We show that the natural necessary condition of stability of the system is also sufficient for the natural ‘first-come, first-matched’ matching policy. To do so, we derive the stationary distribution under a remarkable product form, by using an original dynamic reversibility property related to that of Adan, Bušić, Mairesse, and Weiss (2018) for the bipartite matching model.


1993 ◽  
Vol 03 (02) ◽  
pp. 645-668 ◽  
Author(s):  
A. N. SHARKOVSKY ◽  
YU. MAISTRENKO ◽  
PH. DEREGEL ◽  
L. O. CHUA

In this paper, we consider an infinite-dimensional extension of Chua's circuit (Fig. 1) obtained by replacing the left portion of the circuit composed of the capacitance C2 and the inductance L by a lossless transmission line as shown in Fig. 2. As we shall see, if the remaining capacitance C1 is equal to zero, the dynamics of this so-called time-delayed Chua's circuit can be reduced to that of a scalar nonlinear difference equation. After deriving the corresponding 1-D map, it will be possible to determine without any approximation the analytical equation of the stability boundaries of cycles of every period n. Since the stability region is nonempty for each n, this proves rigorously that the time-delayed Chua's circuit exhibits the "period-adding" phenomenon where every two consecutive cycles are separated by a chaotic region.


2018 ◽  
Vol 2018 ◽  
pp. 1-15 ◽  
Author(s):  
Yong Xiao ◽  
Jianchun Guo ◽  
Hehua Wang ◽  
Lize Lu ◽  
John McLennan ◽  
...  

A coupled thermal-hydraulic-mechanical (THM) model is developed to simulate the combined effect of fracture fluid flow, heat transfer from the matrix to injected fluid, and shearing dilation behaviors in a coupled fracture-matrix hot volcanic reservoir system. Fluid flows in the fracture are calculated based on the cubic law. Heat transfer within the fracture involved is thermal conduction, thermal advection, and thermal dispersion; within the reservoir matrix, thermal conduction is the only mode of heat transfer. In view of the expansion of the fracture network, deformation and thermal-induced stress model are added to the matrix node’s in situ stress environment in each time step to analyze the stability of the matrix. A series of results from the coupled THM model, induced stress, and matrix stability indicate that thermal-induced aperture plays a dominant role near the injection well to enhance the conductivity of the fracture. Away from the injection well, the conductivity of the fracture is contributed by shear dilation. The induced stress has the maximum value at the injection point; the deformation-induced stress has large value with smaller affected range; on the contrary, thermal-induced stress has small value with larger affected range. Matrix stability simulation results indicate that the stability of the matrix nodes may be destroyed; this mechanism is helpful to create complex fracture networks.


Geophysics ◽  
2021 ◽  
pp. 1-76
Author(s):  
Chunli Zhang ◽  
Wei Zhang

The finite-difference method (FDM) is one of the most popular numerical methods to simulate seismic wave propagation in complex velocity models. If a uniform grid is applied in the FDM for heterogeneous models, the grid spacing is determined by the global minimum velocity to suppress dispersion and dissipation errors in the numerical scheme, resulting in spatial oversampling in higher-velocity zones. Then, the small grid spacing dictates a small time step due to the stability condition of explicit numerical schemes. The spatial oversampling and reduced time step will cause unnecessarily inefficient use of memory and computational resources in simulations for strongly heterogeneous media. To overcome this problem, we propose to use the adaptive mesh refinement (AMR) technique in the FDM to flexibly adjust the grid spacing following velocity variations. AMR is rarely utilized in acoustic wave simulations with the FDM due to the increased complexity of implementation, including its data management, grid generation and computational load balancing on high-performance computing platforms. We implement AMR for 2D acoustic wave simulation in strongly heterogeneous media based on the patch approach with the FDM. The AMR grid can be automatically generated for given velocity models. To simplify the implementation, we employ a well-developed AMR framework, AMReX, to carry out the complex grid management. Numerical tests demonstrate the stability, accuracy level and efficiency of the AMR scheme. The computation time is approximately proportional to the number of grid points, and the overhead due to the wavefield exchange and data structure is small.


Author(s):  
Yiwen Huang ◽  
Yan Chen

This paper presents a novel vehicle lateral stability control method based on an estimated lateral stability region on the phase plane of vehicle yaw rate and lateral speed, which is obtained through a local linearization method. Since the estimated stability region does not only describe vehicle local stability, but also define the oversteering and understeering characteristics, the proposed control method can achieve both local stability and vehicle handling stability. Considering the irregular geometric shape of the estimated stability region, a stability analysis algorithm is designed to determine the distance between vehicle states and stability region boundaries. State estimation or measurement errors are also incorporated in the distance calculation. Based on the calculated shortest distance between vehicle states and stability boundaries, a direct yaw moment controller is designed to maintain vehicle states stay within the stability region. CarSim® and Simulink® co-simulation is applied to verify the control design through a cornering maneuver. The simulation results show that the proposed control method can make the vehicle stay within the stability region successfully and thus always operate in a safe manner.


Sign in / Sign up

Export Citation Format

Share Document