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
satisfiability modulo theories
biblio
Implement Security Analysis of Access Control Policy Based on Constraint by SMT
Submitted by grigby1 on Fri, 05/12/2023 - 9:15am
Scalability
satisfiability modulo theories
policy analysis
Resiliency
Control Theory
Transforms
Semantics
ABAC
Access Control
information security
Analytical models
security
performance evaluation
Conferences
resilience
Human Factors
Human behavior
pubcrawl
biblio
A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study
Submitted by aekwall on Mon, 07/20/2020 - 9:32am
SDNSynth framework
resiliency-aware deployment
resilient operation
satisfiability modulo theories
SCADA
SCADA network
SCADA systems
SCADA-based case study
SDN architecture
SDNSynth
resiliency requirements
Smart Grid
Smart Grids
smart power grids
software defined networking
supervisory control and data acquisition network
Switches
synthesis model
synthetic SCADA systems
systematic deployment methodology
legacy forwarding devices
budget constraints
computability
Control Theory and Resiliency
deployment plan
encoding
formal model
formal modeling
hybrid network
incremental deployment
pubcrawl
network synthesis
network topology
novel grid control operations
power engineering computing
programmable SDN-enabled switches
real-time data
resilience
Resiliency
biblio
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Submitted by grigby1 on Tue, 09/05/2017 - 12:25pm
composability
CPS modeling
data-driven energy consumption models
embedded systems
energy optimisation
hardware-in-the-loop simulation
Metrics
Petri nets
pubcrawl
Resiliency
satisfiability modulo theories
simulation
synthesis
timed i/o automata
verification
