Feasibility-Guaranteed Safety Critical Control with Applications to Heterogeneous Platoons.

Shuo Liu Wei Xiao Calin A. Belta

Published in: CoRR (2023)

Keyphrases

safety critical
embedded systems
fault tolerant
formal methods
safety analysis
control system
agent architecture
support systems
machine learning
software engineering
learning systems
nuclear power plant