Safe and stabilizing distributed multi-path cellular flows
From MaRDI portal
Publication:2344755
DOI10.1016/j.tcs.2015.01.023zbMath1311.90031arXiv1209.2058OpenAlexW2963723591MaRDI QIDQ2344755
Sayan Mitra, Taylor T. Johnson
Publication date: 18 May 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.2058
Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85) Traffic problems in operations research (90B20) Distributed systems (68M14) Artificial intelligence for robotics (68T40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Temporal logic motion planning for dynamic robots
- Nonobtuse triangulation of polygons
- Traffic density control for automated highway systems
- Linear-size nonobtuse triangulation of polygons
- Snap-stabilization and PIF in tree networks
- Adaptive Highways on a Grid
- Efficient algorithms for collision avoidance at intersections
- Safety and Liveness in Intelligent Intersections
- Self-stabilizing systems in spite of distributed control
- Distributed algorithms for computing shortest pairs of disjoint paths
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Experimental Features of Self-Organization in Traffic Flow
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Self-stabilizing depth-first token circulation in arbitrary rooted networks
- Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Controlling a Class of Nonlinear Systems on Rectangles
- Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks
- Acute triangulations of polygons
This page was built for publication: Safe and stabilizing distributed multi-path cellular flows
