We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
In this paper, we develop an algorithm to compute under- and over-approximations to the discrete dynamics of a hybrid automaton.
\nWe represent the approximations to the dynamics as \\emph{sofic shifts}, which can be generated by a discrete automaton.
\nWe restrict to two-dimensional systems, since these give rise to one-dimensional return maps, which are significantly easier to study.
\nGiven generic non-degeneracy conditions, the under- and over-approximations computed by our algorithm converge to the discrete dynamics of the hybrid automaton.
\nWe apply the algorithms to two simple nonlinear hybrid systems, an affine switching system with hysteresis, and the singularly forced van der Pol oscillator
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.