Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints.

Joseph Breeden Luca Zaccarian Dimitra Panagou

Published in: CoRR (2024)

Keyphrases

safety critical
formal methods
agent architecture
embedded systems
safety analysis
fault tolerant
control system
open source
learning systems
support systems
information systems
decision making
expert systems
software development
nuclear power plant