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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
actuators
biblio
Hybrid Attack Detection Framework for Industrial Control Systems using 1D-Convolutional Neural Network and Isolation Forest
Submitted by grigby1 on Tue, 03/30/2021 - 11:53am
1D-CNN model
actuators
Anomaly Detection
Auto-Encoder (AE)
control engineering computing
convolutional neural network (CNN)
Convolutional Neural Network models
Data models
feature extraction
feature extraction model
Forestry
ICs
ICS Anomaly Detection
industrial control
industrial control system
Industrial Control System (ICS)
industrial plants
Isolation Forest (IF)
isolation forest-based detection model
learning (artificial intelligence)
neural nets
process control
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
secure water treatment
sensors
SWaT testbed
biblio
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis
Submitted by aekwall on Mon, 02/08/2021 - 1:39pm
Scalability
Resiliency
pubcrawl
graph theory
Metrics
Analytical models
cyber-physical systems
sensors
automata
data visualisation
Human Factors
Compositionality
actuators
discrete event systems
cyber-physical system
Discrete-Event Systems
Cyber Dependencies
dependency graphs
even unsolvable synthesis procedures
lengthy synthesis procedures
model reduction steps
reduced order systems
required computational time
supervisor synthesis
supervisory controller
synthesis problem
system components
tunnels
biblio
Tackling Actuator Saturation in Fixed Point Iteration-based Adaptive Control
Submitted by aekwall on Mon, 01/25/2021 - 12:54pm
Resiliency
Human behavior
pubcrawl
composability
Iterative methods
Metrics
dynamic system
actuators
Lyapunov methods
iterative process
control system synthesis
controller design
actuator security
nonlinear control systems
actuator saturation
adaptive control
Anti-windup
Banach Space
control design methods
Fixed Point Iteration
fixed point iteration-based adaptive control
FPIAC control
Lyapunov function-based approach
nominal trajectory
relaxation oscillators
saturated control system
van der Pol oscillator
biblio
Data-driven Stealthy Actuator Attack against Cyber-Physical Systems
Submitted by aekwall on Mon, 01/25/2021 - 12:54pm
computer network security
Detectors
security
cyber-physical systems
Electronic mail
Resiliency
Human behavior
pubcrawl
composability
detection rate
Metrics
actuators
actuator security
convex programming
Covariance matrices
Technological innovation
arbitrary detectors
attack signal
convex optimization problem
cyber-physical system security
Data-Driven
data-driven stealthy actuator attack
stealthy attack
biblio
Aging Attacks against Electro-Mechanical Actuators from Control Signal Manipulation
Submitted by aekwall on Mon, 01/25/2021 - 12:53pm
cybersecurity threats
security of data
security
Industrial Control Systems
Resiliency
Human behavior
pubcrawl
composability
Metrics
Cybersecurity
industrial control
control engineering computing
actuators
actuator security
Degradation
partial discharges
Cavity resonators
aging
aging attacks
carrier frequency
control signal manipulation
corrupted controller
digital control
Digital controller
digital controller technologies
electro-mechanical actuators
electromechanical actuators
EMA's aging
Harmonic analysis
ICS's physical system
nonlegitimate pulse width modulation control signal
Pulse width modulation
remotely-accessibility capacity
biblio
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
Submitted by aekwall on Mon, 01/25/2021 - 12:53pm
timing information
cyber-physical systems
Resiliency
Human behavior
pubcrawl
composability
Iterative methods
Metrics
Stochastic processes
probability
Games
Temporal Logic
timing
stochastic games
actuators
CPS
actuator attacks
actuator security
Clocks
road traffic control
control input
control synthesis
durational stochastic game
finite state controller
metric interval temporal logic objectives
Power capacitors
time-sensitive
biblio
AuthentiCAN: a Protocol for Improved Security over CAN
Submitted by aekwall on Mon, 01/25/2021 - 12:52pm
road safety
computer network security
data confidentiality
encryption
Receivers
Cryptographic Protocols
Protocols
Resiliency
Human behavior
pubcrawl
composability
vehicular ad hoc networks
Metrics
authentication
Public key
security risk
sensor data
actuators
controller area network
actuator
actuator security
controller area networks
electronic control units
mobile phones
improved security
encryption system
actual data sources
added security features
authetication methods
called AuthentiCAN
CAN-FD
car manufacturers
compromised devices
continuous progress
data-unit transfer
destination ECUs
different ECUs
efficient networks
electronic equipments
fast protocols
latest infotainment technologies
malicious frames
modern cars work
reliable networks
simple networks
synergic manner
user interactions
vehicular protocol
biblio
Runtime Enforcement for Control System Security
Submitted by aekwall on Mon, 01/25/2021 - 12:52pm
security of data
Monitoring
Runtime
security
critical infrastructures
Industrial Control Systems
Resiliency
Human behavior
pubcrawl
composability
Metrics
process control
security breaches
program verification
sensors
automata
industrial control
Cyber-physical attacks
actuators
control system security
actuator security
explosion
Smart Systems
controller
formal languages
ad-hoc sub-class
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
observable actions
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
biblio
Towards Industrial Security Through Real-time Analytics
Submitted by aekwall on Mon, 01/25/2021 - 12:51pm
actuator security
actuators
Cloud Computing
composability
Industrial Control Systems
control stations
data rich information poor syndrome
DRIP syndrome
financial safety harms
Human behavior
ICS community
industrial
industrial control
industrial control system
industrial security
industrial setting
loop ICS architecture
low data utilization
Metrics
production engineering computing
pubcrawl
real-time
real-time analytics
Resiliency
security
security breaches
security hardening
security of data
biblio
Image Processing Technique for Smart Home Security Based On the Principal Component Analysis (PCA) Methods
Submitted by aekwall on Mon, 01/25/2021 - 12:51pm
security
principal component analysis
Resiliency
Human behavior
pubcrawl
composability
Metrics
Databases
PCA
microcontrollers
security system
Smart homes
home automation
actuators
face recognition
Webcams
actuator security
Face detection
smart home security
buzzer
image processing technique
OpenCV
Principal Component Analysis method
Python software
Raspberry Pi
Raspberry pi 3 microcontroller
solenoid door lock actuator
test data
webcam camera
1
2
3
4
5
6
7
next ›
last »
