Now showing items 1-1 of 1

  • Incremental verification of co-observability in discrete-event systems

    Liu, Huailiang; Leduc, Ryan J.; Malik, Robi; Ricker, S.L. (IEEE, 2014)
    Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system ...

Huailiang Liu has 3 co-authors in Research Commons.