Observability and dead-beat observers for Boolean networks modeled as polynomial discrete-time systems | IEEE Conference Publication | IEEE Xplore