l0003.hys

来自「由matlab开发的hybrid系统的描述语言」· HYS 代码 · 共 17 行

SYSTEM train {
   INTERFACE {
      INPUT {
         BOOL alarm, tunnel, fire; }     
      OUTPUT {
         BOOL brake;}
   } /* end interface */                 
   IMPLEMENTATION {
      AUX {
         BOOL decision; } 
      LOGIC {
         decision =  alarm & (~tunnel | ~fire); }
      OUTPUT {
         brake = decision; }
   } /* end implementation */
} /* end system */