Agoric computation: trust and cyber-physical systems

PhD thesis


Bottone, M. 2018. Agoric computation: trust and cyber-physical systems. PhD thesis Middlesex University School of Science and Technology
TypePhD thesis
TitleAgoric computation: trust and cyber-physical systems
AuthorsBottone, M.
Abstract

In the past two decades advances in miniaturisation and economies of scale have led to the emergence of billions of connected components that have provided both a spur and a blueprint for the development of smart products acting in specialised environments which are uniquely identifiable, localisable, and capable of autonomy. Adopting the computational perspective of multi-agent systems (MAS) as a technological abstraction married with the engineering perspective of cyber-physical systems (CPS) has provided fertile ground for designing, developing and deploying software applications in smart automated context such as manufacturing, power grids, avionics, healthcare and logistics, capable of being decentralised, intelligent, reconfigurable, modular, flexible, robust, adaptive and responsive. Current agent technologies are, however, ill suited for information-based environments, making it difficult to formalise and implement multiagent systems based on inherently dynamical functional concepts such as trust and reliability, which present special challenges when scaling from small to large systems of agents. To overcome such challenges, it is useful to adopt a unified approach which we term agoric computation, integrating logical, mathematical and programming concepts towards the development of agent-based solutions based on recursive, compositional principles, where smaller systems feed via directed information flows into larger hierarchical systems that define their global environment. Considering information as an integral part of the environment naturally defines a web of operations where components of a systems are wired in some way and each set of inputs and outputs are allowed to carry some value. These operations are stateless abstractions and procedures that act on some stateful cells that cumulate partial information, and it is possible to compose such abstractions into higher-level ones, using a publish-and-subscribe interaction model that keeps track of update messages between abstractions and values in the data. In this thesis we review the logical and mathematical basis of such abstractions and take steps towards the software implementation of agoric modelling as a framework for simulation and verification of the reliability of increasingly complex systems, and report on experimental results related to a few select applications, such as stigmergic interaction in mobile robotics, integrating raw data into agent perceptions, trust and trustworthiness in orchestrated open systems, computing the epistemic cost of trust when reasoning in networks of agents seeded with contradictory information, and trust models for distributed ledgers in the Internet of Things (IoT); and provide a roadmap
for future developments of our research.

Department nameSchool of Science and Technology
Institution nameMiddlesex University
Publication dates
Print08 Jan 2019
Publication process dates
Deposited08 Jan 2019
Accepted28 Nov 2018
Output statusPublished
Accepted author manuscript
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/881w5

Download files


Accepted author manuscript
  • 49
    total views
  • 30
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as

Related outputs

A global and regional analysis of Risk Factors for Blindness and Vision impairment in 2020 and their contribution to the change in prevalence of vision loss over 3 decades
Bourne, R., Bottone, M., Steinmetz, J., Briant, P., Flaxman, S., Casson, R., Wang, N., Jost, J., Resnikoff, S., Braithwaite, T., Tapply, I., Cicinelli, M., Vos, T. and Taylor, H. 2022. A global and regional analysis of Risk Factors for Blindness and Vision impairment in 2020 and their contribution to the change in prevalence of vision loss over 3 decades. 2022 ARVO Annual Meeting. Denver, Colorado, USA 01 - 04 May 2022 ARVO.
Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study
Steinmetz, J., Bourne, R., Briant, P., Flaxman, S., Taylor, H., Jonas, J., Abdoli, A., Abrha, W., Abualhasan, A., Abu-Gharbieh, E., Adal, T., Afshin, A., Ahmadieh, H., Alemayehu, W., Alemzadeh, S., Alfaar, A., Alipour, V., Androudi, S., Arabloo, J., Arditi, A., Aregawi, B., Arrigo, A., Ashbaugh, C., Ashrafi, E., Atnafu, D., Bagli, E., Baig, A., Bärnighausen, T., Battaglia Parodi, M., Beheshti, M., Bhagavathula, A., Bhardwaj, N., Bhardwaj, P., Bhattacharyya, K., Bijani, A., Bikbov, M., Bottone, M., Braithwaite, T., Bron, A., Burugina Nagaraja, S., Butt, Z., Caetano dos Santos, F., Carneiro, V., Casson, R., Cheng, C., Choi, J., Chu, D., Cicinelli, M., Coelho, J., Congdon, N., Couto, R., Cromwell, E., Dahlawi, S., Dai, X., Dana, R., Dandona, L., Dandona, R., Del Monte, M., Derbew Molla, M., Dervenis, N., Desta, A., Deva, J., Diaz, D., Djalalinia, S., Ehrlich, J., Elayedath, R., Elhabashy, H., Ellwein, L., Emamian, M., Eskandarieh, S., Farzadfar, F., Fernandes, A., Fischer, F., Friedman, D., Furtado, J., Gaidhane, S., Gazzard, G., Gebremichael, B., George, R., Ghashghaee, A., Gilani, S., Golechha, M., Hamidi, S., Hammond, B., Hartnett, M., Hartono, R., Hashi, A., Hay, S., Hayat, K., Heidari, G., Ho, H., Holla, R., Househ, M., Huang, J., Ibitoye, S., Ilic, I., Ilic, M., Ingram, A., Irvani, S., Islam, S., Itumalla, R., Jayaram, S., Jha, R., Kahloun, R., Kalhor, R., Kandel, H., Kasa, A., Kavetskyy, T., Kayode, G., Kempen, J., Khairallah, M., Khalilov, R., Khan, E., Khanna, R., Khatib, M., Khoja, T., Kim, J., Kim, Y., Kim, G., Kisa, S., Kisa, A., Kosen, S., Koyanagi, A., Kucuk Bicer, B., Kulkarni, V., Kurmi, O., Landires, I., Lansingh, V., Leasher, J., LeGrand, K., Leveziel, N., Limburg, H., Liu, X., Madhava Kunjathur, S., Maleki, S., Manafi, N., Mansouri, K., McAlinden, C., Meles, G., Mersha, A., Michalek, I., Miller, T., Misra, S., Mohammad, Y., Mohammadi, S., Mohammed, J., Mokdad, A., Moni, M., Montasir, A., Morse, A., Mulaw, G., Naderi, M., Naderifar, H., Naidoo, K., Naimzada, M., Nangia, V., Narasimha Swamy, S., Naveed, D., Negash, H., Nguyen, H., Nunez-Samudio, V., Ogbo, F., Ogundimu, K., Olagunju, A., Onwujekwe, O., Otstavnov, N., Owolabi, M., Pakshir, K., Panda-Jonas, S., Parekh, U., Park, E., Pasovic, M., Pawar, S., Pesudovs, K., Peto, T., Pham, H., Pinheiro, M., Podder, V., Rahimi-Movaghar, V., Rahman, M., Ramulu, P., Rathi, P., Rawaf, S., Rawaf, D., Rawal, L., Reinig, N., Renzaho, A., Rezapour, A., Robin, A., Rossetti, L., Sabour, S., Safi, S., Sahebkar, A., Sahraian, M., Samy, A., Sathian, B., Saya, G., Saylan, M., Shaheen, A., Shaikh, M., Shen, T., Shibuya, K., Shiferaw, W., Shigematsu, M., Shin, J., Silva, J., Silvester, A., Singh, J., Singhal, D., Sitorus, R., Skiadaresi, E., Skryabin, V., Skryabina, A., Soheili, A., Sorrie, M., Sousa, R., Sreeramareddy, C., Stambolian, D., Tadesse, E., Tahhan, N., Tareque, M., Topouzis, F., Tran, B., Tsegaye, G., Tsilimbaris, M., Varma, R., Virgili, G., Vongpradith, A., Vu, G., Wang, Y., Wang, N., Weldemariam, A., West, S., Wondmeneh, T., Wong, T., Yaseri, M., Yonemoto, N., Yu, C., Zastrozhin, M., Zhang, Z., Zimsen, S., Resnikoff, S. and Vos, T. 2021. Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study. The Lancet Global Health. 9 (2), pp. e144-e160. https://doi.org/10.1016/S2214-109X(20)30489-7
Trends in prevalence of blindness and distance and near vision impairment over 30 years: an analysis for the Global Burden of Disease Study
Bourne, R., Steinmetz, J., Flaxman, S., Briant, P., Taylor, H., Resnikoff, S., Casson, R., Abdoli, A., Abu-Gharbieh, E., Afshin, A., Ahmadieh, H., Akalu, Y., Alamneh, A., Alemayehu, W., Alfaar, A., Alipour, V., Anbesu, E., Androudi, S., Arabloo, J., Arditi, A., Asaad, M., Bagli, E., Baig, A., Bärnighausen, T., Battaglia Parodi, M., Bhagavathula, A., Bhardwaj, N., Bhardwaj, P., Bhattacharyya, K., Bijani, A., Bikbov, M., Bottone, M., Braithwaite, T., Bron, A., Butt, Z., Cheng, C., Chu, D., Cicinelli, M., Coelho, J., Dagnew, B., Dai, X., Dana, R., Dandona, L., Dandona, R., Del Monte, M., Deva, J., Diaz, D., Djalalinia, S., Dreer, L., Ehrlich, J., Ellwein, L., Emamian, M., Fernandes, A., Fischer, F., Friedman, D., Furtado, J., Gaidhane, A., Gaidhane, S., Gazzard, G., Gebremichael, B., George, R., Ghashghaee, A., Golechha, M., Hamidi, S., Hammond, B., Hartnett, M., Hartono, R., Hay, S., Heidari, G., Ho, H., Hoang, C., Househ, M., Ibitoye, S., Ilic, I., Ilic, M., Ingram, A., Irvani, S., Jha, R., Kahloun, R., Kandel, H., Kasa, A., Kempen, J., Keramati, M., Khairallah, M., Khan, E., Khanna, R., Khatib, M., Kim, J., Kim, Y., Kisa, S., Kisa, A., Koyanagi, A., Kurmi, O., Lansingh, V., Leasher, J., Leveziel, N., Limburg, H., Majdan, M., Manafi, N., Mansouri, K., McAlinden, C., Mohammadi, S., Mohammadian-Hafshejani, A., Mohammadpourhodki, R., Mokdad, A., Moosavi, D., Morse, A., Naderi, M., Naidoo, K., Nangia, V., Nguyen, C., Nguyen, H., Ogundimu, K., Olagunju, A., Ostroff, S., Panda-Jonas, S., Pesudovs, K., Peto, T., Quazi Syed, Z., Rahman, M., Ramulu, P., Rawaf, S., Rawaf, D., Reinig, N., Robin, A., Rossetti, L., Safi, S., Sahebkar, A., Samy, A., Saxena, D., Serle, J., Shaikh, M., Shen, T., Shibuya, K., Shin, J., Silva, J., Silvester, A., Singh, J., Singhal, D., Sitorus, R., Skiadaresi, E., Skirbekk, V., Soheili, A., Sousa, R., Spurlock, E., Stambolian, D., Taddele, B., Tadesse, E., Tahhan, N., Tareque, M., Topouzis, F., Tran, B., Travillian, R., Tsilimbaris, M., Varma, R., Virgili, G., Wang, Y., Wang, N., West, S., Wong, T., Zaidi, Z., Zewdie, K., Jonas, J. and Vos, T. 2021. Trends in prevalence of blindness and distance and near vision impairment over 30 years: an analysis for the Global Burden of Disease Study. The Lancet Global Health. 9 (2), pp. e130-e143. https://doi.org/10.1016/S2214-109X(20)30425-3
Multi-agent based simulations of block-free distributed ledgers
Bottone, M., Raimondi, F. and Primiero, G. 2018. Multi-agent based simulations of block-free distributed ledgers. The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA). Krakow, Poland 16 - 18 May 2018 IEEE. pp. 585-590 https://doi.org/10.1109/WAINA.2018.00149
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
Implementing virtual pheromones in BDI robots using MQTT and Jason
Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22
From raw data to agent perceptions for simulation, verification, and monitoring
Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66
Trust and distrust in contradictory information transmission
Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0
Contradictory information flow in networks with trust and distrust
Primiero, G., Bottone, M., Raimondi, F. and Tagliabue, J. 2016. Contradictory information flow in networks with trust and distrust. 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). Milan 01 - 06 Dec 2016 Springer. https://doi.org/10.1007/978-3-319-50901-3_29
A model for trustworthy orchestration in the internet of things
Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37
Towards cyber-physical systems as services: the ASIP protocol
Bordoni, M., Bottone, M., Fields, B., Gorogiannis, N., Margolis, M., Primiero, G. and Raimondi, F. 2015. Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). Florence, Italy 17 - 17 May 2015 IEEE. pp. 52-55 https://doi.org/10.1109/SEsCPS.2015.18