Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints.

Pedram Rabiee Jesse B. Hoagg

Published in: CoRR (2023)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
embedded systems
nuclear power plant
control system
machine learning
artificial intelligence
databases
context aware
agent architecture