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

Joseph Breeden Dimitra Panagou

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

safety critical
control system
safety analysis
fault tolerant
formal methods
embedded systems
active control
agent architecture
nuclear power plant
real time
support systems
distributed systems
intelligent agents
knowledge based systems
medical diagnosis
management system
cooperative
decision making