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

Pedram Rabiee Jesse B. Hoagg

Published in: ACC (2023)

Keyphrases

safety critical
safety analysis
control system
fault tolerant
embedded systems
agent architecture
user interface
formal methods
nuclear power plant
information systems
management system