Safety-Critical Traffic Control for Mixed Autonomy Systems with Input Delay and Disturbances.

Chenguang Zhao Huan Yu

Published in: CDC (2023)

Keyphrases

safety critical
traffic control
safety analysis
formal methods
fault tolerant
embedded systems
support systems
expert systems
agent architecture
computer systems
distributed systems
knowledge based systems
learning systems
load balancing
real time
network flow
intelligent systems