Search Results

A novel plant modeling method called High Level Modeling (HLM) to design and develop control-oriented plant model is introduced. The HLM method is specifically designed to expose the design intention at physics level of a target physical system in a straightforward manner so that plant models can be efficiently understood and peer-reviewed from the physical standpoint. The method also enables construction of system equations from the design information based on simple formal rules which guarantees conservation laws. To show the effectiveness of the HLM approach through a concrete use case, it is applied to turbocharger radial compressor modeling, and analysis on the model equations is performed by deriving compressor speed lines and efficiency.

Test and verification procedures are a vital aspect of the development process for embedded control systems in the automotive domain. Formal requirements can be used in automated procedures to check whether simulation or experimental results adhere to design specifications and even to perform automatic test and formal verification of design models; however, developing formal requirements typically requires significant investment of time and effort for control software designers. We propose Signal Template Library (ST-Lib), a uniform modeling language to encapsulate a number of useful signal patterns in a formal requirement language with the goal of facilitating requirement formulation for automotive control applications. ST-Lib consists of basic modules known as signal templates. Informally, these specify a characteristic signal shape and provide numerical parameters to tune the shape.