Related papers: The Interplay Between Symmetries and Impact Effect…

The asynchronous systems are non-deterministic real time, binary valued models of the asynchronous circuits from electronics. Autonomy means that there is no input and regularity means analogies with the (real) dynamical systems. We…

Controlling hybrid systems is mostly very challenging due to the variety of dynamics these systems can exhibit. Inspired by the concept of differential flatness of nonlinear continuous systems and their inherent invertibility property, the…

This article reviews static and dynamic interfacial effects in magnetism, focusing on interfacially-driven magnetic effects and phenomena associated with spin-orbit coupling and intrinsic symmetry breaking at interfaces. It provides a…

Hamiltonian theory of hybrid quantum-classical systems is used to study dynamics of the classical subsystem coupled to different types of quantum systems. It is shown that the qualitative properties of orbits of the classical subsystem…

We present a dynamical system approach for the control of a nonlinear dynamical system by defining the control problem in a Fiber bundle framework. The constructive procedure derived results in the generation of a NHIM/NAIM which…

Event-B is a well known methodology for the verified design and development of systems that can be characterised as discrete transition systems. Hybrid Event-B is a conservative extension that interleaves the discrete transitions of Event-B…

Physics engines play an important role in robot planning and control; however, many real-world control problems involve complex contact dynamics that cannot be characterized analytically. Most physics engines therefore employ .…

Dynamics, the study of change, is normally the subject of mechanics. Whether the chosen mechanics is ``fundamental'' and deterministic or ``phenomenological'' and stochastic, all changes are described relative to an external time. Here we…

Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. As typical in dynamical analysis, an essential goal is to study the long-term behavior of these systems. In this work, we present two different…

The impulse-based discrete feedback control has been proposed in previous work for the second-order motion systems with damping uncertainties. The sate-dependent discrete impulse action takes place at zero crossing of one of both states,…

We show that, near periodic orbits, a class of hybrid models can be reduced to or approximated by smooth continuous-time dynamical systems. Specifically, near an exponentially stable periodic orbit undergoing isolated transitions in a…

In this study, Lagrangian and Hamiltonian systems, which are mathematical models of mechanical systems, were introduced on the horizontal and the vertical distributions of tangent and cotangent bundles. Finally, some geometrical and…

We extend the theory of exterior differential systems from manifolds and their tangent bundles to Lie algebroids. In particular, we define the concept of an integral manifold of such an exterior differential system. We support our…

A hybrid formalism is proposed for interacting classical and quantum sytems. This formalism is mathematically consistent and reduces to standard classical and quantum mechanics in the case of no interaction. However, in the presence of…

A novel theory of hybrid quantum-classical systems is developed, utilizing the mathematical framework of constrained dynamical systems on the quantum-classical phase space. Both, the quantum and the classical descriptions of the respective…

In this paper, we present a method to generate homoclinic and heteroclinic motions in impulsive systems. We rigorously prove the presence of such motions in the case that the systems are under the influence of a discrete map that possesses…

Quantum collision models allow for the dynamics of open quantum systems to be described by breaking the environment into small segments, typically consisting of non-interacting harmonic oscillators or two-level systems. This work introduces…

A hybrid system is a system whose dynamics are controlled by a mixture of both continuous and discrete transitions. The integrability of Hamiltonian systems is often identified with complete integrability or Liouville integrability, that…

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

For a wide variety of problems, creating detailed continuous models of (continuous) physical systems is, at the very least, impractical. Hybrid models can abstract away short transient behaviour (thus introducing discontinuities) in order…