發送短信 : Contract-based secure and resilient control for industrial cyber-physical systems

 __   __    _____      _____     ___      _____   
 \ \\/ //  |  ___||   / ___//   / _ \\   /  ___|| 
  \   //   | ||__     \___ \\  | / \ || | // __   
  / . \\   | ||__     /    //  | \_/ || | \\_\ || 
 /_//\_\\  |_____||  /____//    \___//   \____//  
 `-`  --`  `-----`  `-----`     `---`     `---`