Description
Cyber-Physical Systems (CPS) are being used in many safety-critical applications. Due to the important role in virtually every aspect of human life, it is crucial to make sure that a CPS works properly before its deployment. However, formal verification of CPS is a computationally hard problem.
Download count: 0
Details
Contributors
- Dokhanchi, Adel (Author)
- Fainekos, Georgios (Thesis advisor)
- Lee, Yann-Hang (Committee member)
- Sarjoughian, Hessam S. (Committee member)
- Shrivastava, Aviral (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2017
Subjects
Resource Type
Collections this item is in
Note
- Doctoral Dissertation Computer Science 2017