Login / Signup
Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts.
Yuxiao Chen
James Anderson
Karan Kalsi
Aaron D. Ames
Steven H. Low
Published in:
CoRR (2019)
Keyphrases
</>
safety critical
control system
real time
information systems
distributed systems
formal methods
multi agent
expert systems
decision support
intelligent systems
intelligent agents
embedded systems
nuclear power plant