actuators

biblio

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Submitted by aekwall on Mon, 02/08/2021 - 12: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 - 11:54am

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 - 11:54am

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 - 11:53am

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 - 11:53am

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 - 11:52am

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 - 11:52am

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 - 11:51am

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 - 11:51am

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

biblio

Actuator Security Index for Structured Systems

Submitted by aekwall on Mon, 01/25/2021 - 11:51am

actuator security
actuator security index
actuators
Barium
composability
control system security
directed graphs
directed subgraphs
discrete time systems
discrete-time LTI network systems
generic security index
graph-theoretic conditions
Human behavior
Indexes
large scale energy systems
Large-scale systems
Linear systems
Metrics
power system security
pubcrawl
Resiliency
security
Sensor Systems
structured systems
vulnerable actuators

1
2
3
4
5
6
7
next ›
last »

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

actuators

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Tackling Actuator Saturation in Fixed Point Iteration-based Adaptive Control

Data-driven Stealthy Actuator Attack against Cyber-Physical Systems

Aging Attacks against Electro-Mechanical Actuators from Control Signal Manipulation

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*

AuthentiCAN: a Protocol for Improved Security over CAN

Runtime Enforcement for Control System Security

Towards Industrial Security Through Real-time Analytics

Image Processing Technique for Smart Home Security Based On the Principal Component Analysis (PCA) Methods

Actuator Security Index for Structured Systems