English
Related papers

Related papers: Traffic Network Control from Temporal Logic Specif…

200 papers

Traffic prediction plays a vital role in efficient planning and usage of network resources in wireless networks. While traffic prediction in wired networks is an established field, there is a lack of research on the analysis of traffic in…

Networking and Internet Architecture · Computer Science 2019-06-04 Amin Azari , Panagiotis Papapetrou , Stojan Denic , Gunnar Peters

Several studies have considered control theory tools for traffic control in communication networks, as for example the congestion control issue in IP (Internet Protocol) routers. In this paper, we propose to design a linear observer for…

Networking and Internet Architecture · Computer Science 2009-09-30 Yassine Ariba , Frédéric Gouaisbaut , Sandy Rahme , Yann Labit

Traffic Intersections are vital to urban road networks as they regulate the movement of people and goods. However, they are regions of conflicting trajectories and are prone to accidents. Deep Generative models of traffic dynamics at…

Artificial Intelligence · Computer Science 2025-06-11 Yash Ranjan , Rahul Sengupta , Anand Rangarajan , Sanjay Ranka

In this paper, we propose a novelty-based metric for quantitative characterization of the controllability of complex networks. This inherently bounded metric describes the average angular separation of an input with respect to the past…

Optimization and Control · Mathematics 2014-09-30 Gautam Kumar , Delsin Menolascino , MohammadMehdi Kafashan , ShiNung Ching

We present a simple yet effective routing strategy inspired by coverage control, which delays the onset of congestion on traffic networks, by introducing a control parameter. The routing algorithm allows a trade-off between the congestion…

Networking and Internet Architecture · Computer Science 2015-08-17 Timothy Barker , Chao Zhai , Mario di Bernardo

This paper explores the theoretical limits of using discrete abstractions for nonlinear control synthesis. More specifically, we consider the problem of deciding continuous-time control with temporal logic specifications. We prove that…

Systems and Control · Computer Science 2019-03-18 Jun Liu

This dissertation proposes two solutions for urban traffic control in the presence of connected and automated vehicles. First a centralized platoon-based controller is proposed for the cooperative intersection management problem that takes…

Machine Learning · Computer Science 2020-12-11 Masoud Bashiri

Conventional urban traffic control systems have been based on historical traffic data. Later advancements made use of detectors, which enabled the gathering of real time traffic data, in order to reorganize and calibrate traffic…

Artificial Intelligence · Computer Science 2014-09-22 Kandarp Khandwala , Rudra Sharma , Snehal Rao

Human drivers naturally balance the risks of different concerns while driving, including traffic rule violations, minor accidents, and fatalities. However, achieving the same behavior in autonomous driving systems remains an open problem.…

Systems and Control · Electrical Eng. & Systems 2026-03-06 Shuhao Qi , Zengjie Zhang , Zhiyong Sun , Sofie Haesaert

Formulating the intended behavior of a dynamic system can be challenging. Signal temporal logic (STL) is frequently used for this purpose due to its suitability in formalizing comprehensible, modular, and versatile spatiotemporal…

Systems and Control · Electrical Eng. & Systems 2025-03-04 Patrick Halder , Hannes Homburger , Lothar Kiltz , Johannes Reuter , Matthias Althoff

Effective urban traffic management is vital for sustainable city development, relying on intelligent systems with machine learning tasks such as traffic flow prediction and travel time estimation. Traditional approaches usually focus on…

Machine Learning · Computer Science 2025-02-12 Chengkai Han , Jingyuan Wang , Yongyao Wang , Xie Yu , Hao Lin , Chao Li , Junjie Wu

The paper proposes first steps towards the formalization and characterization of time-varying turnpikes in optimal control of mechanical systems. We propose the concepts of velocity steady states, which can be considered as partial steady…

Optimization and Control · Mathematics 2019-07-04 Timm Faulwasser , Kathrin Flaßkamp , Sina Ober-Blöbaum , Karl Worthmann

We propose a two dimensional probabilistic cellular automata for the description of traffic flow in a small city network composed of two intersections. The traffic in the network is controlled by a set of traffic lights which can be…

Physics and Society · Physics 2012-03-19 M. Ebrahim Fouladvand , M. Reza Shaebani , Zeinab Sadjadi

Introducing Internet traffic anomaly detection mechanism based on large deviations results for empirical measures. Using past traffic traces we characterize network traffic during various time-of-day intervals, assuming that it is…

Networking and Internet Architecture · Computer Science 2013-08-27 A. S. Syed Navaz , S. Gopalakrishnan , R. Meena

Motivated by developments in renewable energy and smart grids, we formulate a stylized mathematical model of a transport network with stochastic load fluctuations. Using an affine control rule, we explore the trade-off between the number of…

Optimization and Control · Mathematics 2020-02-24 Alessandro Zocca , Bert Zwart

We propose in this paper a decentralized traffic signal control policy for urban road networks. Our policy is an adaptation of a so-called BackPressure scheme which has been widely recognized in data network as an optimal throughput control…

Optimization and Control · Mathematics 2014-05-12 Tung Le , Peter Kovacs , Neil Walton , Hai L Vu , Lachlan L Andrew , Serge S Hoogendoorn

In recent years, state-of-the-art traffic-control devices have evolved from standalone hardware to networked smart devices. Smart traffic control enables operators to decrease traffic congestion and environmental impact by acquiring…

Cryptography and Security · Computer Science 2019-08-06 Aron Laszka , Waseem Abbas , Yevgeniy Vorobeychik , Xenofon Koutsoukos

Research on adaptive traffic signal control (ATSC) extends back to at least the 1960s, and many ATSC methods have been proposed over the years. This paper provides a review of this research and proposes a taxonomy for organizing it,…

Systems and Control · Electrical Eng. & Systems 2023-08-07 Andalib Shams , A. M. Tahsin Emtenan , Christopher M. Day

Finding an optimal solution of signal traffic control durations is a computationally intensive task. It is typically O(T3) in time, and O(T2) in space, where T is the length of the control interval in discrete time steps. In this paper, we…

Data Structures and Algorithms · Computer Science 2014-07-22 Sameh Samra , Ahmed El-Mahdy , Yasutaka Wada

The continuous expansion of the urban traffic sensing infrastructure has led to a surge in the volume of widely available road related data. Consequently, increasing effort is being dedicated to the creation of intelligent transportation…

Neural and Evolutionary Computing · Computer Science 2020-02-17 Alina Patelli , Victoria Lush , Aniko Ekart , Elisabeth Ilie-Zudor