Some unsolved problems in the theory of automatic control and fuzzy proofs | IEEE Journals & Magazine | IEEE Xplore