Safety-Critical Control for Systems with Impulsive Actuators and Dwell Time Constraints.

Joseph Breeden Dimitra Panagou

Published in: CoRR (2023)

Keyphrases

safety critical
control system
formal methods
safety analysis
embedded systems
fault tolerant
management system
active control
support systems
adaptive systems
multi agent
real time
learning systems
software engineering
case based reasoning
cooperative
patient care
nuclear power plant
information systems