Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
IEEE Transactions on Automatic Control- United States
doi 10.1109/tac.2010.2046931
Full Text
Abstract
Available in
Date
November 1, 2010
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)