A Barrier Certificate Approach to the Verification of the Safe Operation of a Chemical Reactor

IFAC Proceedings Volumes
doi 10.3182/20080706-5-kr-1001.01175
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV