l0007.hys

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

SYSTEM watertank {
   INTERFACE {
      STATE {
         REAL h; }
      INPUT {
         REAL Q; }   
      PARAMETER {
         REAL hmax = 0.3; 
         REAL k    = 1; }        
   } /* end interface */                 
   IMPLEMENTATION {
      CONTINUOUS {
         h = h + k*Q; }
      MUST {
          h - hmax <= 0;
         -h        <= 0; }
   } /* end implementation */
} /* end system */