RTcMAS 2018
Real-Time compliant Multi-Agent Systems

Table of Contents

• Preface
• Timing Reliability for Local Schedulers in Multi-Agent Systems 1-15
  Davide Calvaresi , Giuseppe Albanese , Mauro Marinoni , Fabien Dubosson , Paolo Sernani , Aldo Franco Dragoni , Michael Schumacher
• Time Aware Task Delegation in Agent Interactions for Video-Surveillance 16-30
  Paolo Sernani , Matteo Biagiola , Nicola Falcionelli , Dagmawi Neway Mekuria , Stefano Cremonini , Aldo Franco Dragoni
• A Task-sets Generator for Supporting the Analysis of Multi-Agent Systems under General Purpose and Real-Time Conditions 31-44
  Davide Calvaresi , Giuseppe Albanese , Mauro Marinoni , Fabien Dubosson , Michael Schumacher
• An Agent Based WCET Analysis for Top-View Person Re-Identification 45-59
  Marina Paolanti , Valerio Placidi , Michele Bernardini , Andrea Felicetti , Rocco Pietrini , Emanuele Frontoni
• An Event Calculus Formalization of Timed Automata 60-76
  Nicola Falcionelli , Paolo Sernani , Dagmawi Neway Mekuria , Aldo Franco Dragoni
• Towards a Real-time Mitigation of High Temperature while Drilling using a Multi-agent System 77-92
  Yazan Mualla , Amro Najjar , Robin Vanet , Olivier Boissier , Stephane Galland