Safe and Optimal Adaptive Cruise Control

DOI10.1007/978-3-319-23506-6_17zbMath1444.68183OpenAlexW1883328791MaRDI QIDQ3449638

Marius Mikučionis, Jakob Haahr Taankvist, Kim Guldstrand Larsen

Publication date: 4 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6_17

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Logic in artificial intelligence (68T27) Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Spatial and timing properties in highway traffic ⋮ Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper) ⋮ Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security

Uses Software

• Uppaal
• UPPAAL TIGA

Cites Work

• A calculus of durations
• A theory of timed automata
• Uppaal in a nutshell
• Proving Safety of Traffic Manoeuvres on Country Roads
• On Time with Minimal Expected Cost!
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Theoretical Aspects of Computing - ICTAC 2004
• Proof Theory of a Multi-Lane Spatial Logic
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations

This page was built for publication: Safe and Optimal Adaptive Cruise Control