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

supervisory controller

biblio

Visible to the public Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Submitted by aekwall on Mon, 02/08/2021 - 1:39pm
  • cyber-physical system
  • tunnels
  • system components
  • synthesis problem
  • supervisory controller
  • supervisor synthesis
  • required computational time
  • reduced order systems
  • model reduction steps
  • lengthy synthesis procedures
  • even unsolvable synthesis procedures
  • dependency graphs
  • Cyber Dependencies
  • Discrete-Event Systems
  • Scalability
  • discrete event systems
  • actuators
  • Compositionality
  • Human Factors
  • data visualisation
  • automata
  • sensors
  • cyber-physical systems
  • Analytical models
  • Metrics
  • graph theory
  • pubcrawl
  • Resiliency

Terms of Use  |  ©2023. CPS-VO