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

Browse the full TrustCom paper archive.