Synthesis of failure‐safe operations

Abstract

Abstract Methods are developed for the computer‐aided synthesis of sequences of valve operations to reach complex operation goals with safety. Given dangerous events which must not occur and operation goals to be reached, sequences of valve openings and closings are formed rapidly for industrially significant problems.