Safety and Liveness in Intelligent Intersections

DOI10.1007/978-3-540-78929-1_22zbMath1143.90317OpenAlexW1580456725MaRDI QIDQ3523117

Derek S. Caveney, Hemant Kowshik, P. R. Kumar

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_22

Mathematics Subject Classification ID

Application models in control theory (93C95) Adaptive control/observation systems (93C40) Traffic problems in operations research (90B20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Safety and Liveness in Intelligent Intersections ⋮ Safe and stabilizing distributed multi-path cellular flows

Cites Work

• On worst case design strategies
• Safety and Liveness in Intelligent Intersections
• Conflict resolution for air traffic management: a study in multiagent hybrid systems

This page was built for publication: Safety and Liveness in Intelligent Intersections