Umeå University's logo

umu.sePublications
Change search
Link to record
Permanent link

Direct link
Johansson, Mats
Publications (6 of 6) Show all publications
Johansson, M. & Eklund, P. (2020). A Digital Twin for Risk Modeling and Decision-Support in a Smart Energy Grid. In: Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jakob Trauer (Ed.), DS 103: Proceedings of the 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020: . Paper presented at The 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020 (pp. 135-143). München: The Design Society, 103
Open this publication in new window or tab >>A Digital Twin for Risk Modeling and Decision-Support in a Smart Energy Grid
2020 (English)In: DS 103: Proceedings of the 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jakob Trauer, München: The Design Society , 2020, Vol. 103, p. 135-143Conference paper, Published paper (Refereed)
Abstract [en]

 In this paper we use electrical grids and the energy market as a system-ofsystems example including both digital twins simulating physical systems as well as energy distribution and the market constrained by laws and regulations. We show how activity processes and design structures can be viewed as having a common qualification modeling framework based on lattice-valuations. BPMN  networks to are shown to resemblance DSM structures.

Place, publisher, year, edition, pages
München: The Design Society, 2020
Series
DSM
Keywords
Digital Twin, Electrical grid, Energy market, Lattice, Quantale
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-175959 (URN)10.35199/dsm2020 (DOI)978-1-912254-12-5 (ISBN)
Conference
The 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020
Available from: 2020-10-14 Created: 2020-10-14 Last updated: 2020-10-15Bibliographically approved
Eklund, P., Johansson, M., Löfstrand, M. & Winter, M. (2019). Many-Valued and Many-Sorted Structure Relations. In: Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jintin Tran; Paulo Montijo (Ed.), DS 97: Proceedings of the 21st International DSM Conference (DSM 2019), Monterey, California, September 23rd - 25th 2019: . Paper presented at The 21st International DSM Conference (DSM 2019), Monterey, California, September 23-25, 2019. (pp. 141-150). München: The Design Society, 97
Open this publication in new window or tab >>Many-Valued and Many-Sorted Structure Relations
2019 (English)In: DS 97: Proceedings of the 21st International DSM Conference (DSM 2019), Monterey, California, September 23rd - 25th 2019 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jintin Tran; Paulo Montijo, München: The Design Society , 2019, Vol. 97, p. 141-150Conference paper, Published paper (Refereed)
Abstract [en]

System-of-systems engineering and related models of engineering design require intertwining of structures, respectively, at least for components in products, engineering and business activities, and people involved in those activities as also specifically connected with production and its management. In this paper we describe the logical machinery of system-of-systems engineering and related models of engineering design in sufficient so as to enable to describe the algebraic foundation of the many-valued logic that is inherent in these systems and structures. We are thus essentially unravelling the hidden and underlying logic of these systems and their related information and process structures, focusing on interaction between elements of the system.

Place, publisher, year, edition, pages
München: The Design Society, 2019
Series
DSM ; 97
Keywords
Information, many-valued logic, process, system-of-systems
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-175960 (URN)10.35199/dsm2019 (DOI)978-1-912254-06-4 (ISBN)
Conference
The 21st International DSM Conference (DSM 2019), Monterey, California, September 23-25, 2019.
Available from: 2020-10-14 Created: 2020-10-14 Last updated: 2020-10-15Bibliographically approved
Johansson, M., Eklund, P., Kortelainen, J. & Winter, M. (2018). The Algebra, Logic and Topology of System-of-Systems. In: Carlo Leardi, Tyson R. Browning, Steven D. Eppinger, Lucía Becerril (Ed.), Proceedings of the 20th International Dependency and Structure Modeling (DSM) Conference: Trieste (Italy), 15 – 17 October 2018. Paper presented at 20th International Dependency and Structure Modeling (DSM) Conference, Trieste, Italy, October 15-17, 2018 (pp. 195-202). DSM, 20
Open this publication in new window or tab >>The Algebra, Logic and Topology of System-of-Systems
2018 (English)In: Proceedings of the 20th International Dependency and Structure Modeling (DSM) Conference: Trieste (Italy), 15 – 17 October 2018 / [ed] Carlo Leardi, Tyson R. Browning, Steven D. Eppinger, Lucía Becerril, DSM , 2018, Vol. 20, p. 195-202Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we propose an information structure enrichment of relational models underlying design structure models typically used in System-ofSystems. Such design structures are algebraically, logically and topologically mostly unstructured relations as treated within naïve set theory. The paper also aims to show how an enriched information structure can be applied to monitor the health status of a System-of-System as an alternative to fault trees.

Place, publisher, year, edition, pages
DSM, 2018
Keywords
Contact lattices, generalized terms, nearness, proximities
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-154555 (URN)978-3-00-057492-4 (ISBN)
Conference
20th International Dependency and Structure Modeling (DSM) Conference, Trieste, Italy, October 15-17, 2018
Funder
Interreg Baltic Sea Region
Available from: 2018-12-19 Created: 2018-12-19 Last updated: 2020-03-05Bibliographically approved
Eklund, P., Johansson, M., Kortelainen, J. & Salminen, V. (2017). The logic of DSM. In: Katja Hölttä-Otto; Tyson R. Browning; Steven D. Eppinger; Lucía Becerril (Ed.), Understand, Innovate, and Manage your Complex System!: Proceedings of the 19th International DSM Conference. Paper presented at 19th International Dependency and Structure Modeling Conference, DSM 2017, Espoo, Finland, September 11-13, 2017 (pp. 25-31).
Open this publication in new window or tab >>The logic of DSM
2017 (English)In: Understand, Innovate, and Manage your Complex System!: Proceedings of the 19th International DSM Conference / [ed] Katja Hölttä-Otto; Tyson R. Browning; Steven D. Eppinger; Lucía Becerril, 2017, p. 25-31Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we propose a logical enrichment DSM so that design structure is described in a logical language rather than as an unstructured relation. We further show how DSM potentially can embrace languages and notations that support modelling of information and process.

Keywords
Category theory, Lative Logic, Modules
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-206117 (URN)2-s2.0-85040128440 (Scopus ID)9783000574795 (ISBN)
Conference
19th International Dependency and Structure Modeling Conference, DSM 2017, Espoo, Finland, September 11-13, 2017
Available from: 2023-03-29 Created: 2023-03-29 Last updated: 2023-03-29Bibliographically approved
Eklund, P., Johansson, M., Karlsson, J. & Åström, R. (2009). BPMN and its semantics for information management in emergency care. In: ICCIT '09. Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009: . Paper presented at Fourth 2009 International Conference on Convergence and Hybrid Information Technology (ICCIT 2009), 24-26 November (pp. 273-278). IEEE Computer Society
Open this publication in new window or tab >>BPMN and its semantics for information management in emergency care
2009 (English)In: ICCIT '09. Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009, IEEE Computer Society, 2009, p. 273-278Conference paper, Published paper (Refereed)
Abstract [en]

Emergency and crisis response such as appearing in large traffic accident management involves coordination of emergency and rescue services and police. The management of information is a complex task where decision support on site and distance management requires a well-founded understanding of the underlying processes. The Business Process Modeling Notation (BPMN) is used for encoding processes related to emergency medical services. BPMN is basically a syntax where the semantic part is left to be specified by the applications. Our approach to semantics is drawn from categorical approaches to representing signatures and generalized terms. In particular, monads over Set, the category of sets, composed with the term monad (over Set) turn out to be useful for modeling uncertainties both with respect to representation of observations as well as time. BPMN Flow Objects, Connecting Objects as well as Artifacts are represented as suitable morphisms in the underlying categories enabled by the monadic instrumentation.

Place, publisher, year, edition, pages
IEEE Computer Society, 2009
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-80629 (URN)10.1109/ICCIT.2009.27 (DOI)2-s2.0-77749249655 (Scopus ID)978-0-7695-3896-9 (ISBN)978-1-4244-5244-6 (ISBN)
Conference
Fourth 2009 International Conference on Convergence and Hybrid Information Technology (ICCIT 2009), 24-26 November
Available from: 2013-09-22 Created: 2013-09-22 Last updated: 2023-03-23Bibliographically approved
Kristensen, I., Johansson, M., Lindh, J., Nilsson, P. & Karlsson, M. (2006). Barnradioterapi på distans. Läkartidningen, 103(15-16), 1188-1190
Open this publication in new window or tab >>Barnradioterapi på distans
Show others...
2006 (Swedish)In: Läkartidningen, Vol. 103, no 15-16, p. 1188-1190Article in journal (Refereed) Published
Identifiers
urn:nbn:se:umu:diva-13465 (URN)
Available from: 2007-02-26 Created: 2007-02-26 Last updated: 2018-06-09Bibliographically approved
Organisations

Search in DiVA

Show all publications