Intelligent agent for formal modelling of temporal multi-agent systems
References
- Botti, V., Carrascosa, C., Julián, V. and Soler, J. 1999. Modelling agents in hard real-time environments. in Garijo F. J., Boman M. (Eds), Multi-Agent System Engineering Springer, Berlin, Heidelberg, pp. 63–76, available at: https://doi.org/10.1007/3-540-48437-X_6
- Chen, Y. 2012. STeC: a location-triggered specification language for real-time systems. 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE, pp. 1–6, available at: https://doi.org/10.1109/ISORCW.2012.11
- Dammalage, T. L. 2018. Effects of site-dependent errors on the accuracy of C/A code DGPS positioning. Civil Engineering Journal 4(10): 2296–2304, available at: https://doi.org/10.28991/cej-03091159
- De Lemos, R., Giese, H., Müller, H. A., Shaw, M., Andersson, J., Litoiu, M., Schmerl, B., Tamura, G., Villegas, N. M., Vogel, T., Weyns, D., Baresi, L., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Desmarais, R., Dustdar, S., Engels, G., Geihs, K., Göschka, K. M., Gorla, A., Grassi, V., Inverardi, P., Karsai, G., Kramer, J., Lopes, A., Magee, J., Malek, S., Mankovskii, S., Mirandola, R., Mylopoulos, J., Nierstrasz, O., Pezzè, M., Prehofer, C., Schäfer, W., Schlichting, R., Smith, D. B., Sousa, J. P., Tahvildari, L., Wong, K. and Wuttke, J. 2013. Software engineering for self-adaptive systems: a second research roadmap. in de Lemos R., Giese H., Müller H. A., Shaw M. (Eds), Software Engineering for Self-Adaptive Systems II Springer, Berlin, Heidelberg, pp. 1–32, available at: https://doi.org/10.1007/978-3-642-35813-5_1
- El Kholy, W., El Menshawy, M., Laarej, A., Bentahar, J., Al-Saqqar, F. and Dssouli, R. 2015. Real-time conditional commitment logic. in Chen, Q., Torroni, P., Villata, S., Hsu J., Omicini,A. (Eds), PRIMA 2015: Principles and Practice of Multi-Agent Systems Springer, Cham, pp. 547–556, available at: https://doi.org/10.1007/978-3-319-25524-8_37
- Ettefagh, M. H., De Doná, J., Naraghi, M. and Towhidkhah, F. 2017. Control of constrained linear-time varying systems via Kautz parametrization of model predictive control scheme. Emerging Science Journal 1(2): 65–74, available at: https://doi.org/10.28991/esj-2017-01117
- Filieri, A., Hoffmann, H. and Maggio, M. 2014. Automated design of self-adaptive software with control-theoretical formal guarantees. Proceedings of the 36th International Conference on Software Engineering, ACM, pp. 299–310, available at: https://doi.org/10.1145/2568225.2568272
- Guo, M. and Dimarogonas, D. V. 2015. Multi-agent plan reconfiguration under local LTL specifications. The International Journal of Robotics Research 34(2): 218–235, available at: https://doi.org/10.1177/0278364914546174
- Herrero, Navarro, M., Corchado, E. and Julián, V. 2013. RT-MOVICAB-IDS: addressing real-time intrusion detection. Future Generation Computer Systems 29(1): 250–261, available at: https://doi.org/10.1016/j.future.2010.12.017
- Iglesia, D. G. D. L. and Weyns, D. 2015. Mape-k formal templates to rigorously design behaviors for self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems, 10(3): 1–31, available at: https://doi.org/10.1145/2724719
- Jennings, N. R., Sycara, K. and Wooldridge, M. 1998. A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1(1): 7–38, available at: https://doi.org/10.1023/A:1010090405266
- Julian, V. and Botti, V. 2004. Developing real-time multi-agent systems. Integrated Computer-Aided Engineering 11(2): 135–149, available at: https://doi.org/10.3233/ICA-2004-11204
- Julian V., Carrascosa C., Rebollo M., Soler J. and Botti V. 2002. SIMBA: an approach for real-time multi-agent systems. in Escrig M. T., Toledo F., Golobardes E. (Eds), Topics in Artificial Intelligence Springer, Berlin, Heidelberg, pp. 282–293, available at: https://doi.org/10.1007/3-540-36079-4_25
- Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. Computer 36(1): 41–50.
- Konur, S., Fisher, M. and Schewe, S. 2013. Combined model checking for temporal, probabilistic, and real-time logics. Theoretical Computer Science 503: 61–88, available at: https://doi.org/10.1109/MC.2003.1160055
- Logenthiran, T., Srinivasan, D., Khambadkone, A. M. and Aung, H. N. 2012. Multiagent system for real-time operation of a microgrid in real-time digital simulator. IEEE Transactions on Smart Grid 3(2): 925–933, available at: https://doi.org/10.1109/TSG.2012.2189028
- Lomuscio, A., Qu, H. and Raimondi, F. 2015. MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19(1): 1–22, available at: https://doi.org/10.1007/s10009-015-0378-x
- Nair, R. R., Behera, L., Kumar, V. and Jamshidi, M. 2015. Multisatellite formation control for remote sensing applications using artificial potential field and adaptive fuzzy sliding mode control. IEEE Systems Journal 9(2): 508–518, available at: https://doi.org/10.1109/JSYST.2014.2335442
- Qasim, A., Kazmi, S. A. R. and Fakhir, I. 2015a. Executable semantics for the formal specification and verification of e-agents. Indian Journal of Science and Technology 8(16): 1–8, available at: https://doi.org/10.17485/ijst/2015/v8i16/55160
- Qasim, A., Kazmi, S. A. R. and Fakhir, I. 2015b. Formal specification and verification of real-time multi-agent systems using timed-arc petri nets. Advances in Electrical and Computer Engineering 15(3): 73–78, available at: https://doi.org/10.4316/AECE.2015.03010
- Qasim, A. and Kazmi, S. A. R. 2016. MAPE-K interfaces for formal modeling of real-time self-adaptive multi-agent systems. IEEE Access 4: 4946–4958, available at: https://doi.org/10.1109/ACCESS.2016.2592381
- Reynisson, A. H., Sirjani, M., Aceto, L., Cimini, M., Jafari, A., Ingolfsdottir, A. and Sigurdarson, S. H. 2014. Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Science of Computer Programming 89: 41–68, available at: https://doi.org/10.1016/j.scico.2014.01.008
- Sun, J., Liu, Y., Dong, J. S., Liu, Y., Shi, L. and André E. 2013. Modeling and verifying hierarchical real-time systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology 22(1): 1–29, available at: https://doi.org/10.1145/2430536.2430537
- Tesar, D. (2016), Next wave of technology. Intelligent Automation & Soft Computing, 22(2): 211–225, available at: https://doi.org/10.1080/10798587.2015.1118202
- Varzaneh, H. H., Neysiani, B. S., Ziafat, H. and Soltani, N. 2018. Recommendation systems based on association rule mining for a target object by evolutionary algorithms. Emerging Science Journal 2(2): 100–107, available at: https://doi.org/10.28991/esj-2018-01133
- Weyns, D., Malek, S. and Andersson, J. 2012. Forms: unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems 7(1): 1–61, available at: https://doi.org/10.1145/2168260.2168268
DOI: https://doi.org/10.21307/ijssis-2020-003 | Journal eISSN: 1178-5608
Language: English
Page range: 1 - 13
Submitted on: Dec 10, 2019
Published on: Feb 5, 2020
Published by: Professor Subhas Chandra Mukhopadhyay
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2020 Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan, published by Professor Subhas Chandra Mukhopadhyay
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.