UML state machine is widely used in modeling the dynamic behavior of object-oriented designs in industry. But UML state machine specification, which is maintained by Object Management Group(OMG), is documented in natural language instead of formal language. The inherited ambiguity of natural language may introduce inconsistencies to the resulting state machine model. Formalizing UML state machi...

In hardware and software design model checkers are nowadays used with success to verify properties of system components [23]. The limits of the approach to cope with the size and the complexity of modern computer-based systems are felt when it comes to provide evidence of the trustworthiness of the entire system that has been built out of verified components. To achieve this task one has to exp...

Most of the inventory control models assume that quality defect never happens, which means production process is perfect. However, in real manufacturing processes, the production process starts its operation in the in-control state; but after a period of time, shifts to the out-of-control state because of occurrence of some disturbances. In this paper, in order to approach the model to real man...

This paper deals with bi-level control policy and queuing analysis of a machine repair problem. The model is developed by incorporating mixed standbys (cold and warm), reneging, set up and vacation time. The repair facility consists of two heterogeneous repairmen in the system. The life and repair time of the failed units and also their set up times are assumed to be exponentially distributed. ...

In previous works, we have developed some computational models of quasi-periodic phenomena based on Fuzzy Finite State Machines. Here, we extend this work to allow designers to obtain detailed linguistic descriptions of relevant amplitude and temporal changes. We include several examples that will help to understand and use this new resource for linguistic description of complex phenomena.

We present components of a system which uses statistical, corpus-based machine learning techniques to perform instantiated goal recognition — recognition of both a goal schema and its parameter values. We first present new results for our previously reported statistical goal schema recognizer. We then present our goal parameter recognizer. The recognizer is fast (linear in the number of observe...