Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis

Title
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
Authors
Keywords
-
Journal
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 55, Issue 11, Pages 2527-2541
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2010-04-08
DOI
10.1109/tac.2010.2046931

Ask authors/readers for more resources

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation