Hae Young Lee

Learn More
In applications of wireless sensor networks, there are many security issues. Attackers can create false reports and transmit the reports to the networks. These false reports can lead not only false alarms, but also the depletion of limited energy resources. In order to filter out such false reports during the forwarding process, Ye et al. proposed the(More)
ECML (ETRI CPS Modeling Language) is a modeling formalism for hybrid systems, recently proposed by a research institute-ETRI in Korea. It extends a basic formalism DEV&DESS (Discrete EVent & Differential Equation System Specification) with various conveniences in modeling and simulation. The formal verification tool for ECML has not been provided yet. This(More)
We present a formal verification of a hybrid system from an example of a barrel-filler system. Hybrid system composes continuous elements and discrete elements. ECML (ETRI CPS Modeling Language) is a modeling formalism for hybrid systems, recently proposed by a research institute-ETRI in Korea. It extends a basic formalism DEV& DESS (Discrete EVent &(More)
Three stopping rules for image component extraction were compared via a simulation-based experimental design. Simulated correlation matrices were generated under conditions of changing sample size, number of variables, magnitude of loadings, and degree of correlation among components. All three methods were found to be accurate under favorable conditions(More)
  • 1