Towards formal ASM semantics of timed control systems for industrial CPS

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin. Towards formal ASM semantics of timed control systems for industrial CPS. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 1682-1685, IEEE, 2019. [doi]

Authors

Dmitrii Drozdov

This author has not been identified. Look up 'Dmitrii Drozdov' in Google

Sandeep Patil

This author has not been identified. Look up 'Sandeep Patil' in Google

Victor Dubinin

This author has not been identified. Look up 'Victor Dubinin' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google