Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems

This paper describes a cyber-physical architecture for behavior modeling and formal evaluation of safety properties in connected-vehicle systems. An ontology-based framework provides the description logic (DL) semantics and reasoning support needed for decision making. Safety properties are modeled as hard constraints, with their fulfillment determined through the synthesis and realization of predefined pathways on decision trees. To exercise the methodology, we consider the problem of ensuring system-level safety for a family of autonomous intelligent automobiles approaching a yellow traffic light.