This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
— Neurons are point process systems, in the sense that the inputs and output which are spike trains can be treated as point processes. System identification of a point process s...
— This paper addresses the cooperative transport of a heavy object by a group of mobile robots. We present a system in which group members lacking knowledge about the position of...
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...
Enoch Yeung, Jorge M. Goncalves, Henrik Sandberg, ...
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
Nico H. Lassing, Daan B. B. Rijsenbrij, Hans van V...