Skip to main content
Top

2024 | OriginalPaper | Chapter

Cyber-Physical Ecosystems: Modelling and Verification

Author : Manuela L. Bujorianu

Published in: Engineering of Computer-Based Systems

Publisher: Springer Nature Switzerland

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we set up a mathematical framework for the modelling and verification of complex cyber-physical ecosystems. In our setting, cyber-physical ecosystems are cyber-physical systems of systems that are highly connected. These are networked systems that combine cyber-physical systems with an interaction mechanism with other systems and the environment (ecosystem capability). Our contribution will be on two streams: (i) modelling the constituent systems and their interfaces, and (ii) local/global verification of cyber-physical ecosystems. We introduce a concept of basic model, whose skeleton is a Markov decision process and we propose a verification based abstraction methodology.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Bujorianu, M.L., Caulfield, T., Ilau, M.C., Pym, D.S.: Interfaces in Ecosystems: Concepts, Form, and Implementation. Submitted to TARK Bujorianu, M.L., Caulfield, T., Ilau, M.C., Pym, D.S.: Interfaces in Ecosystems: Concepts, Form, and Implementation. Submitted to TARK
4.
go back to reference Bujorianu, M.L., Caulfield, T., Pym, D.: Modelling and control of complex cyber-physical ecosystems. IFAC-PapersOnLine 55(40), 253–258 (2022)CrossRef Bujorianu, M.L., Caulfield, T., Pym, D.: Modelling and control of complex cyber-physical ecosystems. IFAC-PapersOnLine 55(40), 253–258 (2022)CrossRef
5.
go back to reference Bujorianu, M.L., Wisniewski, R., Boulougouris, E.: Stochastic safety for Markov chains. IEEE Control Syst. Lett. 5(2), 427–432 (2021)MathSciNetCrossRef Bujorianu, M.L., Wisniewski, R., Boulougouris, E.: Stochastic safety for Markov chains. IEEE Control Syst. Lett. 5(2), 427–432 (2021)MathSciNetCrossRef
9.
go back to reference Li, L., Walsh, T.J., Littman, M.L.: Towards a unified theory of state abstraction for MDPs. In: Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (2006) Li, L., Walsh, T.J., Littman, M.L.: Towards a unified theory of state abstraction for MDPs. In: Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (2006)
11.
go back to reference Stoelinga, M.: An introduction to probabilistic automata. Bull. EATCS 78 (2004) Stoelinga, M.: An introduction to probabilistic automata. Bull. EATCS 78 (2004)
12.
go back to reference Misra, R., Wisniewski, R., Kallesøe, C.S.: Approximating the model of a water distribution network as a Markov decision process. IFAC-PapersOnLine 55(20), 271–276 (2022)CrossRef Misra, R., Wisniewski, R., Kallesøe, C.S.: Approximating the model of a water distribution network as a Markov decision process. IFAC-PapersOnLine 55(20), 271–276 (2022)CrossRef
Metadata
Title
Cyber-Physical Ecosystems: Modelling and Verification
Author
Manuela L. Bujorianu
Copyright Year
2024
DOI
https://doi.org/10.1007/978-3-031-49252-5_17

Premium Partner