We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuous dynamics. A number of analysis problems, such as reachability testing and controller synthesis, are decidable for classes of ominimal hybrid automata. We generalize existing decidability results for controller synthesis on h...

Information security and Intrusion Detection System (IDS) plays a critical role in the Internet. IDS is an essential tool for detecting different kinds of attacks in a network and maintaining data integrity, confidentiality and system availability against possible threats. In this paper, a hybrid approach towards achieving high performance is proposed. In fact, the important goal of this paper ...

Imperialist competitive algorithm (ICA) is a new socio-politically motivated global search strategy. The ICA is applied to hybrid composite laminates to obtain minimum weight and cost. The approach which is chosen for conducting the multi-objective optimization was the weighted sum method (WSM). The hybrid composite Laminates are made of glass/epoxy and carbon/epoxy to combine the lightness and...

Power management strategies play a key role in the design process of hybrid electric vehicles. Electric Assist Control Strategy (EACS) is one of the popular power management strategies for hybrid electric vehicles (HEVs). The present investigation proposes a new framework to advance the EACS. Dynamic Programming method is applied to an HEV model in several drive cycles, and as a result, some op...

In recent decade, the new advanced nanofluids, composed from various particles, have attracted the attention of researchers. This class of nanofluids, which can be prepared by suspending several types (two or more than two) of nanoparticles in base fluid, is termed as hybrid nanofluids. In this work, an experimental investigation on the effects of temperature and concentration of nanoparticles ...