Login / Signup
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.
Kerianne Hobbs
Mark Mote
Matthew Abate
Samuel Coogan
Eric Feron
Published in:
CoRR (2021)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
control system
embedded systems
support systems
agent architecture
adaptive systems
regulatory requirements
software intensive systems
learning systems
low cost
real time
formal specification
intelligent systems
decision support
distributed systems
software engineering
management system
expert systems