The Experts below are selected from a list of 334188 Experts worldwide ranked by ideXlab platform
Mariagrazia Dotoli - One of the best experts on this subject based on the ideXlab platform.
-
an urban Traffic Network model by first order hybrid petri nets
Systems Man and Cybernetics, 2008Co-Authors: Mariagrazia Dotoli, Maria Pia Fanti, Giorgio IacobellisAbstract:The paper proposes a model for real time control of urban Traffic Networks. A modular framework based on first order hybrid Petri nets models the vehicle flows by a first order fluid approximation. Moreover, the lane interruptions and the signal timing plan controlling the area are described by the discrete event dynamics using timed Petri nets. The proposed model is applied to a real intersection located in Bari, Italy. Simulation of different scenarios shows the technique efficiency: validation is performed by comparison with a previously proposed alternative approach employing colored Petri nets.
-
an urban Traffic Network model via coloured timed petri nets
Control Engineering Practice, 2004Co-Authors: Mariagrazia Dotoli, Maria Pia FantiAbstract:This paper deals with modelling of Traffic Networks (TNs) for control purposes. A modular framework based on coloured timed Petri nets (CTPNs) is proposed to model the dynamics of signalized TN systems: places represent link cells and crossing sections, tokens are vehicles and token colours represent the routing of the corresponding vehicle. In addition, ordinary timed Petri nets model the signal timing plans of the Traffic lights controlling the area. The proposed modelling framework is applied to a real intersection located in Bari, Italy. A discrete event simulation of the controlled intersection validates the model and tests the signal timing plan obtained by an optimization strategy presented in the related literature.
Maria Pia Fanti - One of the best experts on this subject based on the ideXlab platform.
-
an urban Traffic Network model by first order hybrid petri nets
Systems Man and Cybernetics, 2008Co-Authors: Mariagrazia Dotoli, Maria Pia Fanti, Giorgio IacobellisAbstract:The paper proposes a model for real time control of urban Traffic Networks. A modular framework based on first order hybrid Petri nets models the vehicle flows by a first order fluid approximation. Moreover, the lane interruptions and the signal timing plan controlling the area are described by the discrete event dynamics using timed Petri nets. The proposed model is applied to a real intersection located in Bari, Italy. Simulation of different scenarios shows the technique efficiency: validation is performed by comparison with a previously proposed alternative approach employing colored Petri nets.
-
an urban Traffic Network model via coloured timed petri nets
Control Engineering Practice, 2004Co-Authors: Mariagrazia Dotoli, Maria Pia FantiAbstract:This paper deals with modelling of Traffic Networks (TNs) for control purposes. A modular framework based on coloured timed Petri nets (CTPNs) is proposed to model the dynamics of signalized TN systems: places represent link cells and crossing sections, tokens are vehicles and token colours represent the routing of the corresponding vehicle. In addition, ordinary timed Petri nets model the signal timing plans of the Traffic lights controlling the area. The proposed modelling framework is applied to a real intersection located in Bari, Italy. A discrete event simulation of the controlled intersection validates the model and tests the signal timing plan obtained by an optimization strategy presented in the related literature.
Giorgio Iacobellis - One of the best experts on this subject based on the ideXlab platform.
-
an urban Traffic Network model by first order hybrid petri nets
Systems Man and Cybernetics, 2008Co-Authors: Mariagrazia Dotoli, Maria Pia Fanti, Giorgio IacobellisAbstract:The paper proposes a model for real time control of urban Traffic Networks. A modular framework based on first order hybrid Petri nets models the vehicle flows by a first order fluid approximation. Moreover, the lane interruptions and the signal timing plan controlling the area are described by the discrete event dynamics using timed Petri nets. The proposed model is applied to a real intersection located in Bari, Italy. Simulation of different scenarios shows the technique efficiency: validation is performed by comparison with a previously proposed alternative approach employing colored Petri nets.
Calin Belta - One of the best experts on this subject based on the ideXlab platform.
-
Traffic Network control from temporal logic specifications
IEEE Transactions on Control of Network Systems, 2016Co-Authors: Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin BeltaAbstract:We propose a framework for generating a signal control policy for a Traffic Network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to Traffic Networks that allow for efficient computation of a finite-state abstraction. In particular, Traffic Networks exhibit a componentwise monotonicity property which enables reaching set computations that scale linearly with the dimension of the continuous state space.
-
Traffic Network Control from Temporal Logic Specifications
IEEE Transactions on Control of Network Systems, 2016Co-Authors: Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin BeltaAbstract:We propose a framework for generating a signal control policy for a Traffic Network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to Traffic Networks that allow for efficient computation of a finite state abstraction. In particular, Traffic Networks exhibit a componentwise monotonicity property which allows reach set computations that scale linearly with the dimension of the continuous state space.
Martin Kozek - One of the best experts on this subject based on the ideXlab platform.
-
macroscopic Traffic model for large scale urban Traffic Network design
Simulation Modelling Practice and Theory, 2018Co-Authors: Elvira Thonhofer, Toni Palau, Andreas Kuhn, Stefan Jakubek, Martin KozekAbstract:Abstract This paper presents a flexible macroscopic Traffic model that is applicable for large scale urban Traffic Network simulations. The proposed approach combines several advantages. First, the discretized partial differential equation of the macroscopic model is solved numerically with low computational effort. The spatial and temporal resolution of the discretization are tuning parameters to balance computational effort with model accuracy. Second, the model allows arbitrary functional forms of the fundamental diagram defined by a small number of parameters. Thereby, moving density gradients (jam fronts) are represented accurately. The model parameters are physically meaningful and can readily be estimated from measurement data. Third, two general types of intersection handling are proposed and can be combined with different merge models. The first intersection approach is a binary Traffic light, similar to real Traffic lights. Detailed insights concerning queue length, flow across intersections and routing decisions can be investigated. The second approach is a continuous valve-like approach that allows investigation of averaged effects and large scale interaction and feedback effects. Fourth, the proposed model scales linearly with spatial and temporal resolution as well as Network size and can be partially solved in parallel to increase computational efficiency. To demonstrate the above mentioned qualities of the presented model, two realistic example situations and a comprehensive study on the scaling properties are provided.
