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
verification process
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
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment
Submitted by grigby1 on Fri, 09/18/2020 - 2:15pm
pre-silicon security assessment
design stage
formal verification methods
hardware designer
hardware overhead
hardware system
hardware vulnerabilities
language based framework
language-based approach
language-based hardware security verification
malicious logic detection
potential security vulnerabilities
design mistakes
promising solution
QIF model
QIF-Verilog
quantified information flow model
quantitative information-flow
security rules
verification process
Verilog type systems
vulnerable logic detection
compiler security
integrated circuit testing
Hardware design languages
Cryptography
security solutions
security of data
security
pubcrawl
Metrics
resilience
Resiliency
Hardware
Integrated circuit modeling
hardware description languages
Scalability
Registers
integrated circuit design
formal verification
Measurement
Compositionality
uncertainty
Vulnerability Analysis
electronic engineering computing
data flow