This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...

establishing and operating private radio and television and its possible activity beside state radio and television is the selective method of administering radio and television in many countries worldwide. in legal system of iran, state run radio and television in article 44 of the constitution and interpretation of guardian council of mentioned article, establishing private radio and televisi...

This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37] systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...