Login / Signup
Synthesis and real-time simulation of reactive controller for hot-water supply in a safety-critical hospital environment.
Yoshihiko Susuki
Tsukasa Saito
Hikaru Hoshino
Takashi Hikihara
Published in:
CCTA (2017)
Keyphrases
</>
real time
safety critical
water supply
agent architecture
safety analysis
control system
fault tolerant
formal methods
embedded systems
optimal design
water resources
low cost
support systems
control strategy
health care
information services
medical images
patient care
multi agent systems
metadata
information systems