A hybrid system is a dynamical system with both discrete and continuous state variables, and it has been widely used in many application fields. In this paper we propose a formal verification method for hybrid systems. Particularly, as embedded systems form part of hybrid systems, we use embedded system to test the effectiveness of our proposed algorithm. The design of embedded system is mainly...

Paederus (Harpopaederus) xui Peng & Li, sp. n. (Sichuan: Micang Shan) is described. Additional records of five Harpaederus species are reported. All of these species are illustrated.

Background and purpose: Highly consumption of antibiotics and their entrance into the environment has increased concerns all over the world. These compounds enter to the environment through an incomplete metabolism and a considerable amount of them cannot be removed using usual waste filtration systems. Therefore, the present study aimed to investigate the feasibility of using ultraviolet radia...

Submitted for the MAR11 Meeting of The American Physical Society Bias dependence of h/e and h/2e Aharonov-Bohm oscillations in topological insulators1 PRAMEY UPADHYAYA, FAXIAN XIU, YABIN FAN, IGOR OVCHINNIKOV, KANG WANG, University of California Los Angeles, UNIVERSITY OF CALIFORNIA LOS ANGELES TEAM — Recently Aharonov-Bohm (AB) oscillations were observed in Bi2Se3 nanoribbons by Peng et al. [1...