Applications of Controlled Sweeping Processes to Nonlinear Crowd Motion Models with Obstacles
Abstract
This paper mainly focuses on solving the dynamic optimization of the planar controlled crowd motion models with obstacles which is an application of a class of optimal control problems governed by a general perturbed nonconvex sweeping process. This can be considered as a significant extension of the previous work regarding the controlled crowd motion models in [2, 3], where the obstacles have not been considered. The necessary optimality conditions for the problem under consideration are established based on the results in [2, 3] and are illustrated by a nontrivial example of practical importance.
I Introduction and Problem Formulation
This paper is mainly devoted to applications of a class of optimal control problems governed by a perturbed nonconvex sweeping process in [3] to solving dynamic optimization problems involving the crowd motion models. More precisely, we consider the motion of agents without overlapping and aim at finding an optimal strategy to steer them to a desired target with the minimum effort during a fixed interval time . Following the mathematical framework in [7], we identify agents to inelastic disks with different radii whose centers are denoted by for . Our purpose is to simulate the motion of these agents inside a given domain during the given interval time and subject to both static and dynamic obstacles. To ensure the nonoverlapping of agents and obstacles, the configuration vector has to belong to the following set of admissible configurations
(1) |
where is the signed distance between disks and . In this setting, each of agent has his/her own desired velocity in case they are not in contact in the sense that . When they are in contact, i.e., ; however, the agents and must adjust their velocities in order to avoid overlapping. In this very situation the actual velocities and desired velocities are no longer the same while they should be close to each other. To reflect this situation, we introduce the set of admissible velocities defined by
(2) |
where
and where
Next, let be the (desired) velocity of all the agents assuming that they behave the same behavior and reach the targets using the shortest path. In this case , where stands for the distance between the agent and the corresponding and where denotes the speed.
To ensure the nonoverlapping of all the agents and obstacles, their actual velocity at time denoted by should be selected from the set of admissible velocities in (2). Let us see how this selection guarantees the nonoverlapping condition. Using the first-order Taylor approximation of the distance function gives us
where is a small unit of time. Suppose that agents and are in contact at time , then . Moreover, since , then
which implies that . Therefore, the nonoverlapping condition in (1) does not allow the agents to move with their desired velocity freely and the set of admissible velocities in (2) offers a guideline to select the actual velocity in order to avoid the nonoverlapping situation. The next step is how to select a “good” velocity over the set of admissible velocities in (2). In fact the actual velocity of agents is defined to be the closet one to their desired velocity in the following sense
(3) |
where denotes the Euclidean projection of onto the set . The differential equation in (3) can be written in the equivalent form of perturbed sweeping process as follows using the orthogonal decomposition via the sum of mutually polar cone as in [7]:
(4) |
where stands for the proximal normal cone of the set at . In fact, the sweeping process (“processes de raffle”) was first introduced by Jean-Jacques Moreau in the 1970s in the differential form
(5) |
where is a continuous time moving convex set and the symbol signifies the classical normal cone to a convex set at defined by
The sweeping process (5) describes the motion of an object inside the moving set . Depending on the behavior of the set , the object will stay where it is (in the case, where it is not hit by the boundary of ), or otherwise it is swept towards the interior of the set . In the latter case, the velocity of the object points inwards to the moving set in order not to leave. The sweeping (Moreau) process was originally motivated by applications to elastoplasticity [8], but it has been further significantly recognized in the much broader spectrum of applications such as hysteresis, electric circuits, traffic equilibria, populations motion in confined spaces, and other areas of applied sciences and operations research. Its well-posedness was established by using the catching-up algorithm developed by Moreau [8]. Since then, there have been several improvements of (5) by many authors including, e.g., relaxing the convexity of the moving set , and extending (5) to the perturbed version
(6) |
where represents some given external force. In particular, Maury and Venel [7] developed a mathematical framework for uncontrolled microscopic model of the crowd motion dynamic by using an extended sweeping process in form of (6) and providing its numerical simulations with various applications. Let us emphasize that the differential inclusion (4) in the crowd motion framework is a special case of the perturbed sweeping process (6) without involving control actions and optimization.
Motivated by control-theoretic requirements and practical applications, the authors of [3] considered the following optimal control problem:
(7) |
over the control functions and the corresponding trajectories of the controlled nonconvex sweeping process
(8) |
where the set is given in (1), where the controlled desired velocity is given by
(9) |
The meaning of the cost function in (7) is minimizing the distance of all the agents to the exit situated at the origin together with the minimum energy of feasible controls used to adjust the desired velocity. The authors of [3, 2] discussed how to solve such an optimal control problem for the planar crowd motion models with agents in general by using the obtained necessary optimality conditions. Observe that these efficient necessary conditions allow us to compute the optimal solutions analytically and successfully. However, no obstacles (either static or dynamic) have been considered in the controlled crowd motion model of [3]. This paper is devoted to the study of the dynamic optimization of the controlled planar crowd motion models subject to obstacles. In this setting, all the agents consider neither overlapping with each others nor with the obstacles.
To reflect this situation, the sweeping set should be replaced by the following set involving the obstacles:
(10) | ||||
where for and . Here, the th obstacle is represented by a rigid disk in with radius whose center is denoted by . Note that the sweeping set in (1) cannot be used to represent the nonoverlapping conditions between the agents and the obstacles, since–if an agent is close enough to an obstacle he/she will avoid it–while the obstacle has no reaction to the agent. The obstacle always stays where it is or moves in its own direction without interacting with the agent. Therefore, the obstacles cannot be involved in the sweeping process representing the dynamics of all the agents in (12), and hence the sweeping set in our framework is significantly different from the set in (1). In this paper we consider the following optimal control problem:
(11) |
over the control functions and the corresponding trajectories of the controlled nonconvex sweeping process
(12) |
where the set is given in (10), where the controlled desired velocity is given by (9), where stands for the desired target that we want to send all the agents to, and where is a given constant. The objective of all the agents here is to minimize their distances to the desired targets by using the least energy. The scalar introduced in (11) is a trade-off between the distance and the energy.
The paper is organized as follows. Section II contains a set of necessary optimality conditions for problem . In Section III we provide numerical implementation of the obtained results for problem for a practical situation. The last Section IV concerns topics of our future research.
II Crowd Motion Models with Obstacles
In this section we summarize the necessary optimality conditions to the optimization of the planar crowd motion model developed in paper [3].
Theorem II.1
(necessary optimality conditions for optimization of controlled crowd motions) Let be a strong local minimizer of the crowd motion problem in (12). It follows from [3, Theorem 3.1] that there exist , for , well-defined at , , , a measure , and a vector function of bounded variation on such that the following conditions are satisfied:
-
(1)
for a.e. ;
-
(2)
where ; -
(3)
for all and a.e. ;
-
(4)
for all and a.e. ;
-
(5)
-
(6)
for a.e. ;
-
(7)
for a.e. ;
-
(8)
-
(9)
;
-
(10)
.
Rewriting the differential equations in (2) gives us
(13) |
for a.e. . In fact, this system of differential equations tells us that the actual velocity of each agent depends on the agent’s current location with respect to the other agents and the target.
It follows from (5) and (7) that
(14) |
for . This equation gives us useful information about the controls relating to the trajectories. The crowd motion model with agents was fully studied in [3], where several nontrivial examples were considered in various settings and solved analytically. Our next goal is to consider the crowd motion models with obstacles.
III Numerical Implementations
This section is devoted to the study of the crowd motion models with static obstacles. For simplicity, we first consider a single agent whose objective is to reach the target while avoiding the obstacle using the minimum energy. In this case, the obstacle is simply a state constraint involved in the sweeping set defined by
where represents the position of the obstacle in . Modifying the proof of necessary optimality conditions in Theorem II.1 we can find some dual elements well-defined at , , a measure , and a vector function of bounded variation on such that the following conditions are satisfied:
-
(1)
for a.e. ;
-
(2)
for a.e. ;
-
(3)
;
-
(4)
for a.e. ;
-
(5)
;
-
(6)
for a.e. ;
-
(7)
for a.e. ;
-
(8)
;
-
(9)
;
-
(10)
.
In what follows, we consider an example illustrating our necessary conditions obtained above. Assume that the target is located at the origin i.e, , the initial position of the agent is and the location of the static obstacle is , see Figure 1. The agent aims to reach the target while avoiding the obstacle using the minimum energy. The data of the problem can be described as follows:
It follows from condition (2) that
for all . Let and be the first time and last time that the agent and the obstacle are in contact, that is,
for all . Then the velocity of the agent is given by
(15) |
which is based on conditions (2) and (3). Before being in contact with the obstacle, the agent moves towards the target using his/her own desired velocity. However, when he/she is in contact with the obstacle, the normal cone in (12) is activated and hence generates a normal vector forcing the agent to move away from the obstacle.

Let us investigate behavior of the agent when he/she is in contact with the obstacle during the time interval . If , then , which implies that
Differentiating both sides of the above equation with respect to gives us
(16) |
Combining it with the representation of in (15) we obtain
and hence get the very useful information about the scalar function as follows
(17) | ||||
This shows that the behavior of depends heavily on the position of the agent with respect to the target and the obstacle. When the agent first meets the obstacle, two unit vectors and are parallel which causes the maximum effect to push the agent away from the obstacle. In this case, we have . In fact, due to structure of the problem, the control function takes the positive values on . For simplicity, we assume that is constant on , i.e., for all . Once the agent is in contact with the obstacle, he/she would stay on the circle centered at with radius during the time interval . Hence, it makes a perfect sense to assume that on .
We then deduce from the implication in that is orthogonal to , which implies that and are parallel thanks to (16), i.e.,
(18) |
for some constant .
Moreover, it follows from conditions (5) and (7) that
and thus
since . This also tells us that point in the opposite direction of the velocity , i.e. . Combining it with (18) gives us i.e.,
(19) |
where . For simplicity, we may select to get .
At the time , it makes sense to expect that the agent will leave the obstacle and will head towards the target. In fact, the time can be considered as the safe time for the agent to move to target using his/her own desired velocity. The question is how to track the position of the agent at this very moment, i.e., . It seems that the normal cone in this case is no longer active, which means that . Fortunately, equation (17) for tells us that if
which allows us to track the position of the agent at the point where two vectors and are orthogonal (see Figure 2). This useful observation leads us to valuable information about the time .
To proceed further, let be the angle of two vectors and . Then
where is the standard unit vector. Observe that is the intersection of the circle centered at with the radius and the tangent line to through the target .
It is not hard to see that there are two possible values for as follows: either
As a consequence, we have

Thus the distance of agent’s travel from to is
Combining this with (19), we come up to
and hence obtain
In addition, we can determine by
which leads us in turn to
Meanwhile, it is not hard to observe that (see Figure 2). The distance that the agent travels from to (the ending time) is , which can also be found by multiplying the travel time by the constant controlled speed . As a result, we
and get therefore that
which gives us the following computation of the cost functional:
This quadratic cost function achieves its minimum value at with the contacting times and .
Furthermore, the trajectory can be computed by integration as follows:
Note that adjusting the value of in the cost functional will affect the performance of the agent. This is shown in the table below.
1.0 | ||||
---|---|---|---|---|
1.5 | ||||
2.0 | ||||
2.5 | ||||
3.0 | ||||
3.5 | ||||
4.0 | ||||
4.5 | ||||
5.0 | ||||
5.5 | ||||
6.0 | ||||
6.5 | ||||
7.0 | ||||
7.5 | ||||
8.0 | ||||
8.5 | ||||
9.0 | ||||
9.5 | ||||
10.0 |
It occurs therefore that increasing the value of makes the agent use less energy, but this also means that he/she would stay in contact with the obstacle longer. This example clearly shows that the crowd motion models with obstacles are significantly more challenging in comparison with the models without obstacles considered in [3].
IV Future Research
In our future research, we intend to study a more general and more realistic framework of crowd motion models with multiple obstacles, develop necessary optimality conditions and numerical algorithms to solve the corresponding optimal control problems for the obtained sweeping dynamics.
V Acknowledgment
The author Tan H. Cao acknowledge the support of the National Research Foundation of Korea grant funded by the Korea Government (MIST) NRF-2020R1F1A1A01071015.
The author Boris S. Mordukhovich acknowledge the support of the USA National Science Foundation under grants DMS-1007132 and DMS-1512846, by the USA Air Force Office of Scientific Research grant #15RT0462, and by the Australian Research Council under Discovery Project DP-190100555.
The authors Dao Nguyen and Trang Nguyen acknowledge the support of the USA National Science Foundation under grant DMS-1512846 and by the USA Air Force Office of Scientific Research grant #15RT0462.
References
- [1] C. E. Arroud and G. Colombo, A Maximum Principle of the Controlled Sweeping Process, Set-Valued Var. Anal., vol. 26, 2018, pp 607-629.
- [2] T. H. Cao and B. S. Mordukhovich, Optimal Control of a Nonconvex Perturbed Sweeping Process, J. Diff. Eqs., vol. 266, 2019, pp 100-1050.
- [3] T. H. Cao and B. S. Mordukhovich, Applications of the Controlled Sweeping Process to Optimal Control of the Planar Crowd Motion Model, Discrete Contin. Dyn. Syst., Ser. B, vol. 24, 2019, pp 4191-4216.
- [4] G. Colombo, B. S. Mordukhovich and D. Nguyen, Optimal Control of Sweeping Processes in Robotics and Traffic Flow Models, J. Optim. Theory Appl., vol. 182, 2019, pp 439-472.
- [5] G. Colombo, B. S. Mordukhovich and D. Nguyen, Optimization of a Perturbed Sweeping Process by Discontinuous Controls, SIAM J. Control Optim., vol. 58, 2020, pp 2678-2709.
- [6] M. d. R. de Pinho, M. M. A. Ferreira and G. V. Smirnov, Optimal Control involving Sweeping Processes, Set-Valued Var. Anal., vol. 27, 2019, pp 523-548.
- [7] B. Maury and J. Venel, A Discrete Model for Crowd Motion, ESAIM: M2AN, vol. 45, 2011, pp 145-168.
- [8] J. J. Moreau, On Unilateral Constraints, Friction and Plasticity, in: G. Capriz and G. Stampacchia (Eds.), New Variational Techniques in Mathematical Physics, Proceedings of C.I.M.E. Summer Schools, Cremonese, Rome, 1974, pp 173-322.
- [9] V. Zeidan, C. Nour and H. Saoud, A Nonsmooth Maximum Principle for a Controlled Nonconvex Sweeping Process, J. Diff. Eqs., vol. 269, 2020, pp 9531-9582.