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: International Journal on Smart Sensing and Intelligent Systems
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 International Journal on Smart Sensing and Intelligent Systems
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.