This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in ...

Abstract We report the probable detection of energetic neutral hydrogen atoms (ENAs) at >0.8 MeV in several large solar particle events observed between 1997 and 2004. The low Earth orbiting SAMPEX satellite detected transient increases quasi-trapped equatorial protons beginning typically ?3 hr after X-ray flare lasting for up to hours. Since magnetic cutoff rigidity is >10 GV latitude wh...

Two new species of the genus Anoplocheylus Berlese, 1910 (Acari: Trombidiformes: Pseudocheylidae), A. sinai Bagheri sp. nov. and A. kazemii Bagheri sp. nov., are described and figured. An updated key to all known species of Anoplocheylus is also provided.