Learn More
We derive a Maximum Principle for optimal control problems with constraints given by the coupling of a system of ODEs and a PDE of Vlasov-type. Such problems arise naturally as Γ-limits of optimal control problems subject to ODE constraints, modeling, for instance, external interventions on crowd dynamics. We obtain these first-order optimality conditions(More)
We address dynamical systems of agents driven by attraction and repulsion forces, modelling cohesion and collision avoidance. When the total energy, which is composed of a kinetic part and a geometrical part describing the balance between attraction and repulsion forces, is below a certain threshold, then it is known that the agents will converge to a(More)
(Un)conditional consensus emergence under perturbed and decentralized feedback controls Powered by TCPDF (www.tcpdf.org) Abstract: We study the problem of consensus emergence in multi-agent systems via external feedback controllers. We consider a set of agents interacting with dynamics given by a Cucker-Smale type of model, and study its consensus(More)
For high dimensional particle systems, governed by smooth nonlinearities depending on mutual distances between particles, one can construct low-dimensional representations of the dynamical system, which allow the learning of nearly optimal control strategies in high dimension with overwhelming confidence. In this paper we present an instance of this general(More)
We address dynamical systems of agents driven by attraction and repulsion forces modelling cohesion and collision avoidance. When the total energy, which is composed of a kinetic part and a geometrical part describing the balance between attraction and repulsion forces, is below a certain threshold, then it is known that the agents will converge to a(More)
In this paper we are concerned with multiscale modeling, control, and simulation of self-organizing agents leaving an unknown area under limited visibility, with special emphasis on crowds. We first introduce a new microscopic model characterized by an exploration phase and an evacuation phase. The main ingredients of the model are an alignment term,(More)
Sequents-of-relations calculi provide a uniform and elegant method for introducing Co-NP, proof-search oriented analytic calculi based on hypersequents for a large class of logics, namely semiprojective logics. These logics are characterized by a special format of their connectives and it is seen that Gödel logic with an involutive negation, Nilpotent(More)
  • 1