Browsing by Author "Ricker, S.L."

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 ...

S.L. Ricker has 3 co-authors in Research Commons.