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.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 62 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.