A graph algorithm for linearizing simulink models. - Zhi Han; Pieter J. Mosterman; Fu Zhang 003 (SummerSim, 2013)

Systematic management of simulation state for multi-branch simulations in simulink. - Zhi Han; Pieter J. Mosterman; Justyna Zander; Fu Zhang 003 (SpringSim (TMS-DEVS), 2013)

Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation. - Fu Zhang 003; Zhi Han; Pieter J. Mosterman (SummerSim, 2014)

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Graphical Hybrid Automata with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)