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
Concrete
biblio
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
Submitted by grigby1 on Mon, 10/05/2020 - 1: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
A Notion of Robustness for Cyber-Physical Systems
Submitted by el_wehby on Sun, 05/27/2018 - 6:53pm
Computational modeling
Concrete
control systems
Cost function
Robustness
Software
Stability analysis
1552668
biblio
The optimization method of the integrated management system security audit
Submitted by K_Hooper on Wed, 05/09/2018 - 10:56am
optimization method
Standards organizations
security of data
Security Audits
security
Scalability
Resiliency
pubcrawl
Organizations
organisational aspects
auditing
optimization
optimisation
ISO standards
integrated management system security audit
IMs
Human behavior
Concrete
complex checks
biblio
Secure Compilation and Hyperproperty Preservation
Submitted by grigby1 on Wed, 01/10/2018 - 12:19pm
Safety
untyped target language
typed source language
Type theory
trace-preserving compilation
TPC
Syntactics
standards
Semantics
Security Properties
security of data
security
secure compilers
secure compilation
safety hyperproperties
coding theory
Resiliency
pubcrawl
program verification
Program processors
program compilers
low-level attack capabilities
hyperproperty preservation
fully abstract compiler
correctness criterion
Concrete
composability
compiler security
compiled program
biblio
"Water treatment in context: resources and African religion"
Submitted by grigby1 on Tue, 02/21/2017 - 1:11pm
risk factor
filtration processes
hydraulic conductivity
Microorganisms
mixtures
mortality rates
organization dependence
physical entrapment
point-of-use
pubcrawl170104
filtration
sub-Saharan Africa
surface water sources
testing
water filtration methods
Water pollution
water supply
water supply availability
water treatment
concrete filtration
Africa
African religion
Aggregates
bacterial count tests
cement mixture
cements (building materials)
compressive strength
Concrete
absorption
concrete mixtures
Containers
contaminants
contaminated water source
drinking water availability
drinking water filtration
effluent
effluents
biblio
PVCoherence: Designing flat coherence protocols for scalable verification
Submitted by BrandonB on Wed, 05/06/2015 - 2:39pm
Manuals
storage overhead
scalable verification
PVCoherence
Protocols
parametric verification
Parametric statistics
model checking
memory protocols
automated verification methodology
Guidelines
formal verification
flat coherence protocol
Concrete
Coherence
cache storage
cache coherence protocol
biblio
Provably Secure Group Key Management Approach Based upon Hyper-Sphere
Submitted by BrandonB on Wed, 05/06/2015 - 1:49pm
PRF
Vectors
security
secure group communication systems
robust group key management approach
re-keying messages
random number
public key cryptography
pseudorandom function assumption
pseudo-random function (PRF)
provably secure group key management approach
provable security
Protocols
private key cryptography
Algorithm design and analysis
member private point
massive membership change
key management
hyper-sphere theory
hyper-sphere
group controller
Group communication
GC
Galois fields
Educational institutions
Concrete
central point
