Test-Based Falsification and Conformance Testing for Cyber-Physical Systems

Test-Based Falsification and Conformance Testing for Cyber-Physical Systems

abstract: 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?...

Full description

Bibliographic Details
Other Authors: Abbas, Houssam (Author)
Format: Doctoral Thesis
Language:English
Published: 2015
Subjects:
Electrical engineering
Computer science
Conformance
Cyber-Physical Systems
Embedded systems
Hybrid systems
Verification
Online Access:http://hdl.handle.net/2286/R.I.29861

Internet

http://hdl.handle.net/2286/R.I.29861

Similar Items