Search results

Filters

  • Journals
  • Authors
  • Keywords
  • Date
  • Type

Search results

Number of results: 10
items per page: 25 50 75
Sort by:
Download PDF Download RIS Download Bibtex

Abstract

In this paper, an energy coordination control method based on intelligent multi-agent systems (MAS) is proposed for energy management and voltage control of a DC microgrid. The structure of the DC microgrid is designed to realize the mathematical modeling of photovoltaic cells, fuel cells and batteries. A two-layer intelligent MAS is designed for energy coordination control: grid-connection and islanding of a DC microgrid is combined with energy management of PV cells, fuel cells, loads and batteries. In the hidden layer and the output layer of the proposed neural network there are 17 and 8 neurons, respectively, and the “logsig” activation function is used for the neurons in the network. Eight kinds of feature quantities and 13 different actions are taken as the input and output parameters of the neural network from the micro-source and the load, and the as the control center agent’s decision-makers. The feasibility of the proposed intelligent multi-agent energy coordination control strategy is verified by MATLAB/Simulink simulation, and three types of examples are analyzed after increasing the load. The simulation results show that the proposed scheme exhibits better performance than the traditional approaches.

Go to article

Authors and Affiliations

P. Qaderi-Baban
M.B. Menhaj
M. Dosaranian-Moghadam
A. Fakharian
Download PDF Download RIS Download Bibtex

Abstract

The paper deals with alliances and coalitions that can be formed by agents or entities. It is assumed that alliance agents cooperate and form coalitions for performing the tasks or missions. It is considered that alliance agents are unselfish. That is, they are more interested in achieving the common goal(s) than in getting personal benefits. In the paper, the concept of fuzzy alliance was introduced. A fuzzy alliance is considered as generalization of traditional alliance allowing agents to decide on the capabilities that their agents can and wanted deliver to coalition. Coalitions that can be formed by fuzzy alliance agents were considered. The definition of the “best” coalition was explained. The method of how to find the “best” coalition among all possible coalitions was suggested and verified by computer simulation.
Go to article

Authors and Affiliations

Viktor Mashkov
1
Andrzej Smolarz
2
Volodymy Lytvynenko
3

  1. University J. E. Purkyne, Usti nad Labem, CzechRepublic
  2. Lublin University of Technology, Lublin, Poland
  3. Kherson National Technical University,Kherson, Ukraine
Download PDF Download RIS Download Bibtex

Abstract

This paper studies an evacuation problem described by a leader-follower model with bounded confidence under predictive mechanisms. We design a control strategy in such a way that agents are guided by a leader, which follows the evacuation path. The proposed evacuation algorithm is based on Model Predictive Control (MPC) that uses the current and the past information of the system to predict future agents’ behaviors. It can be observed that, with MPC method, the leader-following consensus is obtained faster in comparison to the conventional optimal control technique. The effectiveness of the developed MPC evacuation algorithm with respect to different parameters and different time domains is illustrated by numerical examples.
Go to article

Bibliography

[1] H. Abdelgawad and B. Abdulhai: Emergency evacuation planning as a network design problem: A critical review. Transportation Letters: The International Journal of Transportation Research, 1 (2009), 41–58, DOI: 10.3328/TL.2009.01.01.41-58.
[2] R. Alizadeh: A dynamic cellular automaton model for evacuation process with obstacles, Safety Science, 49(2), (2011), 315–323, DOI: 10.1016/j.ssci.2010.09.006.
[3] R. Almeida, E. Girejko, L. Machado, A.B. Malinowska, and N. Mar- tins: Application of predictive control to the Hegselmann-Krause model, Mathematical Methods in the Applied Sciences, 41(18), (2018), 9191–9202, DOI: 10.10022Fmma.5132.
[4] B. Aulbach and S. Hilger: A unified approach to continuous and discrete dynamics, ser. Colloq. Math. Soc. Janos Bolyai, vol. 53, North-Holland, Amsterdam, 1990.
[5] H. Bi and E. Gelenbe: A survey of algorithms and systems for evacuating people in confined spaces, Electronics, 2019 8(6), (2019), 711, DOI: 10.3390/electronics8060711.
[6] V.D. Blondel, J.M. Hendrickx, and J.N. Tsitsiklis: On Krause’s multiagent consensus model with state-dependent connectivity, IEEE Transactions on Automatics Control, vol. 54(11), (2009), 2586–2597, DOI: 10.1109/TAC.2009.2031211.
[7] V.D. Blondel, J.M. Hendrickx, and J.N. Tsitsiklis: Continuous-time average-preserving opinion dynamics with opinion-dependent communications, SIAM Journal on Control and Optimization, vol. 48(8), (2010), 5214–5240, DOI: 10.1137/090766188.
[8] M. Bohner and A. Peterson: Dynamic equations on time scales, Boston, MA: Birkhäuser Boston, 2001.
[9] R.M. Colombo and M. D. Rosini: Pedestrian flows and non-classical shocks, Mathematical Methods in the Applied Sciences, 28(13), (2005), 1553–1567, DOI: 10.1002/mma.624.
[10] E. Girejko, L. Machado, A.B. Malinowska, and N. Martins: Krause’s model of opinion dynamics on isolated time scales, Mathematical Methods in the Applied Sciences, 39 (2016), 5302–5314, DOI: 10.1002/mma.3916.
[11] R. Hegselmann and U. Krause: Opinion dynamics and bounded confidence models, analysis, and simulation, Journal of Artificial Societies and Social Simulation, 5(3), (2002), http://jasss.soc.surrey.ac.uk/5/3/2.html.
[12] D. Helbing and P. Molnar: Social force model for pedestrian dynamics, Physical Review E, 51(5), (1995), 4282–4286, DOI: 10.1103/Phys-RevE.51.4282.
[13] R. Hilscher and V. Zeidan:Weak maximum principle and accessory problem for control problems on time scales, Nonlinear Analysis, 70(9), (2009), 3209–3226, DOI: 10.1016/j.na.2008.04.025.
[14] L. Huang, S.C.Wong, M. Zhang, C.-W. Shu, andW.H.K. Lam: Revisiting Hughes’ dynamics continuum model for pedestrian flow and the development of an efficient solution algorithm, Transportation Research Part B: Methodological, 43(1), (2009), 127–141, DOI: 10.1016/j.trb.2008.06.003.
[15] R.L. Hughes: A continuum theory for the flow of pedestrians, Transportation Research Part B: Methodological, 36(6), (2002), 507–535, DOI: 10.1016/S0191-2615(01)00015-7.
[16] R. Lohner: On the modeling of pedestrian motion, Applied Mathematical Modeling, 34(2), (2010), 366–382, DOI: 10.1016/j.apm.2009.04.017.
[17] S.J. Qin and T.A. Badgwell: An Overview of Nonlinear Model Predictive Control Applications, Allgöwer F., Zheng A. ed., ser. Nonlinear Model Predictive Control. Progress in Systems and Control Theory. Birkhäuser, Basel, 2000, vol. 26, pp. 369–392.
[18] S. Wojnar, T. Poloni, P. Šimoncic, B. Rohal’-Ilkiv, M. Honek (and) J. Csambál: Real-time implementation of multiple model based predictive control strategy to air/fuel ratio of a gasoline engine. Archives of Control Sciences, 23(1), (2013), 93–106.
[19] S. Daniar, M. Shiroei and R. Aazami: Multivariable predictive control considering time delay for load-frequency control in multi-area power systems. Archives of Control Sciences, 26(4), (2016), 527–549, DOI: 10.1515/acsc-2016-0029.
[20] Y. Yang, D.V. Dimarogonas, and X. Hu: Optimal leader-follower control for crowd evacuation, Proc. 52nd IEEE Conf. Decision Control (CDC), (2013), 2769–2774, DOI: 10.1109/CDC.2013.6760302.
[21] Z. Zainuddin and M. Shuaib: Modification of the decision-making capability in the social force model for the evacuation process, Transport Theory and Statistical Physics, 39(1), (2011), 47–70, DOI: 10.1080/00411450.2010.529979.
[22] H.-T. Zhang, M.Z. Chen, G.-B. Stan, and T. Zhou: Ultrafast consensus via predictive mechanisms, Europhysics Letters, 83, (2008), no. 40003.
[23] H.-T. Zhang, M.Z. Chen, G.-B. Stan, T. Zhou, and J.M.Maciejowski: Collective behaviour coordination with predictive mechanisms, IEEE Circuits Systems Magazine, 8, (2008) 67–85, DOI: 10.1109/MCAS.2008.928446.
[24] L. Zhang, J. Wang, and Q. Shi: Multi-agent based modeling and simulating for evacuation process in stadium, Journal of Systems Science and Complexity, 27(3), (2014), 430–444, DOI: 10.1007/s11424-014-3029-5.
[25] Y. Zheng, B. Jia, X.-G. Li, and N. Zhu: Evacuation dynamics with fire spreading based on cellular automaton, Physica A: Statistical Mechanics and Its Applications, 390(18-19), (2011), 3147–3156, DOI: 10.1016/j.physa.2011.04.011.
Go to article

Authors and Affiliations

Ricardo Almeida
1
Ewa Girejko
2
Luís Machado
3 4
Agnieszka B. Malinowska
2
Natália Martins
1

  1. Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810–193 Aveiro, Portugal
  2. Faculty of Computer Science, Bialystok University of Technology, 15-351 Białystok, Poland
  3. Institute of Systems and Robotics, DEEC – UC, 3030-290 Coimbra, Portugal
  4. Department of Mathematics, University of Trás-os-Montes e Alto Douro (UTAD), 5000-801 Vila Real, Portugal
Download PDF Download RIS Download Bibtex

Abstract

This paper proposes the development of a formation control algorithm of multiple acoustic underwater vehicles by employing the behaviour of autonomous mobile agents under a proposed pursuit. A robust pursuit is developed using the distributed consensus coordinated algorithm ensuring the transfer of information among the AUVs. The development of robust pursuit based on characteristics of multi-agent system is for solving the incomplete information capabilities in each agent such as asynchronous computation, decentralized data and no system global control. In unreliable and narrow banded underwater acoustic medium, the formation of AUVs based distributed coordinated consensus tracking can be accomplished under the constant or varying virtual leader’s velocity. Further, the study to achieve tracking based on virtual leader AUV’s velocity is extended to fixed and switching network topologies. Again for mild connectivity, an adjacency matrix is defined in such a way that an adaptive connectivity is ensured between the AUVs. The constant virtual leader vehicle velocity method based on consensus tracking is more robust to reduce inaccuracy because no accurate position and velocity measurements are required. Results were obtained using MATLAB and acquired outcomes are analysed for efficient formation control in presence of the underwater communication constraints.

Go to article

Authors and Affiliations

Bikramaditya Das
Bidyadhar Subudhi
Bibhuti Bhusan Pati
Download PDF Download RIS Download Bibtex

Abstract

The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.
Go to article

Bibliography

  1.  A. Soltani, R. Calo, and C. Bergstrom, “Contacttracing apps are not a solution to the COVID-19 crisis,” Brookings Tech Stream, 27 April 2020. [Online]. Available: https://www.brookings.edu/techstream/inaccurate-and-insecure-why-contact-tracing-apps-could-be-a-disaster/.
  2.  J. Morley, J. Cowls, M. Taddeo, and L. Floridi, “Ethical guidelines for COVID-19 tracing apps,” Nat. Comment, pp. 29–31, 4 June 2020. [Online]. Available: https://www.nature.com/articles/d41586-020-01578-0.
  3.  A. Stollmeyer, M. Schaake, and F. Dignum, “The Dutch tracing app ’soap opera’ – lessons for Europe,” euobserver, 7 May 2020. [Online]. Available: https://euobserver.com/opinion/148265.
  4.  G. Weiss, Ed., Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence. MIT Press: Cambridge, Mass, 1999.
  5.  Y. Shoham and K. Leyton-Brown, Multiagent Systems – Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, 2009.
  6.  A. Rao and M. Georgeff, “Modeling rational agents within a BDI-architecture,” in Proceedings of KR, 1991, pp. 473–484.
  7.  M.Wooldridge, Reasoning about Rational Agents. MIT Press : Cambridge, Mass, 2000.
  8.  M. Dastani, K. Hindriks, and J. Meyer, Eds., Specification and Verification of Multi-Agent Systems. Springer, 2010.
  9.  W. Jamroga, Logical Methods for Specification and Verification of Multi-Agent Systems. ICS PAS, 2015.
  10.  W. Jamroga, D. Mestel, P.B. Rønne, P.Y.A. Ryan, and M. Skrobot, “A survey of requirements for COVID-19 mitigation strategies. Part I: newspaper clips,” CoRR, vol. abs/2011.07887, 2020.
  11.  A. Lomuscio, H. Qu, and F. Raimondi, “MCMAS: An open-source model checker for the verification of multiagent systems,” Int. J. Software Tools Technol. Trans., vol. 19, no. 1, pp. 9–30, 2017.
  12.  G. Behrmann, A. David, and K. Larsen, “A tutorial on UPPAAL,” in Formal Methods for the Design of Real-Time Systems: SFM-RT, ser. LNCS, no. 3185. Springer, 2004, pp. 200–236.
  13.  G. Kant, A. Laarman, J. Meijer, J. van de Pol, S. Blom, and T. van Dijk, “LTSmin: High-performance languageindependent model checking,” in Proceedings of TACAS, ser. Lecture Notes in Computer Science, vol. 9035. Springer, 2015, pp. 692–707.
  14.  D. Kurpiewski, W. Jamroga, and M. Knapik, “STV: Model checking for strategies under imperfect information,” in Proceedings of AAMAS. IFAAMAS, 2019, pp. 2372–2374.
  15.  S. Woodhams, “COVID-19 digital rights tracker,” Top10VPN, 10 June 2020. [Online]. Available: https://www.top10vpn.com/research/ covid-19-digital-rights-tracker/.
  16.  AFP, “Major finding: Lockdowns averted 3 million deaths in 11 European nations: study,” RTL Today, 9 June 2020. [Online]. Available: https://today.rtl.lu/news/science-and-environment/a/ 1530963.html.
  17.  I. Ilves, “Why are Google and Apple dictating how European democracies fight coronavirus?” The Guardian, 16 June 2020. [Online]. Available: https://www.theguardian.com/commentisfree/2020/jun/16/google-apple-dictating-european-democracies-coronavirus.
  18.  “NHS COVID-19: the new contact-tracing app from the NHS,” NCSC, 14 May 2020. [Online]. Available: https://www.ncsc.gov.uk/ information/nhs-covid-19-app-explainer.
  19.  J. Steinhauer and A. Goodnough, “Contact tracing is failing in many states. Here’s why.” New York Times, 5 October 2020. [Online]. Available: https://www.nytimes.com/2020/07/31/health/covid-contact-tracing-tests.html.
  20.  S. Bicheno, “Unlike France, Germany decides to do smartphone contact tracing the Apple/Google way,” telecoms.com, 27 April 2020. [Online]. Available: https://telecoms.com/503931/unlike-france-germany-de cides-to-do-smartphone-contact-tracing-the-apple-goo gle- way/.
  21.  “Together we can fight coronavirus — Smittestopp,” helsenorge, 28 April 2020. [Online]. Available: https://helsenorge.no/coronavirus/ smittestopp?redirect=false.
  22.  P.H. O’Neill, T. Ryan-Mosley, and B. Johnson, “A flood of coronavirus apps are tracking us. now it’s time to keep track of them,” MIT Technol. Rev., 7 May 2020. [Online]. Available: https://www.technologyreview.com/2020/05/07/1000961/launching-mittr-covid-tracing- tracker/.
  23.  M. Zastrow, “Coronavirus contact-tracing apps: can they slow the spread of COVID-19?” Nature (Technol. Feature), 19 May 2020. [Online]. Available: https://www.nature.com/articles/d41586-020-01514-2.
  24.  J. Taylor, “How did the Covidsafe app go from being vital to almost irrelevant?” The Guardian, 23 May 2020. [Online]. Available: https://www.theguardian.com/world/2020/may/24/how-did-the-covidsafe-app-go-from-being-vital-to-almost-irrelevant.
  25.  D. Robertson, “Transparency key to uptake of coronavirus tracing app,” RMIT news, 27-April 2020. [Online]. Available: https://www. rmit.edu.au/news/all-news/2020/april/transparency-key-to-uptake-of-coronavirus-traci ng-app.
  26.  D. Tahir and C. Lima, “Google and Apple’s rules for virus tracking apps sow division among states,” Politico, 10 June 2020. [Online]. Available: https://www.politico.com/news/2020/06/10/google-and-apples-rules-for-virus-tracking-apps-sow-division-among-states-312199.
  27.  A. Clarance, “Aarogya Setu: Why India’s Covid-19 contact tracing app is controversial,” BBC News, 15 May 2020. [Online]. Available: https://www.bbc.com/news/world-asia-india-52659520.
  28.  J. Davies, “UK snubs Google and Apple privacy warning for contact tracing app,” telecoms.com, 28 April 2020. [Online]. Available: https://telecoms.com/503967/uk-s nubs-google-and-apple-privacy-warning-for-contact-tr acing-app/.
  29.  A. Eisenberg, “Privacy fears threaten New York City’s coronavirus tracing efforts,” Politico, 4 June 2020. [Online]. Available: https:// www.politico.com/states/new-york/albany/story/2020/06/04/privacy-fears-threaten-new-york-citys-coronavirus-tracing-efforts-1290657.
  30.  C. Timberg, “Most Americans are not willing or able to use an app tracking coronavirus infections. that’s a problem for Big Tech’s plan to slow the pandemic,” Washington Post, 29 April 2020. [Online]. Available: https://www.washingtonpost.com/technology/2020/04/ 29/ most-americans-are-not-willing-or-able-use-an-app-tracking-coronavirus-infections-thats-problem-big-tec hs-plan-slow-pandemic/.
  31.  M. Burgess, “Just how anonymous is the NHS Covid-19 contact tracing app?” Wired, 12 May 2020. [Online]. Available: https://www. wired.co.uk/article/nhs-covid-app-data-anonymous.
  32.  “Getting it right: States struggle with contact tracing push,” Politico, 17 May 2020. [Online]. Available: https://www.politico.com/ news/2020/05/17/privacy-coronavirus-tracing-261369.
  33.  S.L. Frasier, “Coronavirus antibody tests have a mathematical pitfall,” Sci. Am., 1 July 2020. [Online]. Available: https://www. scientificamerican.com/article/coronavirus-antibody-tests- have-a-mathematical-pitfall/.
  34.  M. Scott and Z. Wanat, “Poland’s coronavirus app offers playbook for other governments,” Politico, 2 April 2020. [Online]. Available: https://www.politico.eu/article/poland-coronavirus-app-offers-playbook-for-other-governments/.
  35.  K. McCarthy, “UK finds itself almost alone with centralized virus contact-tracing app that probably won’t work well, asks for your location, may be illegal,” The Register, 5 May 2020. [Online]. Available: https://www.theregister.com/2020/05/05/uk_coronavirus_app/.
  36.  “Legal advice on smartphone contact tracing published,” matrix chambers, 3 May 2020. [Online]. Available: https://www.matrixlaw.co.uk/ news/legal-advice-on-smartphone-contact-tracing-published/.
  37.  A. Hern, “UK abandons contact-tracing app for Apple and Google model,” The Guardian, 18 June 2020. [Online]. Available: https://www. theguardian.com/world/2020/jun/18/uk-poised-to-abandon-coronavirus-app-in-favour-of-apple-and-google-models.
  38.  “Coronavirus: Member States agree on an interoperability solution for mobile tracing and warning apps,” European Commission – Press release, 16 June 2020. [Online]. Available: https://digital-strategy.ec.europa.eu/en/news/coronavirus-member-states-agree-interoperability- solution-mobile-tracing-and-warning-apps.
  39.  A. Oslo, “Norway suspends virus-tracing app due to privacy concerns,” The Guardian, 15 June 2020. [Online]. Available: https://www. theguardian.com/world/2020/jun/15/norway-suspends-virus-tracing-app-due-to-privacy-concerns.
  40.  S. Wodinsky, “The UK’s contact-tracing app breaks the UK’s own privacy laws (and is just plain broken),” Gizmodo, 13 May 2020. [Online]. Available: https://gizmodo.com/the-uk-s-contact-tracing-app-breaks-the-uk-s-own-privac-1843439962.
  41.  R. Garthwaite and I. Anderson, “Coronavirus: Alarm over ’invasive’ Kuwait and Bahrain contact-tracing apps,” BBC News, 16 June 2020. [Online]. Available: https://www.bbc.com/news/world-middle-east-53052395.
  42.  “Coronavirus privacy: Are South Korea’s alerts too revealing?” BBC News, 5 March 2020. [Online]. Available: https://www.bbc.com/ news/amp/world-asia-51733145.
  43.  K. Szymielewicz, A. Obem, and T. Zieliński, “Jak Polska walczy z koronawirusem i dlaczego aplikacja nas przed nim nie ochroni [How Poland fights the corona, and why the app won’t protect us]?” Panoptykon, 5 May 2020. [Online]. Available: https://panoptykon.org/ protego-safe-ryzyka.
  44.  J.-M. Bezat, “L’application StopCovid, activée seulement par 2% de la population, connaît des débuts décevants,” Le Monde, 10 June 2020. [Online]. Available: https://www.lemonde.fr/pixels/article/2020/06/10/l-application-stopcovid-connait-des-debuts- decevants_6042404_4408996.html.
  45.  P.H. O’Neill, “No, coronavirus apps don’t need 60% adoption to be effective,” MIT Technol. Rev., 5 June 2020. [Online]. Available: https:// www.technologyreview.com/2020/06/05/1002775/covid-apps-effective-at-less-than-60-percent-download/.
  46.  R. Hinch et al., “Effective configurations of a digital contact tracing app: A report to NHSX,” Oxford University, Tech. Rep., 2020. [Online]. Available: https://github.com/BDI-pathogens/covid-19_instant_tracing/blob/master/Report-EffectiveConfigurationsofaDigitalC ontactTracingApp.pdf.
  47.  “Corona-app soll open source werden,” Süddeutsche Zeitung, 6 May 2020. [Online]. Available: https://www.sueddeutsche.de/digital/ corona-app-tracing-open-source-1.4899711.
  48.  “Cybernetica proposes privacy-preserving decentralised architecture for COVID-19 mobile application for Estonia,” Cybernetica, 6 May 2020. [Online]. Available: https://cyber.ee/news/2020/05-06/.
  49.  E. Emerson, “Temporal and modal logic,” in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Elsevier, 1990, vol. B, pp. 995–1072.
  50.  R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi, Reasoning about Knowledge. MIT Press, 1995.
  51.  J. Broersen, M. Dastani, Z. Huang, and L. van der Torre, “The BOID architecture: conflicts between beliefs, obligations, intentions and desires,” in Proceedings of the Fifth International Conference on Autonomous Agents. ACM Press, 2001, pp. 9–16.
  52.  R. Alur, T.A. Henzinger, and O. Kupferman, “Alternating-time Temporal Logic,” J. ACM, vol. 49, pp. 672–713, 2002.
  53.  N. Bulling, V. Goranko, andW. Jamroga, “Logics for reasoning about strategic abilities in multi-player games,” in Models of Strategic Reasoning. Logics, Games, and Communities, ser. Lecture Notes in Computer Science. Springer, 2015, vol. 8972, pp. 93–136.
  54.  F. Laroussinie and P. Schnoebelen, “A hierarchy of temporal logics with past,” Theoretical Computer Science, vol. 148, no. 2, pp. 303–324, 1995.
  55.  W. Penczek and A. Polrola, Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach, ser. Studies in Computational Intelligence. Springer, 2006, vol. 20.
  56.  M. Knapik, É. André, L. Petrucci, W. Jamroga, and W. Penczek, “Timed ATL: forget memory, just count,” J. Artif. Intell., vol. 66, pp. 197–223, 2019.
  57.  W. Jamroga, V. Malvone, and A. Murano, “Natural strategic ability,” Artif. Intell., vol. 277, 2019.
  58.  N. Alechina, B. Logan, H. Nguyen, and A. Rakib, “Resource-bounded alternating-time temporal logic,” in Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2010, pp. 481–488.
  59.  N. Bulling and B. Farwer, “Expressing properties of resource-bounded systems: The logics RTL* and RTL,” in Proceedings of CLIMA, ser. Lecture Notes in Computer Science, vol. 6214, 2010, pp. 22–45.
  60.  C. Baier and M. Z. Kwiatkowska, “Model checking for a probabilistic branching time logic with fairness,” Distributed Comput., vol. 11, no. 3, pp. 125–155, 1998.
  61.  T. Chen, V. Forejt, M. Kwiatkowska, D. Parker, and A. Simaitis, “PRISM-games: A model checker for stochastic multi-player games,” in Proceedings of TACAS, ser. Lecture Notes in Computer Science, vol. 7795. Springer, 2013, pp. 185–191.
  62.  M. Kwiatkowska, G. Norman, and D. Parker, “PRISM: probabilistic symbolic model checker,” in Proceedings of TOOLS, ser. Lecture Notes in Computer Science, vol. 2324. Springer, 2002, pp. 200–204.
  63.  N.M. Ferguson et al., “Impact of non-pharmaceutical interventions (NPIs) to reduce COVID-19 mortality and healthcare demand,” Imperial College London, Tech. Rep. 9 (16‒03‒2020), 2020.
  64.  B. Adamik et al., “Estimation of the severeness rate, death rate, household attack rate and the total number of COVID-19 cases based on 16 115 Polish surveillance records,” Prepr. Lancet, 2020.
  65.  W. Bock et al., “Mitigation and herd immunity strategy for COVID-19 is likely to fail,” medRxiv, 2020.
  66.  R. McCabe et al., “Modelling ICU capacity under different epidemiological scenarios of the COVID-19 pandemic in three western European countries,” Imperial College London, Tech. Rep. 36 (16‒11‒2020), 2020.
  67.  S. Zionts, “A multiple criteria method for choosing among discrete alternatives,” Eur. J. Oper. Res., vol. 7, no. 2, pp. 143–147, 1981, fourth EURO III Special Issue.
  68.  Y. Collette and P. Siarry, Multiobjective Optimization: Principles and Case Studies. Springer, 2004.
  69.  R. Radulescu, P. Mannion, D. M. Roijers, and A. Nowé, “Multi-objective multi-agent decision making: a utilitybased analysis and survey,” Auton. Agents Multi-Agent Syst., vol. 34, no. 1, p. 10, 2020.
Go to article

Authors and Affiliations

Wojciech Jamroga
1 2
David Mestel
1
Peter B. Roenne
1
Peter Y.A. Ryan
1
Marjan Skrobot
1

  1. Interdisciplinary Centre on Security, Reliability and Trust, SnT, University of Luxembourg
  2. Institute of Computer Science, Polish Academy of Sciences, ul. Jana Kazimierza 5, 01-248 Warsaw, Poland
Download PDF Download RIS Download Bibtex

Abstract

The new industrial era, industry 4.0, leans on Cyber Physical Systems CPS. It is an emergent approach of Production System design that consists of the intimate integration between physical processes and information computation and communication systems. The CPSs redefine the decision-making process in shop floor level to reach an intelligent shop floor control. The scheduling is one of the most important shop floor control functions. In this paper, we propose a cooperative scheduling based on multi-agents modelling for Cyber Physical Production Systems. To validate this approach, we describe a use case in which we implement a scheduling module within a flexible machining cell control tool.
Go to article

Authors and Affiliations

Hassan Khadiri
1
Souhail Sekkat
2
Brahim Herrou
3

  1. Sidi Mohamed Ben Abdellah University, Laboratory of Industrial Technologies, Morocco
  2. Moulay Ismail University, ENSAM-Meknes, Morocco
  3. Sidi Mohamed Ben Abdellah University, Superior School of Technology, Morocco
Download PDF Download RIS Download Bibtex

Abstract

The paper is dedicated to the robustness analysis of scalar multi-agent dynamical systems. The open problem we aim to address is the one related to the impact of additive disturbances. Set-theoretic methods are used to achieve the main results in terms of positive invariance and admissible bounds on the disturbances.
Go to article

Authors and Affiliations

Katarzyna Topolewicz
1
Sorin Olaru
2
Ewa Girejko
1
Carlos E.T. Dórea
3

  1. Faculty of Computer Science, Bialystok University of Technology, Poland
  2. Laboratory of Signals and Systems Centrale-Supelec, University Paris-Saclay, France
  3. Department of Computer Engineering and Automation, Universidade Federal do Rio Grande do Norte, UFRN-CT-DCA, 59078-900 Natal, RN, Brazil
Download PDF Download RIS Download Bibtex

Abstract

The smart grid concept is predicated upon the pervasive use of advanced digital communication, information techniques, and artificial intelligence for the current power system, to be more characteristics of the real-time monitoring and controlling of the supply/demand. Microgrids are modern types of power systems used for distributed energy resource (DER) integration. However, the microgrid energy management, the control, and protection of microgrid components (energy sources, loads, and local storage units) is an important challenge. In this paper, the distributed energy management algorithm and control strategy of a smart microgrid is proposed using an intelligent multi-agent system (MAS) approach to achieve multiple objectives in real-time. The MAS proposed is developed with co-simulation tools, which the microgrid model, simulated using MATLAB/Simulink, and the MAS algorithm implemented in JADE through a middleware MACSimJX. The main study is to develop a new approach, able to communicate a multi-task environment such as MAS inside the S-function block of Simulink, to achieve the optimal energy management objectives.

Go to article

Authors and Affiliations

Mohamed Azeroual
Tijani Lamhamdi
Hassan El Moussaoui
Hassane El Markhi
Download PDF Download RIS Download Bibtex

Abstract

This paper addresses the problem of designing secure control for networked multi-agent systems (MASs) under Denial-of-Service (DoS) attacks. We propose a constructive design method based on the interaction topology. The MAS with a non-attack communication topology, modeled by quasi-Abelian Cayley graphs subject to DoS attacks, can be represented as a switched system. Using switching theory, we provide easily applicable sufficient conditions for the networked MAS to remain asymptotically stable despite DoS attacks. Our results are applicable to both continuoustime and discrete-time systems, as well as to discrete-time systems with variable steps or systems that combine discrete and continuous times.
Go to article

Authors and Affiliations

Ewa Girejko
1
Agnieszka Malinowska
1

  1. Bialystok University of Technology,Wiejska 45, 15-351 Białystok, Poland

This page uses 'cookies'. Learn more