Davide Calvaresi
ABSTRACT
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.
- Cyber - Physical Systems. http://cyberphysicalsystems.org/. (????). {Accessed 8/1/'17}.Google Scholar
- Foundation for Intelligent Physical Agents Standard. http://www.fipa.org/. (????). {Accessed 8/1/'17}.Google Scholar
- JADE - Programmer Manual. http://jade.tilab.com/doc/programmersguide.pdf. (????). {Accessed 12/06/'17}.Google Scholar
- C. Alexakos and A.P. Kalogeras. 2015. Internet of Things integration to a Multi Agent System based manufacturing environment. In 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA). IEEE, 1--8.Google Scholar
- L. Atzori, A. Iera, and G. Morabito. 2010. The internet of things: A survey. Computer networks 54, 15 (2010), 2787--2805. Google ScholarDigital Library
- I. Ayala, M. Amor, and L. Fuentes. 2014. Towards a CVL Process to Develop Agents for the IoT. In International Conference on Ubiquitous Computing and Ambient Intelligence. Springer, 304--311.Google Scholar
- T.P. Baker. 1990. A stack-based resource allocation policy for realtime processes. In Proceedings 11th Real-Time Systems Symposium. 191--200.Google ScholarCross Ref
- A. Biondi, M. Di Natale, and G. Buttazzo. 2015. Response-time analysis for real-time tasks in engine control applications. In Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. ACM, 120--129. Google ScholarDigital Library
- A. Biondi, M. Di Natale, and G. Buttazzo. 2016. Performance-driven Design of Engine Control Tasks. In ACM/IEEE 7th International Conference on Cyber-Physical Systems. IEEE, 1--10. Google ScholarDigital Library
- Engin Bozdag. 2008. A survey of extensions to the contract net protocol. Technical report, CiteSeerX-Scientific Literature Digital Library and Search Engine (2008).Google Scholar
- M. Bujorianu, M. Bujorianu, and H. Barringer. 2009. A formal framework for user-centric control of multi-agent cyber-physical systems. (2009).Google Scholar
- G. Buttazzo. 2006. Achieving scalability in real-time systems. Computer 39, 5 (May 2006), 54--59. Google ScholarDigital Library
- G. Buttazzo. 2011. Hard real-time computing systems: predictable scheduling algorithms and applications. Vol. 24. Springer Science & Business Media. Google ScholarDigital Library
- D. Calvaresi, D. Cesarini, M. Marinoni, P. Buonocunto, S. Bandinelli, and G. Buttazzo. 2015. Non-intrusive patient monitoring for supporting general practitioners in following diseases evolution. In International Conference on Bioinformatics and Biomedical Engineering. 491--501.Google Scholar
- D. Calvaresi, D. Cesarini, P. Sernani, M. Marinoni, A.F. Dragoni, and A. Sturm. 2016. Exploring the ambient assisted living domain: a systematic review. Journal of Ambient Intelligence and Humanized Computing (2016), 1--19.Google Scholar
- D. Calvaresi, A. Claudi, A.F. Dragoni, E. Yu, D. Accattoli, and P. Sernani. 2014. A goal-oriented requirements engineering approach for the ambient assisted living domain. In Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments. 20. Google ScholarDigital Library
- D. Calvaresi, M. Schumacher, M. Marinoni, R. Hilfiker, A.F. Dragoni, and G. Buttazzo. 2017. Agent-based systems for telerehabilitation: strengths, limitations and future challenges. In proceedings of X Workshop on Agents Applied in Health Care.Google Scholar
- D. Calvaresi, P. Sernani, M. Marinoni, A. Claudi, A. Balsini, A.F. Dragoni, and G. Buttazzo. A Framework based on Real-Time OS and Multi-Agents for intelligent autonomous robot competitions. (????).Google Scholar
- Daniel Cesarini, Davide Calvaresi, Chiara Farnesi, Diego Taddei, Stefano Frediani, Bodo E Ungerechts, and Thomas Hermann. 2016. MEDIATION: An eMbEddeD System for Auditory Feedback of Hand-water InterAcTION while Swimming. Procedia Engineering 147 (2016), 324--329.Google ScholarCross Ref
- D. Cesarini, D. Calvaresi, M. Marinoni, P. Buonocunto, and G. Buttazzo. 2015. Simplifying tele-rehabilitation devices for their practical use in non-clinical environments. In International Conference on Bioinformatics and Biomedical Engineering.Google Scholar
- P. Ciancarini, A. Omicini, and F. Zambonelli. 1999. Multiagent system engineering: The coordination viewpoint. In International Workshop on Agent Theories, Architectures, and Languages. Google ScholarDigital Library
- T.L. Crenshaw, A. Tirumala, S. Hoke, and M. Caccamo. 2005. A robust implicit access protocol for real-time wireless collaboration. In 17th Euromicro Conference on Real-Time Systems. IEEE, 177--186. Google ScholarDigital Library
- L. Da Xu, W. He, and S. Li. 2014. Internet of things in industries: A survey. IEEE Transactions on Industrial Informatics 10, 4 (2014), 2233--2243.Google ScholarCross Ref
- O. Gürcan, N. Yakymets, S. Tucci-Piergiovanni, and A. Radermacher. 2015. Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems.Google Scholar
- A.M. Houyou, H.P. Huth, C. Kloukinas, H. Trsek, and D. Rotondi. 2012. Agile manufacturing: General challenges and an IoT@ Work perspective. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation ETFA.Google Scholar
- N.R. Jennings, K. Sycara, and M. Wooldridge. 1998. A roadmap of agent research and development. Autonomous agents and multi-agent systems 1, 1 (1998), 7--38. Google ScholarDigital Library
- V. Julian and V. Botti. 2004. Developing real-time multi-agent systems. Integrated Computer-Aided Engineering 11, 2 (2004), 135--149. Google ScholarDigital Library
- J.O. Kephart. 2002. Software agents and the route to the information economy. Proceedings of the National Academy of Sciences 99, suppl 3 (2002), 7207--7213.Google ScholarCross Ref
- Tore Knabe, Michael Schillo, and Klaus Fischer. 2002. Improvements to the FIPA contract net protocol for performance increase and cascading applications. In International Workshop for Multi-Agent Interoperability (KI).Google Scholar
- K. Kravari and N. Bassiliades. 2015. A survey of agent platforms. Journal of Artificial Societies and Social Simulation (2015).Google Scholar
- P. Leitão. 2009. Agent-based distributed manufacturing control: A state-of-the-art survey. Engineering Applications of Artificial Intelligence 22, 7 (2009), 979 -- 991. Distributed Control of Production Systems. Google ScholarDigital Library
- J. Lin, S. Sedigh, and A. Miller. 2009. A general framework for quantitative modeling of dependability in cyber-physical systems: a proposal for doctoral research. In 2009 33rd Annual IEEE International Computer Software and Applications Conference, Vol. 1. IEEE, 668--671. Google ScholarDigital Library
- J. Lin, S. Sedigh, and A. Miller. 2010. Modeling cyber-physical systems with semantic agents. In 34th Computer Software and Applications Conference. Google ScholarDigital Library
- C.L. Liu and J.W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM) 20, 1 (1973), 46--61. Google ScholarDigital Library
- J. Ma, S.H. Kim, and D. Kim. 2012. Tame: Time Window Scheduling of Wireless Access Points for Maximum Energy Efficiency and High Throughput. In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Google ScholarDigital Library
- M. Mamei, F. Zambonelli, and L. Leonardi. 2004. Cofields: a physically inspired approach to motion coordination. IEEE Pervasive Computing 3, 2 (2004), 52--61. Google ScholarDigital Library
- Y. Moses and M. Tennenholtz. 1995. Artificial social systems. Computers and Artificial Intelligence (1995).Google Scholar
- P. Pagano. 2016. Intelligent Transportation Systems: From Good Practices to Standards. Taylor & Francis. https://books.google.ch/books?id=S_gxjgEACAAJGoogle Scholar
- P. Pagano, C. Salvadori, S. Madeo, M. Petracca, S. Bocchino, D. Alessandrelli, A. Azzar, M. Ghibaudi, G. Pellerano, and R. Pelliccia. 2012. A middleware of things for supporting distributed vision applications. In Proceedings of the 1st Workshop on Smart Cameras for Robotic Applications, SCaBot Workshop.Google Scholar
- G. Pardo-Castellote. 2003. Omg data-distribution service: Architectural overview. In Distributed Computing Systems Workshops. IEEE, 200--206. Google ScholarDigital Library
- M. Pipattanasomporn, H. Feroze, and S Rahman. 2009. Multi-agent systems in a distributed smart grid: Design and implementation. In Power Systems Conference and Exposition, 2009. PSCE'09. IEEE/PES. IEEE, 1--8.Google ScholarCross Ref
- L. Qiaoyun, L. Jiandong, D. Dawei, and K. Lishan. 1996. An extension of contract net protocol with real time constraints. Wuhan Univerity Journal of Natural Sciences (1996).Google Scholar
- R. Rajkumar, I. Lee, L. Sha, and J. Stankovic. 2010. Cyber-physical Systems: The Next Computing Revolution. In Proceedings of the 47th Design Automation Conference. Google ScholarDigital Library
- M. Roscia, M. Longo, and G. C. Lazaroiu. 2013. Smart city by multi-agent systems. In Renewable Energy Research and Applications.Google Scholar
- S.J. Russell, P. Norvig, J.F. Canny, J.M. Malik, and D.D. Edwards. 2003. Artificial intelligence: a modern approach. Prentice hall Upper Saddle River. Google ScholarDigital Library
- Michael Schillo, Christian Kray, and Klaus Fischer. 2002. The eager bidder problem: a fundamental problem of DAI and selected solutions. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2. ACM, 599--606. Google ScholarDigital Library
- L. Sha, R. Rajkumar, and J.P. Lehoczky. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39, 9 (Sep 1990), 1175--1185. Google ScholarDigital Library
- Y. Shoham. 1993. Agent-oriented programming. Artificial intelligence 60, 1 (1993), 51--92. Google ScholarDigital Library
- R Smith. 1980. Communication and control in problem solver. IEEE Transactions on computers (1980).Google Scholar
- Bodo Ungerechts, Daniel Cesarini, Vanessa Wiebel, and Thomas Hermann. 2015. Ears drive hands: sonification of liquid effects induced by aquatic space activities contributes to cognitive representation. (2015), 61--61 pages.Google Scholar
- H. Yu, Z. Shen, and C. Leung. 2013. From internet of things to internet of agents. In Green Computing and Communications (GreenCom), 2013 IEEE and Internet of Things (iThings/CPSCom), IEEE International Conference on and IEEE Cyber, Physical and Social Computing. IEEE, 1054--1057. Google ScholarDigital Library
- F. Zambonelli and A. Omicini. 2004. Challenges and research directions in agent-oriented software engineering. Autonomous agents and multi-agent systems 9, 3 (2004), 253--283. Google ScholarDigital Library
- P. Zhao, S. Suryanarayanan, and M. G. Simoes. 2013. An energy management system for building structures using a multi-agent decision-making control methodology. IEEE Transactions on Industry Applications (2013).Google Scholar
- Q. Zhu, L. Bushnell, and T. Başar. 2013. Resilient distributed control of multi-agent cyber-physical systems. In Control of Cyber-Physical Systems.Google Scholar
Index Terms
- The challenge of real-time multi-agent systems for enabling IoT and CPS
Recommendations
RT-BDI: A Real-Time BDI Model
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS CollectionAbstractCurrently, distributed cyber-physical systems (CPS) rely upon embedded real-time systems, which can guarantee compliance with time constraints. CPS are increasingly required to act and interact with one another in dynamic environments. In the last ...
Real-time multi-agent systems: rationality, formal model, and empirical results
AbstractSince its dawn as a discipline, Artificial Intelligence (AI) has focused on mimicking the human mental processes. As AI applications matured, the interest for employing them into real-world complex systems (i.e., coupling AI with Cyber-Physical ...
Incorporating temporal-bounded CBR techniques in real-time agents
Nowadays, MAS paradigm tries to move Computation to a new level of abstraction: Computation as interaction, where large complex systems are seen in terms of the services they offer, and consequently in terms of the entities or agents providing or ...
Comments