This paper describes the Hybrid Equations (HyEQ) Toolbox implemented in Matlab/Simulink
for the simulation of hy-brid dynamical systems. This toolbox is capable of comput-ing …

This paper discusses an interpretation of hybrid systems as executable models. A
specification of a hybrid system for this purpose can be viewed as a program in a domain …

This interdisciplinary guide explores various types of modeling methods available for
dynamical systems. It begins with the general concepts, representations, and philosophy of …

This paper describes the quantization-based integration methods and extends their use to
the simulation of hybrid systems. Using the fact that these methods approximate ordinary …

This paper describes the modeling language CHARON for modular design of interacting
hybrid systems. The language allows specification of architectural as well as behavioral …

Hydrologic modeling requires the handling of a wide range of highly nonlinear processes
from the scale of a hill slope to the continental scale, and thus the computational efficiency of …

Монография посвящена проблеме построения оригинальных численных методов
решения задачи Коши для жестких систем обыкновенных дифференциальных …

This paper develops a novel approach for the falsification of safety properties given by a
syntactically safe linear temporal logic (LTL) formula ϕ for hybrid systems with nonlinear …

This work is dedicated to the memory of Donato Trigiante who has been the first teacher of
Numerical Analysis of the second author. The authors remember Donato as a generous …

We investigate solution techniques for numerical constraint-satisfaction problems and
validated numerical set integration methods for computing reachable sets of nonlinear …