Hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior‎. ‎The hybrid differential equations have a wide range of applications in science and engineering‎. ‎The hybrid systems are devoted to modeling‎, ‎design‎, ‎and validation of interactive systems of computer programs and continuous systems‎. ‎Hybrid fuzzy differential equations (HFDEs) is considered by ...

Simple-homotopy for simplicial and CW complexes is a special kind of topological homotopy constructed by elementary collapses and expansions. In this paper we introduce graph homotopy for graphs and Graham homotopy for hypergraphs, and study the relation between these homotopies and the simplehomotopy for simplicial complexes. The graph homotopy is useful to describe topological properties of d...

Homotopy type theory is a recent research area connecting type theory with homotopy theory by interpreting types as spaces. In particular, one can prove and mechanize type-theoretic analogues of homotopy-theoretic theorems, yielding “synthetic homotopy theory”. Here we consider the Seifert–van Kampen theorem, which characterizes the loop structure of spaces obtained by gluing. This is useful in...

Homotopy And Simple Homotopy Theory Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have no friends and activities somewhere and sometimes, reading book can be a great choice. This is not only for spending the time, it will increase the knowledge. Of course the b=benefits to take will relate to what kind of book that yo...

The purpose of this paper is to show that ideas and techniques of the homotopy continuation method can be used to find the complete set of eigenpairs of a symmetric matrix. The homotopy defined by Chow, Mallet- Paret and York [I] may be used to solve this problem with 2""-n curves diverging to infinity which for large n causes a great inefficiency. M. Chu 121 introduced a homotopy equation...

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, s...

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.