Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Analytical models
biblio
Convergence of physical system and cyber system modeling methods for aviation cyber physical control system
Submitted by BrandonB on Fri, 05/01/2015 - 8:06am
computational design concern
Unified modeling language
Spatial-Temporal Features
physical system modeling method
physical design concern
Modelicaml
Modelica
model-integrated development approach
Mathematical model
management problem
Formal Specification
Dynamic Continuous Features
design disciplines
cyber system modeling method
cyber physical systems
convergence
AADL
aviation system convergence
aviation cyber-physical systems
aviation cyber-physical system design
Aviation Cyber Physical System
aviation cyber physical control system
Atmospheric modeling
Architecture Analysis & Design Language
Analytical models
aircraft system specification
aircraft system modeling
Aircraft
aerospace control
aerospace computing
ACPS design
biblio
A game-theory analysis of the rat-group attack in smart grids
Submitted by BrandonB on Fri, 05/01/2015 - 7:40am
Analytical models
attack
Companies
electricity
game theory
game-theory analysis
Games
power engineering computing
Power Grid
rat-group attack
security of data
Smart Grid
Smart Grids
smart meter
smart meters
smart power grids
biblio
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure
Submitted by BrandonB on Fri, 05/01/2015 - 7:33am
power system economics
Voltage control
Substations
Stochastic processes
Stochastic Process
stochastic model based analysis
smart power grids
Smart Grids
smart grid infrastructure resilience
SAN Formalism
renewable redistributed energy resource
quality of service
power system reliability
power system efficiency
Analytical models
power system control
modeling framework
Low voltage
Load modeling
Interdependencies
ICT functionalities
ICT control functions
Generators
Electrical Smart Grid
electrical equilibrium
critical infrastructures
critical infrastructure
biblio
Integrated Security Analysis on Cascading Failure in Complex Networks
Submitted by BrandonB on Fri, 05/01/2015 - 7:28am
power grids
Topology
structural vulnerability
standard IEEE 118-bus test system
security of data
security
power transfer distribution factor-based model
Power system protection
power system faults
Analytical models
power grid components
network security perspective
integrated security analysis
extended topological metric
extended topological analysis
complex networks
Complex network security
cascading failure
biblio
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust
Submitted by BrandonB on Thu, 04/30/2015 - 1:35pm
information flow security
Trusted Computing
trust state manipulation
Stuxnet attacks
Stuxnet
Software
security of data
security models
security
nondeducibility
multiple security domains nondeducibility
MSDND
Monitoring
modal model
modal frames
Analytical models
information flow disruption attacks
implicit trust
human operators
event system analysis
electronic monitors
doxastic logic
cyber-physical systems
cyber security
Cyber Physical System
CPS
Cost accounting
cognition
Bismuth
belief manipulation
biblio
Modeling impact of attacks, recovery, and attackability conditions for situational awareness
Submitted by BrandonB on Thu, 04/30/2015 - 12:05pm
Intrusion Detection
topological attackability condition
timing relationships
time Petri nets
situational awareness
sensors
security of data
scanners
Petri nets
numerical evaluation
modeling impact
linear time-invariant system
Linear systems
actuators
Fires
dynamic analysis
distributed processing
distributed cyber control system
distributed control system
Decentralized Control
controllers
Control Theory
assets influence
anomaly-based intrusion detection system
Analytical models
« first
‹ previous
…
34
35
36
37
38
39
40
41
42
