Steady-state and N-stages control for isolated controlled intersections
ACC'09 Proceedings of the 2009 conference on American Control Conference
A decomposition method for optimal firing sequence problems for first-order hybrid Petri nets
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A continuous Petri net approach for model predictive control of traffic systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Autonomic multi-policy optimization in pervasive systems: Overview and evaluation
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
An urban network of signalized intersections can be suitably modeled as a hybrid system, in which the vehicle flow behavior is described by means of a time-driven model and the traffic light dynamics are represented by a discrete event model. In this paper, a model of such a network via hybrid Petri nets is used to state and solve the problem of coordinating several traffic lights with the aim of improving the performance of some classes of special vehicles, i.e., public and emergency vehicles. The proposed model has been validated using real traffic data relevant to the city of Torino, Italy. Some relevant experimental results are reported and discussed.