Verification of cooperating traffic agents
From MaRDI portal
Publication:3442637
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
European train control system (ETCS)traffic alert and collision avoidance system (TCAS)transport vehicles
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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