https://mavmatrix.uta.edu/cse_dissertations/323/
"CYBER-PHYSICAL SYSTEMS: FROM SPECIFICATION INFERENCE TO DESIGN ANALYSI" by Luan Viet Nguyen
Due to the high degree of uncertainty and complexity, design and analysis of cyber-physical systems (CPS) are very challenging tasks. The challenge arises...
cyber physical systemsinference to designspecificationluanviet