l0001.hys

由matlab开发的hybrid系统的描述语言

SYSTEM tank {
   INTERFACE {
      PARAMETER {
         REAL hmax = 1; }
      INPUT {
         REAL h [0, hmax]; }
      OUTPUT {
         BOOL y; }
   } /* end interface */                 
   IMPLEMENTATION {
      AUX {
         BOOL d; }
      AD {
         d = 0.5 * hmax <= h; }
      OUTPUT {
         y = d;}
   } /* end implementation */
} /* end system */