Reset-based recovery for real-time cyber-physical systems with temporal safety constraints

Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo. Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]

Authors

Fardin Abdi Taghi Abad

This author has not been identified. Look up 'Fardin Abdi Taghi Abad' in Google

Renato Mancuso

This author has not been identified. Look up 'Renato Mancuso' in Google

Stanley Bak

This author has not been identified. Look up 'Stanley Bak' in Google

Or D. Dantsker

This author has not been identified. Look up 'Or D. Dantsker' in Google

Marco Caccamo

This author has not been identified. Look up 'Marco Caccamo' in Google