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

data-driven energy consumption models

biblio

Visible to the public Building Power Consumption Models from Executable Timed I/O Automata Specifications

Submitted by grigby1 on Tue, 09/05/2017 - 1:25pm
  • composability
  • CPS modeling
  • data-driven energy consumption models
  • embedded systems
  • energy optimisation
  • hardware-in-the-loop simulation
  • Metrics
  • Petri nets
  • pubcrawl
  • Resiliency
  • satisfiability modulo theories
  • simulation
  • synthesis
  • timed i/o automata
  • verification

Terms of Use  |  ©2023. CPS-VO