Adaptive distributed monitors of spatial properties for cyber-physical systems

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli. Adaptive distributed monitors of spatial properties for cyber-physical systems. Journal of Systems and Software, 175:110908, 2021. [doi]

Authors

Giorgio Audrito

This author has not been identified. Look up 'Giorgio Audrito' in Google

Roberto Casadei

This author has not been identified. Look up 'Roberto Casadei' in Google

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Volker Stolz

This author has not been identified. Look up 'Volker Stolz' in Google

Mirko Viroli

This author has not been identified. Look up 'Mirko Viroli' in Google