Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems

Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch. Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. In 2015 IEEE TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3. pages 287-292, IEEE, 2015. [doi]

Abstract

Abstract is missing.