Computer-Aided Analysis of Hybrid Dynamical Systems in the ISMA Environment
Aleksey V. Garder, Yury V. Shornikov · 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) · 2022
The numerical analysis of complex event-continuous processes represented by the class of Cauchy problems with constraints on an event function is considered. The processes are specified in the developed unique textual-graphical language LISMA using Harel statecharts. The program models are edited, numerically analyzed, and their results are processed in the computer-aided analysis environment ISMA. The numerical analysis is performed using a collection of traditional and developed original explicit numerical integration methods of variable order and step with extended stability domains and an original algorithm detecting unilateral events in hybrid systems. The efficiency of the original methods has been tested on typical examples of hybrid systems. The chosen visual specification of program models satisfies the representation semantics of discrete-continuous processes with complex operational mode switching logic. Moreover, such a specification is understandable to an end user, who is rather interested in analyzing complex dynamic processes using simple and comprehensible tools for composing and editing models and being able to change the model structure and parameters fast.