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
cyber-physical systems
biblio
Spatio-temporal semantic enhancements for event model of cyber-physical systems
Submitted by BrandonB on Mon, 05/04/2015 - 2:24pm
embedded systems
Adaptation models
attribution enhancement
basic event model
BEM
CEP engine Esper
complex event process
composition determination
Computational modeling
CPS
CPS event representation
cyber-physical systems
Data models
EIS
spatio-temporal semantic enhancements
event attribution extraction
event modeling
event process functions
event semantic
extended information set
multilevel heterogeneous embedded system
Observers
programming language semantics
semantic adaptor
Semantics
Sensor phenomena and characterization
spatio-temporal attributes
spatio-temporal event
biblio
Integrity based relationships and trustworthy communication between network participants
Submitted by BrandonB on Fri, 05/01/2015 - 9:10am
OSI layer 2
Unicast
trustworthy communication
Trusted Platform Module
Trusted Computing
trust establishment
trust
Servers
security
Protocols
protocol design
Payloads
participating node
authenticated node
operating system integrity
network participants
integrity based relationship
integrity
insider threat
industrial networks
encryption
cyber-physical systems
Cryptographic Protocols
computer network security
authentication protocol
authentication
biblio
Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges
Submitted by BrandonB on Fri, 05/01/2015 - 7:38am
power transmission
Vulnerability Analysis
Transmission line measurements
smart power grids
Smart Grids
smart grid reliability
Smart Grid
reliability modeling
Reliability
power transmission lines
Computational modeling
power system reliability
power generation
power engineering computing
power distribution
Markov processes
Markov embedded system model
IEEE-14 bus system
distributed power generation
cyber-physical systems
biblio
Power system adequacy assessment with probabilistic cyber attacks against breakers
Submitted by BrandonB on Fri, 05/01/2015 - 7:34am
power system adequacy assessment
Substations
substation protection
substation breakers
Smart Grid
security
SCADA systems
Reliability
probabilistic modeling
probabilistic cyber attacks
power system security
power system reliability
adequacy assessment
power engineering computing
load shedding
IEEE RTS79 system
IEC standards
Generators
Cybersecurity
cyber-physical systems
cyber-physical power grids
cyber security
cyber network
circuit breakers
biblio
SOCCA: A Security-Oriented Cyber-Physical Contingency Analysis in Power Infrastructures
Submitted by BrandonB on Fri, 05/01/2015 - 7:33am
network topology
state estimation
SOCCA
situational awareness
security-oriented cyber-physical contingency analysis
security
power system topology
power system security
power system planning
power system contingency
power infrastructures
power grids
physical components
accidental contingency
Mathematical model
malicious compromises
Indexes
grid operation
cyber-physical systems
cyber-physical security evaluation
cyber perspective
cyber network configuration
cyber components
control network
contingency analysis
Algorithm design and analysis
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
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems
Submitted by BrandonB on Thu, 04/30/2015 - 12:06pm
passivity
wormhole attacks
wormhole attack
wireless networks
wireless network
wireless LAN
telecommunication traffic
Silicon
Routing
resource management
passivity framework
computer network security
packet delays
networked control systems
network traffic
network flows
delays
delay constraints
cyber-physical systems
Cryptography
cryptographic mechanisms
biblio
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems
Submitted by BrandonB on Thu, 04/30/2015 - 12:06pm
passivity
wormhole attacks
wormhole attack
wireless networks
wireless network
wireless LAN
telecommunication traffic
Silicon
Routing
resource management
passivity framework
computer network security
packet delays
networked control systems
network traffic
network flows
delays
delay constraints
cyber-physical systems
Cryptography
cryptographic mechanisms
video
Compositional System Modeling with Interfaces - COSMOI
Submitted by tripakis on Wed, 12/03/2014 - 12:38pm
Multi-models
Modeling
Simulation
Validation and Verification
Foundations
Compositionality
contracts
cyber-physical systems
Functional Mockup Interface
Interfaces
model-based design
University of California at Berkeley
National CPS PI Meeting 2014
2014
Academia
video
Generalized Synchronization Trees
Submitted by Rance Cleaveland on Wed, 12/03/2014 - 12:27pm
Concurrency and Timing
Time Synchronization
Modeling
Foundations
bisimulation
Composition
cyber-physical systems
process algebra
University of Maryland
National CPS PI Meeting 2014
2014
Academia
« first
‹ previous
…
64
65
66
67
68
69
70
71
72
next ›
last »
