Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Model-based automatic programming for plant control
Proceedings of the sixth conference on Artificial intelligence applications
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
The post-mass production paradigm, knowledge intensive engineering, and soft machines
PROLAMAT '95 Proceedings of the IFIP WG5.3 international conference on Life-cycle modelling for innovative products and processes
Lockheed Environment for Automatic Programming
IEEE Expert: Intelligent Systems and Their Applications
Using Functional Maintenance to Improve Fault Tolerance
IEEE Expert: Intelligent Systems and Their Applications
A Synthetic Reasoning Method for Conceptual Design
Proceedings of the IFIP TC5/WG5.3 Conference on Towards World Class Manufacturing 1993
Functional Reasoning in Design
IEEE Expert: Intelligent Systems and Their Applications
Hi-index | 0.00 |
Sequence control is an important part of the control software in mechatronics machines. A new model-based technique automatically generates sequence-control programs by integrating various kinds of design information. Designing mechatronics machines involves both hardware and software. A well-known bottleneck in developing such machines is software development, even if the control is based on simple sequence control. (Sequence control is a way to control the motions of devices according to the conditions and the sequence prepared in advance.) This article describes a system that automates this process. Although many researchers have studied methods to automatically generate control programs, most of these programs use transformation knowledge, from formal specifications to codes. For instance, Yasuko Nakayama has developed a technique to automatically generate sequence-control programs from the requirements for objects represented in the conceptual level. Henson Graves has also succeeded in automatic programming through generation of actions to be activated, based on functional connections among a plant's components. However, these techniques share two basic problems: ý Specifications for the control and those for the mechanism are often developed independently and inconsistently.ý The designer cannot effectively use information about the mechanism in the software-design stage. In other words, the scope of previous studies is limited to software design, and these techniques are not fully integrated with a mechanical CAD system. This results in a concurrent engineering problem that needs to address sharing design information and knowledge within a design team. In the case of mechatronics design, software developers and machine designers should share such information and knowledge. That is why previous techniques to automatically generate control software are not powerful enough to support the whole process of designing mechatronics machines.