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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

multirobots system

biblio

Visible to the public 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

Terms of Use  |  ©2023. CPS-VO