This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
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_6BottiV.CarrascosaC.JuliánV. and SolerJ.1999Modelling agents in hard real-time environments. inGarijoF. J.BomanM.(Eds),SpringerBerlinHeidelberg, pp.63–76available at:https://doi.org/10.1007/3-540-48437-X_6Search 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.11ChenY.20122012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE, pp.1–6available at:https://doi.org/10.1109/ISORCW.2012.11Search 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-03091159DammalageT. L.2018Effects of site-dependent errors on the accuracy of C/A code DGPS positioning4(10)2296–2304available at:https://doi.org/10.28991/cej-03091159Search 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_1De LemosR.GieseH.MüllerH. A.ShawM.AnderssonJ.LitoiuM.SchmerlB.TamuraG.VillegasN. M.VogelT.WeynsD.BaresiL.BeckerB.BencomoN.BrunY.CukicB.DesmaraisR.DustdarS.EngelsG.GeihsK.GöschkaK. M.GorlaA.GrassiV.InverardiP.KarsaiG.KramerJ.LopesA.MageeJ.MalekS.MankovskiiS.MirandolaR.MylopoulosJ.NierstraszO.PezzèM.PrehoferC.SchäferW.SchlichtingR.SmithD. B.SousaJ. P.TahvildariL.WongK. and WuttkeJ.2013Software engineering for self-adaptive systems: a second research roadmap. inde LemosR.GieseH.MüllerH. A.ShawM.(Eds),SpringerBerlinHeidelberg, pp.1–32available at:https://doi.org/10.1007/978-3-642-35813-5_1Search 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_37El KholyW.El MenshawyM.LaarejA.BentaharJ.Al-SaqqarF. and DssouliR.2015Real-time conditional commitment logic. inChenQ.TorroniP.VillataS.HsuJ.OmiciniA.(Eds),SpringerCham, pp.547–556available at:https://doi.org/10.1007/978-3-319-25524-8_37Search 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-01117EttefaghM. H.De DonáJ.NaraghiM. and TowhidkhahF.2017Control of constrained linear-time varying systems via Kautz parametrization of model predictive control scheme1(2)65–74available at:https://doi.org/10.28991/esj-2017-01117Search 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.2568272FilieriA.HoffmannH. and MaggioM.2014Proceedings of the 36th International Conference on Software Engineering, ACM, pp.299–310available at:https://doi.org/10.1145/2568225.2568272Search 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/0278364914546174GuoM. and DimarogonasD. V.2015Multi-agent plan reconfiguration under local LTL specifications34(2)218–235available at:https://doi.org/10.1177/0278364914546174Search 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.017HerreroNavarroM.CorchadoE. and JuliánV.2013RT-MOVICAB-IDS: addressing real-time intrusion detection29(1)250–261available at:https://doi.org/10.1016/j.future.2010.12.017Search 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/2724719IglesiaD. G. D. L. and WeynsD.2015Mape-k formal templates to rigorously design behaviors for self-adaptive systems10(3)1–31available at:https://doi.org/10.1145/2724719Search 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:1010090405266JenningsN. R.SycaraK. and WooldridgeM.1998A roadmap of agent research and development1(1)7–38available at:https://doi.org/10.1023/A.1010090405266Search 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-11204JulianV. and BottiV.2004Developing real-time multi-agent systems11(2)135–149available at:https://doi.org/10.3233/ICA-2004-11204Search 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_25JulianV.CarrascosaC.RebolloM.SolerJ. and BottiV.2002SIMBA: an approach for real-time multi-agent systems. inEscrigM. T.ToledoF.GolobardesE.(Eds),SpringerBerlinHeidelberg, pp.282–293available at:https://doi.org/10.1007/3-540-36079-4_25Search in Google Scholar
Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. Computer 36(1): 41–50.KephartJ. O. and ChessD. M.2003The vision of autonomic computing36(1)41–50Search 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.1160055KonurS.FisherM. and ScheweS.2013Combined model checking for temporal, probabilistic, and real-time logics50361–88available at:https://doi.org/10.1109/MC.2003.1160055Search 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.2189028LogenthiranT.SrinivasanD.KhambadkoneA. M. and AungH. N.2012Multiagent system for real-time operation of a microgrid in real-time digital simulator3(2)925–933available at:https://doi.org/10.1109/TSG.2012.2189028Search 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-xLomuscioA.QuH. and RaimondiF.2015MCMAS: an open-source model checker for the verification of multi-agent systems19(1)1–22available at:https://doi.org/10.1007/s10009-015-0378-xSearch 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.2335442NairR. R.BeheraL.KumarV. and JamshidiM.2015Multisatellite formation control for remote sensing applications using artificial potential field and adaptive fuzzy sliding mode control9(2)508–518available at:https://doi.org/10.1109/JSYST.2014.2335442Search 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/55160QasimA.KazmiS. A. R. and FakhirI.2015aExecutable semantics for the formal specification and verification of e-agents8(16)1–8available at:https://doi.org/10.17485/ijst/2015/v8i16/55160Search 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.03010QasimA.KazmiS. A. R. and FakhirI.2015bFormal specification and verification of real-time multi-agent systems using timed-arc petri nets15(3)73–78available at:https://doi.org/10.4316/AECE.2015.03010Search 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.2592381QasimA. and KazmiS. A. R.2016MAPE-K interfaces for formal modeling of real-time self-adaptive multi-agent systems44946–4958available at:https://doi.org/10.1109/ACCESS.2016.2592381Search 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.008ReynissonA. H.SirjaniM.AcetoL.CiminiM.JafariA.IngolfsdottirA. and SigurdarsonS. H.2014Modelling and simulation of asynchronous real-time systems using Timed Rebeca8941–68available at:https://doi.org/10.1016/j.scico.2014.01.008Search 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.2430537SunJ.LiuY.DongJ. S.LiuY.ShiL. and AndréE.2013Modeling and verifying hierarchical real-time systems using Stateful Timed CSP22(1)1–29available at:https://doi.org/10.1145/2430536.2430537Search 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.1118202TesarD.2016,Next wave of technology22(2)211–225available at:https://doi.org/10.1080/10798587.2015.1118202Search 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-01133VarzanehH. H.NeysianiB. S.ZiafatH. and SoltaniN.2018Recommendation systems based on association rule mining for a target object by evolutionary algorithms2(2)100–107available at:https://doi.org/10.28991/esj-2018-01133Search 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.2168268WeynsD.MalekS. and AnderssonJ.2012Forms: unifying reference model for formal specification of distributed self-adaptive systems7(1)1–61available at:https://doi.org/10.1145/2168260.2168268Search in Google Scholar