A hierarchical state machine (Hsm) is a finite state machine where a vertex can either expand to another hierarchical state machine (box) or be a basic vertex (node). Each node is labeled with atomic propositions. We study an extension of such model which allows atomic propositions to label also boxes (Shsm). We show that Shsms can be exponentially more succinct than Shsms and verification is i...

Dependence is a relation that determines which parts of a system influence the computation of another part. Dependence analysis underpins many activities in computer science, such as model checking, debugging, slicing, security. We are interested in dependence analysis for slicing for finite state machine-based models. In this paper we survey existing dependence relations defined for slicing at...

This work presents a modular technique for minimizing a nite state machine FSM while preserving its equivalence to the original system Being modular the minimization technique should consume less time and space Preserving equivalence the resulting minimized model can be employed in both temporal logic model checking and sequential equivalence checking thus reducing their time and space consumpt...

This paper presents a technique to model check UML specifications by translating UML models to the model checker SPIN. Our models consist of active UML classes, whose behavior is defined by hierarchical state machines. The intended application is to find errors in protocols communicating using asynchronous message passing. Compared to previous efforts using a similar approach, our novel points ...

This paper focuses on the response of circular machine foundation resting on different soils (sand and clay) through studying the variation of soil shear strength parameters and strain with the number of cycles. The objective of the current study is to explore the results related to the parameters of the dynamic load (number of loading cycles and frequency of load) related to the circular footi...

gesture and motion recognition are needed for a variety of applications. the use of human hand motions as a natural interface tool has motivated researchers to conduct research in the modeling, analysis and recognition of various hand movements. in particular, human-computer intelligent interaction has been a focus of research in vision-based gesture recognition. in this work, we introduce a 3-...

We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation. The machine to be described here, like almost every contrivance, apparatus, or machine in practical use, is based very largely upon what has been accomplished by others who previously labored in the same field. —Description of the U.S. Coast and Geodetic ...

Many defects in manufacturing system are caused by human resources that show the significance of the human resources in manufacturing systems. Most manufacturers attempt to investigate the human resources in order to improve the work conditions and reduce the human error by providing a proper work-rest schedule. On the other hand, manufacturer deal with machine scheduling based on demand and wo...

Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...