A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.

Sahar Mohajerani Robi Malik Martin Fabian

Published in: IEEE Trans. Autom. Control. (2014)

Keyphrases

main contribution
real time
conceptual framework
information systems
knowledge base
website
three dimensional
data structure
probabilistic model
logic programs
theoretical framework
computational framework