• Run Time verifcation of Hybrid Systems 

      Alouffi, Bader (Thesis or dissertation / Doctoral / PhD)
      The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates both discrete and continuous systems. Given that hybrid systems are ...