The advanced technology used for developing modern automotive systems increases their complexity, making their correctness assurance very tedious. To enable analysis by simulation, but also enhance understanding and communication, engineers use MATLAB/Simulink modeling during system development. In this paper, we provide further analysis means to industrial Simulink models by proposing a patter...

In the previous chapters, Simulink was used to model complicated systems. Single variable and multivariable systems, linear and nonlinear systems, continuous, discrete and hybrid systems, time invariant and time varying systems, engineering and non-engineering systems can all be simulated by Simulink. With the use of S-function and Stateflow techniques, complicated systems, as well as discrete ...

Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we showed the idea of applying Timed Interval Calculus (TIC) to complement Simulink. In this paper, we develop machine-assisted proof support for Simulink models represented in TIC. The work is based on a generic theorem pr...

We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems. We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended finite automata (I/O-EFA). An I/O-EFA model of a Simulink diagram can be used for further analysis such as test generation and formal verification. W...

Our research focuses on applying formal methods to elevate the design quality of Simulink. As a modelling and simulation tool, Simulink is deficient when coping with the increasing requirements of high-level assurance and timing analysis. We propose a systematic approach to translate Simulink models to Timed Interval Calculus (TIC), a continuous-time based formal language for specifying and rea...

Realistic models of neuromusculoskeletal systems can provide a safe and convenient environment for the design and evaluation of controllers for functional electrical stimulation (FES) prior to clinical trials. We have developed a set of integrated musculoskeletal modeling tools to facilitate the model building process. Simulink models of musculoskeletal systems are created using two software pa...

As embedded control systems are becoming more complex, there is a need for new software development and structuring techniques. The combination Simulink/Stateflow has become a popular tool for model-based design for this type of hybrid systems, due to the simulation and analysis tools available. To enable design and validation of large complex systems in Simulink/Stateflow, an appropriate model...

All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. ...

In this paper, optimal control for linear partial differential algebraic equations (PDAE) with quadratic performance is obtained using Simulink. By using the method of lines, the PDAE is transformed into a differential algebraic equations (DAE). Hence, the optimal control of PDAE can be found out by finding the optimal control of the corresponding DAE. The goal is to provide optimal control wit...

MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical system. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals...