أرسل هذا في رسالة قصيرة: Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems

             ___       _____    _____             
  ____      / _ \\    / ___//  |  ___||     ___   
 |    \\   / //\ \\   \___ \\  | ||__      /   || 
 | [] ||  |  ___  ||  /    //  | ||__     | [] || 
 |  __//  |_||  |_|| /____//   |_____||    \__ || 
 |_|`-`   `-`   `-` `-----`    `-----`      -|_|| 
 `-`                                         `-`