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
Predictive Metrics
biblio
Multi-Model Resilient Observer under False Data Injection Attacks
Submitted by aekwall on Tue, 05/25/2021 - 3:23pm
CPS modeling
simulation
composability
CPS Modeling and Simulation
cyber-physical systems
Decoding
false data injection attacks
Monitoring
observer
Observers
optimization
Predictive Metrics
pubcrawl
resilience
Resiliency
sensors
biblio
Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression
Submitted by aekwall on Tue, 05/25/2021 - 3:22pm
Neural networks
VAE based regression
uncertainty
Training
simulation
self-driving vehicles
Resiliency
pubcrawl
Predictive models
Predictive Metrics
CPS Privacy
inductive conformal prediction
delays
cyber-physical systems
CPS Modeling and Simulation
CPS modeling
composability
Autonomous automobiles
adversarial example detection
biblio
Distributed Energy Resources Design Method to Improve Energy Security in Critical Facilities
Submitted by aekwall on Tue, 05/25/2021 - 3:21pm
Microgrids
stand-alone
solar
security
Resiliency
resilience
pubcrawl
Predictive Metrics
photovoltaics
off-grid
CPS modeling
microgrid
Load modeling
energy security
distributed energy resources
design tools
CPS Modeling and Simulation
composability
batteries
simulation
biblio
Research on Integrated Model and Interactive Influence of Energy Internet Cyber Physical System
Submitted by aekwall on Tue, 05/25/2021 - 3:21pm
delays
Software
Resiliency
pubcrawl
Predictive Metrics
internet
interactive influence
integrated CPS model
energy internet
CPS modeling
Data models
cyber-physical system
CPS Modeling and Simulation
Computational modeling
composability
Analytical models
simulation
biblio
Novel Strategies for Security-hardened BMS for Extremely Fast Charging of BEVs
Submitted by aekwall on Tue, 05/25/2021 - 3:21pm
moving target defense (MTD)
Switches
state of charge
SOC control
security
secure charging
Resiliency
pubcrawl
process control
Predictive Metrics
optimal control
CPS modeling
Mathematical model
CPS Modeling and Simulation
CPS
controller and feedback redundancy
composability
BEVs
battery management systems (BMS)
batteries
simulation
biblio
Efficient Modeling of IEC-61850 Logical Nodes in IEDs for Scalability in CPS Security Testbed
Submitted by aekwall on Tue, 05/25/2021 - 3:20pm
Protocols
wide-area measurement system (WAMS)
Substations
security
Scalability
SCADA
Resiliency
Relays
real-time systems
pubcrawl
CPS modeling
Predictive Metrics
IEC-61850
Heuristic algorithms
hardware-in-the-loop
DNP3
cyber-physical system (CPS) testbed
CPS Modeling and Simulation
composability
simulation
biblio
Scalable yet Rigorous Floating-Point Error Analysis
Submitted by aekwall on Mon, 05/03/2021 - 1:19pm
High performance computing
Symbolic Execution
Scalable Analysis
Round-off error
floating-point arithmetic
Algorithmic Differentiation
abstraction
Error analysis
scalable verification
Resiliency
numerical analysis
Compositionality
Predictive Metrics
Scalability
tools
optimization
resource management
pubcrawl
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Complexity theory
deep reinforcement learning
contract-based design
scalable verification
verification
Compositionality
Predictive Metrics
Neural networks
Scalability
Safety
contracts
Artificial Neural Networks
cyber-physical systems
Robustness
pubcrawl
Resiliency
programming
biblio
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Brakes
Compositionality
Hardware
Predictive Metrics
process control
pubcrawl
Resiliency
Scalability
scalable verification
sensors
Software
timing
Wheels
biblio
Verification of a Rapidly Multiplexed Circuit for Scalable Action Potential Recording
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
analog design
windowed integrator sampling
neuroscience
neural recording
neural engineering
neural amplifier
In vivo
electrode array
electrode
Electric potential
Biomedical Engineering
Resiliency
Action potentials
Action potential
scalable verification
Compositionality
Predictive Metrics
Multiplexing
Scalability
Urban areas
Electrodes
pubcrawl
« first
‹ previous
…
15
16
17
18
19
20
21
22
23
…
next ›
last »
