Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

DOI10.1017/S0960129512000230zbMath1269.93067MaRDI QIDQ2843860

Werner Damm, Bernd Westphal, Hans-Jörg Peter, Jan-Hendrik Rakow

Publication date: 26 August 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

control strategiescommunication capabilitiescooperative driver assistance systemsmovements of multiple vehiclesnew automotive functions

Mathematics Subject Classification ID

2-person games (91A05) Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Uses Software

• LinAIG

Cites Work

• Compositional abstractions of hybrid control systems
• Model checking of probabilistic and nondeterministic systems
• Unbeast: Symbolic Bounded Synthesis
• Alternating-time temporal logic
• Mind the Shapes: Abstraction Refinement Via Topology Invariants
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
• Bounded Synthesis
• Timed Alternating-Time Temporal Logic
• On Timed Simulation Relations for Hybrid Systems and Compositionality
• Automatic Verification of Hybrid Systems with Large Discrete State Space
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• The Spotlight Principle