Verification of cooperating traffic agents

DOI10.1080/00207170600587531zbMath1122.90325OpenAlexW2103945078MaRDI QIDQ3442637

Hardi Hungar, Werner Damm, Ernst-Ruediger Olderog

Publication date: 18 May 2007

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207170600587531

zbMATH Keywords

European train control system (ETCS)traffic alert and collision avoidance system (TCAS)transport vehicles

Mathematics Subject Classification ID

Related Items (9)

Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Verification of Hybrid Systems ⋮ An Abstract Model for Proving Safety of Autonomous Urban Traffic ⋮ An abstract model for proving safety of autonomous urban traffic ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Differential dynamic logic for hybrid systems ⋮ Proving Safety of Traffic Manoeuvres on Country Roads ⋮ GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

Cites Work

• Unnamed Item
• A calculus of durations
• Hybrid I/O automata.
• Duration calculus. A formal approach to real-time systems.
• On enlarging the basin of attraction for linear systems under saturated linear feedback
• Uppaal in a nutshell
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Verified hybrid controllers for automated vehicles
• Computation of piecewise quadratic Lyapunov functions for hybrid systems

This page was built for publication: Verification of cooperating traffic agents