Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Lausdahl, Kenneth"'
Digital Twins represent a new and disruptive technology, where digital replicas of (cyber)-physical systems operate for long periods of time alongside their (cyber)-physical counterparts, with enabled bi-directional communication between them. Howeve
Externí odkaz:
http://arxiv.org/abs/2304.07328
Autor:
Hansen, Simon Thrane, Thule, Casper, Gomes, Cláudio, Lausdahl, Kenneth Guldbrandt, Madsen, Frederik Palludan, Abbiati, Giuseppe, Larsen, Peter Gorm
Publikováno v:
In The Journal of Systems & Software March 2024 209
Autor:
Feng, Hao, Gomes, Cláudio, Thule, Casper, Lausdahl, Kenneth, Sandberg, Michael, Larsen, Peter Gorm
To demystify the Digital Twin concept, we built a simple yet representative thermal incubator system. The incubator is an insulated box fitted with a heatbed, and complete with a software system for communication, a controller, and simulation models.
Externí odkaz:
http://arxiv.org/abs/2102.10390
Autor:
Couto, Luís Diogo, Larsen, Peter Gorm, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W. V.
Publikováno v:
EPTCS 187, 2015, pp. 14-27
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages suc
Externí odkaz:
http://arxiv.org/abs/1508.03893
Publikováno v:
In Simulation Modelling Practice and Theory April 2019 92:45-61
Publikováno v:
Pierce, K, Lausdahl, K & Frasheri, M 2022, Speeding Up Design Space Exploration through Compiled Master Algorithms . in H D Macedo & K Pierce (eds), Proceedings of the 20th International Overture Workshop . pp. 66-81, 20th Overture Workshop, Aarhus, Denmark, 05/07/2022 . https://doi.org/10.48550/arXiv.2208.10233
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::b99a425298acbd9f50a6a946d686cf95
https://pure.au.dk/portal/da/publications/speeding-up-design-space-exploration-through-compiled-master-algorithms(38a0a0e6-86c4-4973-8664-32e3a5e128b0).html
https://pure.au.dk/portal/da/publications/speeding-up-design-space-exploration-through-compiled-master-algorithms(38a0a0e6-86c4-4973-8664-32e3a5e128b0).html
Publikováno v:
Thule, C, Gomes, C & Lausdahl, K G 2020, Formally Verified FMI Enabled External Data Broker : Rabbitmq FMU . in Proceedings of the 2020 Summer Simulation Conference ., 12, Association for Computing Machinery, San Diego, pp. 1-12 . https://doi.org/10.5555/3427510.3427533
Automated monitoring of deployed Cyber-physical Systems while they are operating can assist in detecting misbehavior. One way to achieve such monitoring is via co-simulation of a modelled system that corresponds to the deployed system. A necessary el
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::bf5d1898429dc4c3ec1ff6225d519353
https://pure.au.dk/portal/da/publications/formally-verified-fmi-enabled-external-data-broker(5f004e2a-5850-43e2-a28e-7ede0c6ce16c).html
https://pure.au.dk/portal/da/publications/formally-verified-fmi-enabled-external-data-broker(5f004e2a-5850-43e2-a28e-7ede0c6ce16c).html
Autor:
Pedersen, Nicolai, Lausdahl, Kenneth Guldbrandt, Vidal, Enrique Sanchez, Thule, Casper, Larsen, Peter Gorm, Madsen, Jan
Publikováno v:
Pedersen, N, Lausdahl, K G, Vidal, E S, Thule, C, Larsen, P G & Madsen, J 2019, Distributed Co-simulation of Embedded Control Software Using INTO-CPS . in M S. Obaidat, T Ören & F De Rango (eds), Simulation and Modeling Methodologies, Technologies and Applications : SIMULTECH 2017, Revised Selected Papers . Springer, Advances in Intelligent Systems and Computing, vol. 873, pp. 33-54, 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Madrid, Spain, 26/07/2017 . https://doi.org/10.1007/978-3-030-01470-4_3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71eafc8776c6e3048e2632638c611086
https://pure.au.dk/ws/files/206866097/pedersen.pdf
https://pure.au.dk/ws/files/206866097/pedersen.pdf
Publikováno v:
Tran-Jørgensen, P W V, Nilsson, R S & Lausdahl, K G 2018, Enhancing Testing of VDM-SL models . in K Pierce & M Verheof (eds), The 16th Overture Workshop . vol. CS-TR-1524, Newcastle University, Newcastle, University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, vol. 1524, pp. 7-23, The 16th Overture Workshop, Oxford, United Kingdom, 14/07/2018 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::9511eb2dddd9fe25e176148736bfef5e
https://pure.au.dk/portal/da/publications/enhancing-testing-of-vdmsl-models(a613d3c4-4ca5-4c38-ab8e-5dd126e8e334).html
https://pure.au.dk/portal/da/publications/enhancing-testing-of-vdmsl-models(a613d3c4-4ca5-4c38-ab8e-5dd126e8e334).html
Autor:
Gomes, Claudio, Thule, Casper, Lausdahl, Kenneth Guldbrandt, Larsen, Peter Gorm, Vangheluwe, Hans
Publikováno v:
Gomes, C, Thule, C, Lausdahl, K G, Larsen, P G & Vangheluwe, H 2018, Demo: Stabilization Technique in INTO-CPS . in M Mazzara, I Ober & G Salaün (eds), Software Technologies: Applications and Foundations : STAF 2018 . Springer, Lecture Notes in Computer Science, vol. 11176, pp. 45-51, STAF 2018 Collocated Workshops, Toulouse, France, 25/06/2018 . https://doi.org/10.1007/978-3-030-04771-9_4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::30d13a396704ebb0ed9631012294ed53
https://pure.au.dk/portal/da/publications/demo-stabilization-technique-in-intocps(67d46551-0c85-45e8-9f5c-dbe4b3655982).html
https://pure.au.dk/portal/da/publications/demo-stabilization-technique-in-intocps(67d46551-0c85-45e8-9f5c-dbe4b3655982).html