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
closed-loop system
biblio
Stabilization of Cyber Physical System exposed to a random replay attack modeled by Markov chains
Submitted by aekwall on Tue, 09/08/2020 - 9:00am
linear matrix inequalities
Chained Attacks
stochastic systems
stochastic stabilization
stabilization problem
random replay attack
packet losses
Markovian jump linear system
Markov chains
linear matrix inequality formulation
jumping parameters
communication delays
Numerical stability
Cyber Physical System
computer network security
closed loop systems
closed-loop system
CPS
Trajectory
stability
Linear systems
Markov processes
Stability analysis
delays
pubcrawl
Resiliency
cyber-physical systems
Scalability
biblio
Modelling, analysis and design of active queue management to mitigate the effect of denial of service attack in wired/wireless network
Submitted by grigby1 on Mon, 03/23/2020 - 3:16pm
Metrics
wireless sensor networks
wireless network
wired network
Time delay
telecommunication congestion control
TCP/AQM system
stochastic systems
stabilizing control syntheses
stability
Router Systems Security
Resiliency
resilience
queue router attacks
pubcrawl
active queue management
Markovian jump linear system
Linear systems
Guaranteed cost approach
feedback control
distributed denial of service attacks
denial of service attack
delays
delay-dependent conditions
DDoS Attacks
Congestion Control
computer network security
closed-loop system
closed loop systems
AQM security
biblio
Supervisor Obfuscation Against Actuator Enablement Attack
Submitted by aekwall on Mon, 01/13/2020 - 11:18am
actuator attackers
actuator security
supervisor obfuscation
SAT solvers
obfuscated supervisor
normality assumption
finite state machines
finite state automata
computability
closed loop systems
behavior-preserving supervisors
attackability
actuator enablement attack
security of data
Discrete-Event Systems
closed-loop system
actuator attacker
actuator attack
supervisory control
Metrics
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
biblio
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors
Submitted by aekwall on Mon, 01/13/2020 - 11:17am
actuator attack model
actuator security
supremal successful normal actuator attackers
partial observation
normal supervisors
Discrete-Event Systems
discrete event systems
control command
closed-loop system
attackable events
actuator attacker
security of data
actuator attack
actuators
supervisory control
Metrics
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
biblio
Event-triggered based on-line optimization for a class of nonlinear systems
Submitted by grigby1 on Wed, 03/08/2017 - 12:55pm
hybrid set-valued dynamical systems
waiting time
time-domain analysis
system stability properties
Steady-state
semicontinuous dependence
sampled-data structure
sampled data systems
Robustness
robust online optimization
robust control
pubcrawl170110
optimization
optimisation
nonlinear systems
nonlinear control systems
Asymptotic stability
event-triggered based online optimization
event-based update rule
discrete-time optimizer
discrete-time dynamics
discrete-time controller
discrete time systems
convergence rate
convergence
continuous-time nonlinear systems
continuous-time dynamics
continuous time systems
closed-loop system
closed-loop dynamics
closed loop systems
