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

CPS development processes

biblio

Visible to the public InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

Submitted by grigby1 on Tue, 02/16/2021 - 1:40pm
  • energy constraints
  • Damage Assessment
  • trustworthy CPS
  • prognostics and health management
  • PHM techniques
  • InFoCPS PhD research project
  • formal analysis techniques
  • formal analysis
  • energy uncertainty
  • energy prognostics
  • cyber-physical systems
  • electric batteries
  • dynamic energy behaviors
  • CPS development processes
  • Energy storage
  • power aware computing
  • formal verification
  • Resiliency
  • resilience
  • pubcrawl

Terms of Use  |  ©2023. CPS-VO