A Virtual Verification and Execution of Grafcet Using VRML

IEEE Expert / IEEE Intelligent Systems, 1997

This paper proposes a new model-based technique to automatically generate sequence control programs for mechatronics machines from design information. This technique solves one of the bottlenecks in developing mechatronics machines by reducing burdens of software development. In this technique, a sequence control progrmn is generated from a model of the design object represented in a mechanical CAD by searching the physical causalities described by Qualitative Process Theory and by providing geometric information. Based on this technique, we implemented a prototype system named the Sequence Control Program (SCP) Generator which integrates a mechanical CAD and a software generation system. An example of control program generation for a photocopier with the SCP Generator is described.

This paper presents the Hyper-Automaton model for complex control algorithms. The model creates a base for the Reflex programming language, which is also known as "C with processes". The paper gives reasons for the model and discusses its long-term objectives. The main idea of the model is to reflect the basic features of control algorithms: external environment, cyclic and event-driven functioning, synchronism, hierarchical structure and logical parallelism. The paper introduces basic definitions and conceptual means of the Hyper-Automaton model, which encourage a program implementation of the algorithms. A new kind of functional polymorphism called event-driven polymorphism is distinguished and discussed. The paper includes a short report about the Reflex language project and some interesting results, which have been obtained during its usage.

2007

The hyper-automaton is introduced as a model of complex control algorithms. The model reflects basic aspects of control algorithms: presence of an external environment, cyclic and event-driven functioning, synchronism, hierarchical structure and logical parallelism. The paper introduces basic definitions and conceptual means of hyper-automaton model, which encourage program implementation of the algorithms. A new kind of functional polymorphism we name event- driven polymorphism is distinguished and discussed.

IEEE Transactions …, 2005

The problem of relating state-based intraagent (or intraobject) behavioral descriptions with scenario-based interagent (interobject) descriptions has recently focused much interest among the software engineering community. This paper compiles the results of our investigation of this problem. As interagent formalism, we adopt a simple variant of Live Sequence Charts. For the intraagent perspective, we consider a game-theoretic foundation, looking at agents as "strategies," which encompasses the popular "state-based" paradigm. Three classes of relationships between models are studied: scenario checking (called eLSC checking), synthesis, and verification. We set a formally defined theoretical stage that allows us to express these three problems very simply, to discuss their complexity, and to describe optimal solutions. Our study reveals the intrinsic high computational difficulty of these tasks. Consequently, many related problems and solutions are surveyed, some of which can be the basis for practical solutions. In this, we also offer a panorama of current research and directions for the future.