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
explosion
biblio
Runtime Enforcement for Control System Security
Submitted by aekwall on Mon, 01/25/2021 - 11:52am
observable actions
alphabet P
classical properties
corrupted controllers
cyber components
enforceable regular expression e
external events
heterogeneous physical components
incorrect actions
industrial facilities
Ligatti et al.
monitored controllers
nonobvious properties
ad-hoc sub-class
physical processes
PLC malware
potentially compromised controllers
Process calculus
programmable logic controllers
Regan's Timed Process Language
runtime enforcement
runtime enforcement techniques
specification compliance
synthesis algorithm
timed property
program verification
Monitoring
Runtime
security
critical infrastructures
Industrial Control Systems
Resiliency
Human behavior
pubcrawl
composability
Metrics
process control
security breaches
security of data
sensors
automata
industrial control
Cyber-physical attacks
actuators
control system security
actuator security
explosion
Smart Systems
controller
formal languages
biblio
Anomaly Detection in Surveillance Videos
Submitted by aekwall on Mon, 04/13/2020 - 9:28am
long short-term memory networks
Videos
anomalous behavior
anomaly classification
CNN-LSTM model
explosion
Explosions
Frames
learning patterns
video surveillance
public safety
road accidents
spatial feature extraction
spatial feature learning
surveillance videos
temporal feature learning
UCF Crime dataset
convolutional neural nets
feature extraction
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
Metrics
LSTM networks
Training
security of data
Anomaly Detection
convolutional neural networks
image classification
video signal processing
recurrent neural nets
classification
surveillance
