Results 311 to 320 of about 337,412 (345)
Some of the next articles are maybe not open access.
Compositional Contraction Analysis of Resetting Hybrid Systems
IEEE Transactions on Automatic Control, 2006This note develops sufficient conditions for exponential convergence of resetting hybrid nonlinear dynamical systems. Using nonlinear contraction theory, the analysis first develops a unified formulation of continuous-time and discrete-time nonlinear dynamics based on a differential transition matrix.
Khalid El Rifai, Jean-Jacques E. Slotine
openaire +1 more source
Coincidence Theorems for Hybrid Contractions
Mathematische Nachrichten, 1986Let X denote an arbitrary nonempty set, (M,d) a metric space, and S,T two mappings defined on X and taking values in M. \textit{K. Goebel} [Bull. Acad. Pol. Sci., Sér. Math. Astron. Phys. 16, 733-735 (1968; Zbl 0165.498)] has shown that if T(X) is a complete subspace of M with S(X)\(\subset T(X)\), then the condition d(SxSy)\(\leq kd(TxTy)\) for fixed \
Naimpally, S. A. +2 more
openaire +2 more sources
A hybrid representation model for service contracts
2015 International Conference on Information and Communication Technology Research (ICTRC), 2015The lack of control on personal data/processes and trust in their management by a third party is a well-known problem that limits the success of the cloud computing paradigm. Organizations and final users are increasingly reluctant to move their assets (i.e., services, business data, and personal information) to the cloud, and to participate in an ...
G. E. Jaramillo +2 more
openaire +1 more source
Hybrid-Trusted Party Contract Agrees on Clients Input
2020 IEEE 3rd 5G World Forum (5GWF), 2020Modern applications implemented on distributed ledgers and blockchain platforms serve a wide variety of purposes in automating business and end-user processes. Smart contracts, which are immutable records of functions, are used to mitigate and reduce the administration cost of these implementations.
Anwar Alruwaili, Dov Kruger
openaire +1 more source
A hybrid algorithm for pseudo-contractive mappings
Nonlinear Analysis: Theory, Methods & Applications, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
YAO Y, LIOU Y. C, MARINO, Giuseppe
openaire +2 more sources
On infinitesimal contraction analysis for hybrid systems
2022 IEEE 61st Conference on Decision and Control (CDC), 2022Samuel A. Burden, Samuel D. Coogan
openaire +1 more source
Results on Nonlinear Hybrid Contractions Satisfying a Rational Inequality
Southeast Asian Bulletin of Mathematics, 2003The authors consider weak commutativity conditions of maps and multivalued maps defined on complete metric spaces giving common fixed point theorems under a rational inequality.
Imdad, Mohammad, Khan, Tariq Iqtadar
openaire +1 more source
A Practical Guide to Contracts of Affreightment and Hybrid Contracts
Arab Law Quarterly, 1991Lars Gorton, Rolf Ihre
openaire +1 more source
Change and Delay Contracts for Hybrid System Component Verification
2017In this paper, we present reasoning techniques for a component-based modeling and verification approach for hybrid systems comprising discrete dynamics as well as continuous dynamics, in which the components have local responsibilities. Our approach supports component contracts i.e., input assumptions and output guarantees of interfaces that are more ...
Andreas Müller 0015 +4 more
openaire +1 more source
A hybrid relief procurement contract for humanitarian logistics
Transportation Research, Part E: Logistics and Transportation Review, 2022Ali Ghavamifar +2 more
exaly