Intelligent agent for formal modelling of temporal multi-agent systems

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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. 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 Search in Google Scholar

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 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 Search in Google Scholar

Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. Computer 36(1): 41–50. Kephart J. O. and Chess D. M. 2003 The vision of autonomic computing Computer 36 (1) 41 – 50 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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. 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 Search in Google Scholar

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. 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar

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 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 Search in Google Scholar