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 ...
Co-authors for S.L. Ricker
S.L. Ricker has 3 co-authors in Research Commons.