Linearization based Safety Verification of a Glucose Control Protocol.

Ankita Samaddar Zahra RahimiNasab Arvind Easwaran Ansuman Banerjee Xue Bai

Published in: ISORC (2019)

Keyphrases

formal analysis
control system
safety analysis
lightweight
control algorithm
control method
cryptographic protocols
floor control
formal verification
real time
data sets
neural network
control strategy
control center