Reach-avoid Controllers Synthesis for Safety Critical Systems.

Published in: CoRR (2023)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
adaptive systems
agent architecture
support systems
expert systems
distributed systems
control system
management system
software engineering
knowledge based systems
real time
regulatory requirements