Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

a famous theorem of schur states that for a group $g$ finiteness of $g/z(g)$‎ ‎implies the finiteness of $g'.$ the converse of schur's theorem is an interesting problem which has been considered by some‎ ‎authors‎. ‎recently‎, ‎podoski and szegedy proved the truth of the converse of schur's theorem for capable groups‎. ‎they also established an explicit bound for the index of the...

Boujari [5] proved a fixed point theorem with an old version of the integraltype contraction , his proof is incorrect. In this paper, a new generalizationof integral type contraction is introduced. Moreover, a fixed point theorem isobtained.

In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.

in this paper is introduced a new type of generalization of metric spaces called sb metric space. for this new kind of spaces it has been proved a common xed point theorem for four mappings which satisfy generalized contractive condition. we also present example to con rm our theorem.

the purpose of this article is to use the classical sampling theorem, wks sampling theorem, to deriveapproximate values of the eigenvalues of the sturm-liouville problems with eigenparameter in the boundaryconditions. error analysis is used to give estimates of the associated error. higher order approximations are also drived, which lead to more complicated computations. we give some examples a...

in the present paper, measure differential equations involving the distributional henstock-kurzweil integral are investigated. theorems on the existence and structure of the set of solutions are established by using schauder$^prime s$ fixed point theorem and vidossich theorem. two examples of the main results paper are presented. the new results are generalizations of some previous results in t...

in this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. afterwards, the a...