The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. In this paper, we first provide an overview of χ. Then, the χ formalism is related to other formalisms by means of translation schemes: a translation...

Future wireless Am networks are expected to support a variety of services with different bit-rates and Quality-of-Service (QoS) requirements. A major challenge for these networks is the de= sign of the multiple access scheme. In our previous works, we proposed hybrid CDMA/TDMA technique as an appropriate multiple access control (MAC) scheme for wireless Am networks. We also investigated the pro...

The hybrid signcryption scheme based on certificateless public key cryptography avoids the complexity of certificate management existing in the traditional public key cryptography and the inherent key escrow problem existing in identity-based public key cryptography. The certificateless hybrid signcryption scheme combined with certificateless signcryption key encapsulation mechanism and data en...

A novel capability of discrete model-based diagnosis not impose such a strong modeling assumption. Its concept of the methods is the ability to handle unknown modes where no assumpunknown mode allows diagnosis of systems where no assumption is tion is made about the behavior of one or several components of the made about the behavior of one or several components of the syssystem. This paper inc...

Several different hybrid Vlasov-fluid systems are formulated as Euler-Poincaré systems and compared in the same framework. In particular, the discussion focuses on three major hybrid MHD models. These are the current-coupling scheme and two different variants of the pressurecoupling scheme. The Kelvin-Noether theorem is presented explicitly for each scheme, together with the Poincaré invariants...