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
Linear Temporal Logic
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
biblio
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier
Submitted by grigby1 on Fri, 10/16/2020 - 11:23am
LTL
verification
tools
SPIN verifier
SPIN formal verifier
SPIN
Security analysis
Resiliency
resilience
pubcrawl
Protocol Security
Promela language
policy-based governance
model checking
MITM
man in the middle attack
authentication
Linear Temporal Logic
government data processing
formal verification
Electronic voting systems
electronic voting system
electronic voting protocol
electronic voting
e-voting
E-Government
data substitution
Cybersecurity
Cryptographic Protocols
cryptographic protocol
collaboration
file
An Aircraft Electric Power System Domain-Specific Language for Reactive Control Protocols
Submitted by brad_martin on Tue, 04/22/2014 - 12:53pm. Contributors:
Huan Xu
Necmiye Ozay
Richard Murray
Presented as part of the
2014 HCSS conference
.
Abstract:
Aircraft Electric Power System
CalTech
Domain-Specific Language
Linear Temporal Logic
University of Maryland
University of Michigan
National HCSS Conference 2014
Academia
Presentation
HCSS'14
Reasoning about Control (HCSS'14)
