The challenge of real-time multi-agent systems for enabling IoT and CPS

Techniques originating from the Internet of Things (IoT) and Cyber-Physical Systems (CPS) areas have extensively been applied to develop intelligent and pervasive systems such as assistive monitoring, feedback in telerehabilitation, energy management, and negotiation. Those application domains particularly include three major characteristics: intelligence, autonomy and real-time behavior. Multi-Agent Systems (MAS) are one of the major technological paradigms that are used to implement such systems. However, they mainly address the first two characteristics, but miss to comply with strict timing constraints. The timing compliance is crucial for safety-critical applications operating in domains such as healthcare and automotive. The main reasons for this lack of real-time satisfiability in MAS originate from current theories, standards, and technological implementations. In particular, internal agent schedulers, communication middlewares, and negotiation protocols have been identified as co-factors inhibiting the real-time compliance. This paper provides an analysis of such MAS components and pave the road for achieving the MAS compliance with strict timing constraints, thus fostering reliability and predictability.

[1]  Peng Zhao,et al.  An Energy Management System for Building Structures Using a Multi-Agent Decision-Making Control Methodology , 2010, 2010 IEEE Industry Applications Society Annual Meeting.

[2]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[3]  Aldo Franco Dragoni,et al.  A goal-oriented requirements engineering approach for the ambient assisted living domain , 2014, PETRA.

[4]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[5]  Giorgio C. Buttazzo,et al.  A framework based on real-time OS and multi-agents for intelligent autonomous robot competitions , 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

[6]  Paolo Pagano Intelligent Transportation Systems : From Good Practices to Standards , 2016 .

[7]  Engin Bozdag A Survey of Extensions to the Contract Net Protocol , 2006 .

[8]  Marco Caccamo,et al.  A robust implicit access protocol for real-time wireless collaboration , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[9]  Athanasios P. Kalogeras,et al.  Internet of Things integration to a Multi Agent System based manufacturing environment , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[10]  Giorgio C. Buttazzo Achieving scalability in real-time systems , 2006, Computer.

[11]  Jing Lin,et al.  A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[12]  J. Kephart Software agents and the route to the information economy , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[13]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[14]  Giorgio C. Buttazzo,et al.  Response-time analysis for real-time tasks in engine control applications , 2015, ICCPS.

[15]  Giorgio C. Buttazzo,et al.  Agent-Based Systems for Telerehabilitation: Strengths, Limitations and Future Challenges , 2017, A2HC@AAMAS/A-HEALTH@PAAMS.

[16]  Franco Zambonelli,et al.  Challenges and Research Directions in Agent-Oriented Software Engineering , 2004, Autonomous Agents and Multi-Agent Systems.

[17]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[18]  Giorgio C. Buttazzo,et al.  Performance-Driven Design of Engine Control Tasks , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).

[19]  Giorgio C. Buttazzo,et al.  Simplifying Tele-rehabilitation Devices for Their Practical Use in Non-clinical Environments , 2015, IWBBIO.

[20]  Lidia Fuentes,et al.  Towards a CVL Process to Develop Agents for the IoT , 2014, UCAmI.

[21]  Giorgio C. Buttazzo,et al.  HARD REAL-TIME COMPUTING SYSTEMS Predictable Scheduling Algorithms and Applications , 2007 .

[22]  Gerardo Pardo-Castellote,et al.  OMG Data-Distribution Service: architectural overview , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[23]  Paulo Leitão,et al.  Agent-based distributed manufacturing control: A state-of-the-art survey , 2009, Eng. Appl. Artif. Intell..

[24]  Lida Xu,et al.  The internet of things: a survey , 2014, Information Systems Frontiers.

[25]  Kalliopi Kravari,et al.  A Survey of Agent Platforms , 2015, J. Artif. Soc. Soc. Simul..

[26]  Jing Lin,et al.  Modeling Cyber-Physical Systems with Semantic Agents , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[27]  Paolo Sernani,et al.  Exploring the ambient assisted living domain: a systematic review , 2017, J. Ambient Intell. Humaniz. Comput..

[28]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[29]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[30]  Quanyan Zhu,et al.  Resilient Distributed Control of Multi-agent Cyber-Physical Systems , 2013, CPSW@CISS.

[31]  M. Pipattanasomporn,et al.  Multi-agent systems in a distributed smart grid: Design and implementation , 2009, 2009 IEEE/PES Power Systems Conference and Exposition.

[32]  Vicent J. Botti,et al.  Developing real-time multi-agent systems , 2004, Integr. Comput. Aided Eng..

[33]  Wu He,et al.  Internet of Things in Industries: A Survey , 2014, IEEE Transactions on Industrial Informatics.

[34]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[35]  Davide Calvaresi,et al.  MEDIATION: An eMbEddeD System for Auditory Feedback of Hand-water InterAcTION while Swimming☆ , 2016 .

[36]  Mariacristina Roscia,et al.  Smart City by multi-agent systems , 2013, 2013 International Conference on Renewable Energy Research and Applications (ICRERA).

[37]  Christian Kray,et al.  The eager bidder problem: a fundamental problem of DAI and selected solutions , 2002, AAMAS '02.

[38]  Thomas Hermann,et al.  Ears drive hands. Sonification of liquid effects induced by aquatic space activities contributes to cognitive representation , 2015 .

[39]  Paolo Pagano,et al.  A Middleware of Things for supporting distributed vision applications , 2012 .

[40]  M. Bujorianu,et al.  A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems , 2009 .

[41]  Li Jiandong,et al.  An extension of contract net protocol with real time constraints , 2008, Wuhan University Journal of Natural Sciences.

[42]  Zhiqi Shen,et al.  From Internet of Things to Internet of Agents , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[43]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[44]  Giorgio C. Buttazzo,et al.  Non-intrusive Patient Monitoring for Supporting General Practitioners in Following Diseases Evolution , 2015, IWBBIO.

[45]  Jin Ma,et al.  Tame: Time Window Scheduling of Wireless Access Points for Maximum Energy Efficiency and High Throughput , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[46]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[47]  Theodore P. Baker,et al.  A stack-based resource allocation policy for realtime processes , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[48]  Henning Trsek,et al.  Agile manufacturing: General challenges and an IoT@Work perspective , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[49]  Ansgar Radermacher,et al.  Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper , 2015 .

[50]  Franco Zambonelli,et al.  Co-Fields: A Physically Inspired Approach to Motion Coordination , 2004, IEEE Pervasive Comput..