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
secure controller
biblio
Synthesizing Secure Reactive Controller for Unmanned Aerial System
Submitted by grigby1 on Thu, 12/17/2020 - 1:02pm
policy-based governance
unmanned aerial system
UAS vulnerability
UAS attack scenarios
two-player game process
Temporal Logic
security of data
security
secure reactive controller synthesis
secure controller
robot operating systems
Resiliency
resilience
reactive synthesis
pubcrawl
autonomous aerial vehicles
Path Planning
packets injection
multirobots system
multi-robot systems
malicious attacks
LTLMoP platform
Linear Temporal Logic
Human Factors
Human behavior
GPS spoofing
game theory
control engineering computing
complex CPS
buffer-overflow
biblio
Modeling software defined security using multi-level security mechanism for SDN environment
Submitted by grigby1 on Mon, 06/11/2018 - 2:20pm
packet features
vulnerable threats
thirdly controllers
Software Defined Security
Software Defined Networking support
software defined networking
security based challenges
secure controller
SDN-security
SDN environment
SDN architecture design
risk level
Resiliency
resilience
quality of service
pubcrawl
authentication
OpenFlow
nonbenign flow
Networked Control Systems Security
multilevel security mechanism
Metrics
Measurement
IP networks
fuzzy logic system
Fuzzy logic
flow packet
dual-fuzzy logic design
control systems
computer network security
composability
benign flow packets
