Verifiable cots-based cyber-physical systems

Posted on:2014-08-24

Degree:Ph.D

Type:Dissertation

University:University of Illinois at Urbana-Champaign

Candidate:Bak, Stanley Zbigniew

Full Text:PDF

GTID:1458390008456566

Subject:Computer Science

Abstract/Summary:

Cyber-physical systems (CPS) use networked control software to interact with and manipulate the physical world. Examples of cyber-physical systems include smart buildings, power distribution networks, and fl&...

Keywords/Search Tags:

Cyber-physical, Systems

Related items

1	Researches On Effective Defensive Strategies For Deception Attacks In The Cyber-Physical Systems
2	Study On Modeling And Simulation Of Cyber-Physical Systems Based On Extended Time Petri Nets
3	On The Research Of Data And Model-driven Dynamic Cyber-security Protection For Industrial Cyber-physical Systems
4	Detection And Description Of Multiple Actuator And Sensor Cyber-Attacks For Cyber-Physical Systems
5	A Watermarking Strategy For Cyber Physical Systems Under KL Divergence Detector
6	Research On Attack&Defense Model Of Industrial Cyber-Physical Systems Based On Physical Fingerprinting
7	Research On Equation-based Modeling And Simulation Of Cyber Physical Systems
8	Research On Security Control Of Cyber-Physical Systems Under Network Quantization Environments
9	Research On Key Technology Of Heterogeneous Entity Communication In Cyber-Physical Systems
10	Research On The Methods Of Data-Driven Based Cyber-Physical Systems Security Problems