Adaptive distributed monitors of spatial properties for cyber–physical systems
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Topics & Concepts
CorrectnessDistributed computingComputer scienceCyber-physical systemComputationTheoretical computer scienceProgramming languageOperating systemModular Robots and Swarm IntelligenceDistributed systems and fault toleranceScientific Computing and Data Management