A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems (Q2980448)

From MaRDI portal
!
WARNING

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

scientific article; zbMATH DE number 6711148
Language Label Description Also known as
default for all languages
No label defined
    English
    A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
    scientific article; zbMATH DE number 6711148

      Statements

      A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems (English)
      0 references
      0 references
      0 references
      3 May 2017
      0 references

      Identifiers