A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems

Romulo Meira-Goes, Jack Weitze, Stephane Lafortune

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems'. Together they form a unique fingerprint.

Keyphrases

Engineering

Computer Science

Mathematics