To improve the corrosion protection of copper metal, 0.01M concentration of 1H-1,2,4-triazole-3-thiol (TAT) was incorporated into the hybrid sol-gel monolayers containing 3-glycidoxypropyltrimethoxysilane (GPTMS) and Tetraethoxysilane (TEOS). It was further subjected to hydrolysis and condensation reaction to form a sol-gel matrix. The TAT-doped hybrid sol-gel coating was applied over the c...

In this study, the Al/Al2O3-SiC hybrid composite was produced by accumulative roll bonding (ARB). In the first and the second cycles, the particles were uniformly poured between the Al strips during each ARB cycle. In the subsequent cycles, ARB was repeated up to six cycles without adding the particles between the layers. After the total eight cycles, the particles were distributed uniformly wi...

Decidability results for the veriication of hybrid systems consist of constructing special nite state quotients called bisimulations whose properties are equivalent to those of the original innnite state system. This approach has had success in the case of timed automata and linear hybrid automata. In this paper, the powerful framework of stratiication theory and subanalytic sets is presented a...

In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno behavior, where an infinite sequence of impacts converges in finite time. The main result of this paper is explicit conditions under which the existence of stable periodic orbits for a Lagrangian hybrid system with perfectly plast...

We present results on existence of continuous selections of trajectories of hybrid systems evolving according to Lipschitz nonlinear inclusions. First, we utilize the Skorohod metric to de4ne both a family of pseudo-metrics and a metric on the set of trajectories accepted by the hybrid automaton. We show that under a non-Zeno condition the latter metric is complete. Second, the existence of con...

There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtai...

Technology is influencing education, blurring the boundaries of delivery modes. A combination between online and traditional teaching style, the hybrid/blended course, may present a solution with many benefits. This paper provides definitions of the different delivery approaches, and then evaluates four years of data from a course that has been converted from traditional face-to-face delivery, ...

In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We p...

In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.