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
actuator security
biblio
Tackling Actuator Saturation in Fixed Point Iteration-based Adaptive Control
Submitted by aekwall on Mon, 01/25/2021 - 12:54pm
nonlinear control systems
van der Pol oscillator
saturated control system
relaxation oscillators
nominal trajectory
Lyapunov function-based approach
FPIAC control
fixed point iteration-based adaptive control
Fixed Point Iteration
control design methods
Banach Space
Anti-windup
adaptive control
actuator saturation
Resiliency
actuator security
controller design
control system synthesis
iterative process
Lyapunov methods
actuators
dynamic system
Metrics
Iterative methods
composability
pubcrawl
Human behavior
biblio
Data-driven Stealthy Actuator Attack against Cyber-Physical Systems
Submitted by aekwall on Mon, 01/25/2021 - 12:54pm
actuators
stealthy attack
data-driven stealthy actuator attack
Data-Driven
cyber-physical system security
convex optimization problem
attack signal
arbitrary detectors
Technological innovation
Covariance matrices
convex programming
actuator security
computer network security
Metrics
detection rate
composability
pubcrawl
Human behavior
Resiliency
Electronic mail
cyber-physical systems
security
Detectors
biblio
Aging Attacks against Electro-Mechanical Actuators from Control Signal Manipulation
Submitted by aekwall on Mon, 01/25/2021 - 12:53pm
electro-mechanical actuators
aging
aging attacks
carrier frequency
control signal manipulation
corrupted controller
digital control
Digital controller
digital controller technologies
Cavity resonators
electromechanical actuators
EMA's aging
Harmonic analysis
ICS's physical system
nonlegitimate pulse width modulation control signal
Pulse width modulation
remotely-accessibility capacity
cybersecurity threats
partial discharges
Degradation
actuator security
actuators
control engineering computing
industrial control
Cybersecurity
Metrics
composability
pubcrawl
Human behavior
Resiliency
Industrial Control Systems
security
security of data
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
stochastic games
time-sensitive
Power capacitors
metric interval temporal logic objectives
finite state controller
durational stochastic game
control synthesis
control input
road traffic control
Clocks
actuator security
actuator attacks
CPS
actuators
timing information
timing
Temporal Logic
Games
probability
Stochastic processes
Metrics
Iterative methods
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
biblio
DARIA: Designing Actuators to Resist Arbitrary Attacks Against Cyber-Physical Systems
Submitted by aekwall on Mon, 01/25/2021 - 12:53pm
generci adversary model
specific attack algorithm
security-by-design
security mechanisms
secure design paradigm
pubcrawl
Optimal Defense
Metrics
Human behavior
CPS Modeling and Simulation
designing actuators to resist arbitrary attacks
DARIA
cyber-physical systems
computer network security
actuator security
Predictive Metrics
composability
Resiliency
biblio
AuthentiCAN: a Protocol for Improved Security over CAN
Submitted by aekwall on Mon, 01/25/2021 - 12:52pm
different ECUs
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
improved security
efficient networks
electronic equipments
fast protocols
latest infotainment technologies
malicious frames
modern cars work
reliable networks
simple networks
synergic manner
user interactions
vehicular protocol
Metrics
computer network security
data confidentiality
encryption
Receivers
Cryptographic Protocols
Protocols
Resiliency
Human behavior
pubcrawl
composability
vehicular ad hoc networks
road safety
authentication
Public key
security risk
sensor data
actuators
controller area network
actuator
actuator security
controller area networks
electronic control units
mobile phones
biblio
Runtime Enforcement for Control System Security
Submitted by aekwall on Mon, 01/25/2021 - 12:52pm
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
Towards Industrial Security Through Real-time Analytics
Submitted by aekwall on Mon, 01/25/2021 - 12:51pm
industrial security
security of data
security hardening
security breaches
security
Resiliency
real-time analytics
real-time
pubcrawl
production engineering computing
Metrics
low data utilization
loop ICS architecture
industrial setting
actuator security
industrial control system
industrial control
industrial
ICS community
Human behavior
financial safety harms
DRIP syndrome
data rich information poor syndrome
control stations
Industrial Control Systems
composability
Cloud Computing
actuators
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
face recognition
webcam camera
test data
solenoid door lock actuator
Raspberry pi 3 microcontroller
Raspberry Pi
Python software
Principal Component Analysis method
OpenCV
image processing technique
buzzer
smart home security
Face detection
actuator security
Webcams
security
actuators
home automation
Smart homes
security system
microcontrollers
PCA
Databases
Metrics
composability
pubcrawl
Human behavior
Resiliency
principal component analysis
biblio
Actuator Security Index for Structured Systems
Submitted by aekwall on Mon, 01/25/2021 - 12:51pm
Human behavior
vulnerable actuators
structured systems
Sensor Systems
security
Resiliency
pubcrawl
power system security
Metrics
Linear systems
Large-scale systems
large scale energy systems
Indexes
actuator security
graph-theoretic conditions
generic security index
discrete-time LTI network systems
discrete time systems
directed subgraphs
directed graphs
control system security
composability
Barium
actuators
actuator security index
1
2
3
4
5
6
next ›
last »
