Model Based Safety Analysis of Cyber Physical Systems

Model Based Safety Analysis of Cyber Physical Systems

abstract: Cyber Physical Systems (CPSs) are systems comprising of computational systems that interact with the physical world to perform sensing, communication, computation and actuation. Common examples of these systems include Body Area Networks (BANs), Autonomous Vehicles (AVs), Power Distributio...

Full description

Bibliographic Details
Other Authors: Kandula, Sailesh Umamaheswara (Author)
Format: Dissertation
Language:English
Published: 2010
Subjects:
Computer Science
Cyber Physical Systems
Modeling
Safety
Verification
Online Access:http://hdl.handle.net/2286/R.I.8747

Internet

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

Similar Items