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
Valves
biblio
Configuration vulnerability in SNORT for Windows Operating Systems
Submitted by grigby1 on Fri, 12/23/2022 - 11:55am
security
IP networks
pubcrawl
Metrics
Resiliency
integrated circuits
telecommunication traffic
composability
operating systems
Windows Operating System Security
Valves
Programmable logic devices
biblio
Formal Analysis and Verification of Industrial Control System Security via Timed Automata
Submitted by grigby1 on Thu, 09/30/2021 - 12:55pm
model checking
Valves
timed automata
security
Resiliency
resilience
pubcrawl
process control
PLC
multiple fault diagnosis
automata
Metrics
malware detection
malware
ICS security
Human Factors
Human behavior
cyber physical systems
Clocks
biblio
Deceive the Attacker: Thwarting IP Theft in Sieve-Valve-based Biochips
Submitted by grigby1 on Mon, 11/02/2020 - 12:29pm
real-life biochips
IP theft
Lab-on-a-Chip
Microfluidics
Mixers
Multiplexing
obfuscated biochips
policy-based governance
practical sieve-valve based obfuscation
pubcrawl
IP networks
resilience
Resiliency
reverse engineering
security of data
Sequential analysis
sieve-valve-based biochips
sieve-valves
Valves
computer network security
bioassay developer
bioassay implementation
biochip building blocks
biochips
biological techniques
Biomembranes
bioMEMS
composability
attacker
control signals
cost-security trade-offs
desieve
highly-skilled-person-hour investment
industrial property
intellectual property rights
intellectual property security
internet
biblio
Can Multi-Layer Microfluidic Design Methods Aid Bio-Intellectual Property Protection?
Submitted by grigby1 on Thu, 07/30/2020 - 1:48pm
biointellectual property protection
ip protection
skilled person-hour investment
significant fiscal person-hour investment
Product design
Multiplexing
multilayer microfluidic design methods
Mixers
Microfluidics
Lab-on-a-Chip
intellectual property rights
Foundries
biotechnology
bioMEMS
pubcrawl
bioassay implementation
bioassay developer
Three-dimensional displays
reverse engineering
Valves
Layout
Nonhomogeneous media
composability
industrial property
Resiliency
resilience
policy-based governance
biblio
Analysis of Wells-type turbines’ operational parameters during winter of 2014 at Mutriku wave farm
Submitted by grigby1 on Fri, 04/24/2020 - 12:02pm
privacy
Wells-type turbines
wave power generation
Valves
Turbines
time 5.0 min
security
SCADA systems
SCADA data recording system
Resiliency
resilience
renewable energy sources
renewable energy
pubcrawl
composability
pressure 9234.2 Pa
power 7681.6 W
OWC technology
Oscillating Water Column
oscillating behaviors
Mutriku wave farm
Metrics
Meteorology
Fluids
fluid mechanics
electricity meter
Cyclones
biblio
Special Session: Countering IP Security Threats in Supply Chain
Submitted by grigby1 on Thu, 03/12/2020 - 12:09pm
Monitoring
Valves
Trojan insertion
Training
telecommunication security
tagging
supply chain security
supply chain management
Supply Chain
Scalability
reverse engineering
Resiliency
resilience
pubcrawl
Protocols
production engineering computing
Data models
machine learning
logic locking schemes
logic design
learning-based trust verification
learning (artificial intelligence)
IP security threats
invasive software
internet
integrated circuits
integrated circuit technology
integrated circuit manufacture
integrated circuit fabrication
integrated circuit design
Human behavior
electronic engineering computing
biblio
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
Submitted by grigby1 on Mon, 03/05/2018 - 1:08pm
security of data
Industrial Control Systems
Integrated circuit modeling
legacy systems
Metrics
process invariants
pubcrawl
resilience
Resiliency
security
industrial control
security requirements
security specifications
software maintenance
timed automata
UPPAAL
Valves
water supply
water treatment
computer security
and Cyber Physical Systems
Attack detection
attack detection mechanisms
automata
automata theory
Clocks
coding theory
Compositionality
6-stage operational water treatment plant
critical infrastructure
Cryptography
Cyber Attack Detection
cyber attack prevention
cyber security
formal methods
formal verification
ICs
biblio
A multi-fault diagnosis strategy of electro-hydraulic servo actuation system based on extended Kalman filter
Submitted by grigby1 on Thu, 02/15/2018 - 11:47am
Metrics
Valves
Servomotors
Resiliency
resilience
pubcrawl
Pistons
multiple fault diagnosis
multi-fault diagnosis
actuation system
Kalman filters
Human Factors
human factor
Human behavior
fault diagnosis
extended Kalman filter
aerospace control
biblio
Using timed automata and fuzzy logic for diagnosis of multiple faults in DES
Submitted by grigby1 on Thu, 02/15/2018 - 11:47am
identification phase
Valves
timed automata
temporal parameters
temporal evolution
sensors
Resiliency
resilience
pubcrawl
normal operation
multiple fault diagnosis
monitoring time operation
Monitoring
Metrics
Mathematical model
location
actuators
Human Factors
human factor
Human behavior
Fuzzy logic
filling system
faulty operation
fault diagnosis
failure diagnosis
discrete event systems
Diagnosis
DES
default
Clocks
automata theory
automata
