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

Mechanical systems

biblio

Visible to the public On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems

Submitted by grigby1 on Fri, 06/19/2020 - 11:48am
  • programmable controllers
  • Trusted Computing
  • trust preservation
  • trust inheritance analysis
  • system validation
  • software-driven systems
  • security of data
  • Scalability
  • Resiliency
  • resilience
  • regression verification processes
  • regression analysis
  • pubcrawl
  • control engineering computing
  • Policy-Governed Secure Collaboration
  • policy-based governance
  • PLC software
  • Mechanical systems
  • manufacturing automation
  • manufacturing
  • formal verification
  • Formal Specification
  • formal correctness analysis
  • false trust
  • cyber-physical systems of systems
  • cyber-physical systems
biblio

Visible to the public Electromagnetic Design and Dynamic Characteristics of Permanent Magnet Linear Oscillating Machines Considering Instantaneous Inductance According to Mover Position

Submitted by grigby1 on Fri, 04/24/2020 - 4:09pm
  • Mechanical systems
  • Stator cores
  • Resiliency
  • resilience
  • pubcrawl
  • privacy
  • permanent magnet motors
  • oscillating behaviors
  • Metrics
  • composability
  • Magnetic forces
  • IPM linear machine
  • instantaneous inductance
  • Inductance
  • Force
  • Electromagnetics
  • Dynamic characteristic

Terms of Use  |  ©2023. CPS-VO