Marina A. Waldén

Learn More
Simulink is a popular tool for model-based development of control systems. However, due to the complexity caused by the increasing demand for sophisticated controllers, validation of Simulink models is becoming a more difficult task. To ensure correctness and reliability of large models, it is important to be able to reason about model parts and their(More)
In several state-based approaches to distributed computing, e.g., action systems , or UNITY, the computing nodes are commonly left unspeciied or implicit. For instance, an action system comes with an informal description on how the system is supposed to be mapped into the network. The purpose of this paper is to make this mapping explicit so that, e.g., in(More)