Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...
Feng Yang, Jingang Liu, Mustafa Tongarlak, Bruce E...
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...