81 citations · 168 across the 16 of their papers we have counts for
3 papers · 1 filter
Constructing Neural Network-Based Models for Simulating Dynamical Systems
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger +6
Dynamical systems see widespread use in natural sciences like physics, biology, chemistry, as well as engineering disciplines such as circuit analysis, computational fluid dynamics…
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen +4
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the f…
The Incubator Case Study for Digital Twin Engineering
Hao Feng, Cláudio Gomes, Casper Thule +3
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 s…