Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company
FREE-DOWNLOAD J Prabhu – 2010Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company . importance [5]. 2.2 SIMULINK INTRODUCTION Simulation is defined as the imitation of some real thing, state of affairs, or process. The act of
Parameter synthesis for hybrid systems with an application to simulink models
FREE-DOWNLOADA Donzé, B Krogh… – Hybrid Systems: Computation and Control, 2009 – Abstract. This paper addresses a parameter synthesis problem for non- linear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm that returns a partition of the set of parameters into subsets classified as safe, unsafe, or
Compositional translation of simulink models into synchronous bip
FREE-DOWNLOAD V Sfyrla, G Tsiligiannis, I Safaka… – … Systems (SIES), 2010 …, 2010 Abstract—We present a method for the translation of a discrete- time fragment of Simulink into the synchronous subset of the BIP language. The translation is fully compositional, that is, it preserves completely the original structure and reveals the minimal control co- ordination […]