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
actuator attacks
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
A Robust Control Architecture for Mitigating Sensor and Actuator Attacks on PV Converter
Submitted by aekwall on Mon, 01/13/2020 - 12:17pm
DC-DC photovoltaic converter
actuator security
μ-synthesis robust controller exhibits
system uncertainty perturbations
system state matrix
Sensor and Actuator Attacks
PV converter system
photovoltaic power systems
Photovoltaic Converter
Perturbation methods
p-synthesis robust control architecture
mitigating sensor
mitigating potential cyberattacks
injected attack signals
DC-DC power convertors
security of data
controller design
control system synthesis
actuator attacks
actuators
uncertainty
Cybersecurity
robust control
Metrics
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
Computer crime
biblio
An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks
Submitted by grigby1 on Mon, 03/19/2018 - 1:48pm
Metrics
state estimation
sparse strong observability
SMT-based approach
sensors
sensor attacks
security
secure state estimator
satisfiability modulo theory
Resiliency
resilience
pubcrawl
Observability
actuator attacks
Mathematical model
linear time-invariant system
Linear systems
Human behavior
fault tolerance
computability
composability
adversarial attack
adversarial agent
actuators
actuator security
biblio
An Adaptive Control Architecture for Cyber-Physical System Security in the Face of Sensor and Actuator Attacks and Exogenous Stochastic Disturbances
Submitted by grigby1 on Mon, 03/19/2018 - 1:48pm
Human behavior
uniform ultimate boundedness
uncertain systems
time-invariant adversarial sensor
Stochastic processes
stochastic exogenous disturbances
state-dependent adversarial sensor
sensor attacks
security
Resiliency
resilience
pubcrawl
novel adaptive control architecture
Metrics
mean-square sense
actuator attacks
High definition video
cyber-physical systems
cyber-physical system security
control system security
computer architecture
composability
closed-loop dynamical system
closed loop systems
aircraft lateral directional dynamics
adaptive controller
adaptive control
actuators
actuator security
