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
Matrices
biblio
Identifying Ubiquitious Third-Party Libraries in Compiled Executables Using Annotated and Translated Disassembled Code with Supervised Machine Learning
Submitted by aekwall on Mon, 02/22/2021 - 1:44pm
Databases
vector
Matrices
k-nearest neighbor search
clustering methods
Bayes method
nearest neighbor search
supervised learning
Classification algorithms
Microprogramming
Predictive Metrics
reverse engineering
Software
Measurement
neural network
supply chain management
Libraries
tools
internet
graph theory
pubcrawl
machine learning
Support vector machines
Task Analysis
biblio
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
Submitted by grigby1 on Mon, 10/05/2020 - 2: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
Decentralized Verification for Dissipativity of Cascade Interconnected Systems
Submitted by grigby1 on Mon, 10/05/2020 - 1:49pm
learning-enabled subsystems
verification process
verification
subsystem parameters
Stability analysis
reinforcement learning algorithm
q-learning
pubcrawl
multivariable systems
model-free learning structure
minimum knowledge
Matrices
Mathematical model
linear subsystems
autonomous systems
learning (artificial intelligence)
largescale networks
large-scale cascade interconnections
Interconnected Systems
dissipativity properties
dissipativity
decentralized verification rule
Couplings
control system synthesis
Compositionality
cascade systems
cascade interconnected systems
biblio
A New Metric to Quantify the Vulnerability of Power Grids
Submitted by grigby1 on Fri, 04/24/2020 - 4:38pm
Matrices
DC load flow
electrical equations
grid geometry
Hybrid topological model
IEEE 118-bus system
industrial software
load distribution
load-flow equations
blackout
Network capacity reserve metric
power blackouts
power generators
power systems
topological indicators
vulnerability lines
Power Grid Vulnerability Assessment
pubcrawl
Load flow
Cascading Failures
network theory (graphs)
complex network theory
power system reliability
failure analysis
Measurement
Metrics
power grids
composability
Vulnerability
Mathematical model
Generators
Resiliency
resilience
biblio
Embedded Accelerators for Scientific High-Performance Computing: An Energy Study of OpenCL Gaussian Elimination Workloads
Submitted by grigby1 on Mon, 12/04/2017 - 12:58pm
high-performance supercomputers
ARM processors
Benchmark testing
Supercomputers
Compositionality
CPU
embedded accelerators
embedded systems
Energy Efficiency
Gaussian processes
gpu
graphics processing units
Hardware
high-performance computing
accelerators
HPC
low power devices
Matrices
Metrics
microprocessor chips
OpenCL Gaussian elimination workloads
parallel processing
performance evaluation
power aware computing
pubcrawl
Resiliency
Scientific Computing Security