Safe and Optimal Adaptive Cruise Control
From MaRDI portal
Publication:3449638
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
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
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