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
Linear systems
biblio
Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations
Submitted by grigby1 on Mon, 11/29/2021 - 1:10pm
Analytical models
Computational modeling
cyber-physical systems
Linear systems
pubcrawl
real-time
real-time systems
recovery
resilience
Resiliency
Safety
Scalability
security
sensor attacks
System recovery
biblio
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults
Submitted by aekwall on Tue, 07/27/2021 - 1:10pm
Computing Theory
resilience
composability
Compositionality
Computing Theory and Resilience
fault tolerance
Fault tolerant systems
High performance computing
Inhibition Method
linear equation systems solver
Linear systems
multiple hard faults
pubcrawl
reliability theory
Supercomputers
biblio
Initial-Value Privacy of Linear Dynamical Systems
Submitted by grigby1 on Wed, 06/02/2021 - 11:17am
Control Theory
differential privacy
Dynamical Systems
Human behavior
identifiability
Initial-Value Privacy
Linear systems
Observability
privacy
pubcrawl
resilience
Resiliency
Scalability
sensors
Trajectory
biblio
Actuator Security Index for Structured Systems
Submitted by aekwall on Mon, 01/25/2021 - 11:51am
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
biblio
Stealthiness of Attacks and Vulnerability of Stochastic Linear Systems
Submitted by grigby1 on Fri, 11/20/2020 - 12:53pm
stochastic systems
Stochastic Computing Security
Stochastic Linear Systems
stochastic linear system
stealthy attacks
stealthiness
estimation error
Kalman filters
Steady-state
Stability analysis
Detectors
Stochastic processes
security of data
Cyber-security
Linear systems
Vulnerability
control engineering computing
Scalability
Resiliency
resilience
pubcrawl
cyber-physical systems
security
biblio
On the Impact of Trusted Nodes in Resilient Distributed State Estimation of LTI Systems
Submitted by grigby1 on Mon, 10/05/2020 - 1:10pm
provably-correct distributed state estimation algorithm
trusted nodes
Trusted Computing
state estimation
set theory
sensors
security
Scalability
Robustness
resilient distributed state estimation
Resiliency
resilience
Redundancy
pubcrawl
attack-prone environment
NP-hard
Measurement
LTI systems
Linear systems
linear dynamical process
Human Factors
Heuristic algorithms
computer theory
computer network security
computational complexity
communication-link augmentation
attack-resilient algorithm
biblio
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
Submitted by grigby1 on Mon, 10/05/2020 - 1:01pm
linear control systems
Trajectory
Temporal Logic
system nonlinearities
Symmetric matrices
storage functions
simulation functions
pubcrawl
process control
nonlinear control systems
networks of control systems
matrix algebra
Matrices
linear temporal logic specification
Linear systems
Aerospace electronics
Large-scale systems
interconnection matrix
dissipativity-type properties
dissipativity-type compositional reasoning
dissipativity approach
dissipativity
controller design process
control system synthesis
control system networks
control nonlinearities
Compositionality
compositional scheme
compositional abstraction
Approximate abstractions
biblio
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
Submitted by grigby1 on Mon, 10/05/2020 - 12:59pm
interconnected control systems
Trajectory
Temporal Logic
stability
simulation functions
simulation function
pubcrawl
nonlinear control systems
Lyapunov-like function
Lyapunov methods
linear temporal logic specification
Linear systems
linear control systems
Interconnected Systems
Aerospace electronics
interconnected control system
feedback
externally stabilizable subspaces
controller design process
control system synthesis
continuous time systems
continuous control system
concrete control system
Concrete
Compositionality
compositional construction approximate abstraction
cognition
Approximate abstractions
biblio
Privacy-Enabled Secure Control of Fog Computing Aided Cyber-Physical Systems
Submitted by aekwall on Mon, 09/28/2020 - 11:16am
cyber physical systems
CPS Privacy
secure estimation scheme
Secure control design
privacy-enabled secure control
observer-based secure control problem
Luenberger observer
fog computing aided CPS
Fog computation
FCA-CPS
Data Perturbation
complicated computation
industrial process
Covariance matrices
Linear systems
Cryptography
Observers
Perturbation methods
fog layer
Human Factors
edge computing
security threats
privacy
pubcrawl
Human behavior
cyber-physical systems
distributed processing
data privacy
encryption
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
1
2
3
4
next ›
last »
