Description
In this dissertation, two problems are addressed in the verification and control of Cyber-Physical Systems (CPS):
1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?
Download count: 0
Details
Contributors
- Abbas, Houssam Y (Author)
- Fainekos, Georgios (Thesis advisor)
- Duman, Tolga (Thesis advisor)
- Mittelmann, Hans (Committee member)
- Tsakalis, Konstantinos (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2015
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: Ph.D., Arizona State University, 2015Note typethesis
- Includes bibliographical references (pages 113-124)Note typebibliography
- Field of study: Electrical engineering
Citation and reuse
Statement of Responsibility
by Houssam Y. Abbas