Browsing by Author "Liu, Huailiang"
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 Huailiang Liu
Huailiang Liu has 3 co-authors in Research Commons.