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
buffer-overflow
biblio
Synthesizing Secure Reactive Controller for Unmanned Aerial System
Submitted by grigby1 on Thu, 12/17/2020 - 2: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
