Abstract
This paper describes the control of a manufacturing system using an automatic control synthesis tool, Spectool, developed at the University of Kentucky. This tool requires the description of the equipment capability using models of its components. The user then inputs a graphical specification of the desired system activity. This specification and the system models are then used to automatically synthesize control software that details sequences of sensing and actuation necessary to drive the system through the desired behavior. This paper describes the use of the software to synthesize a control program for a miniature manufacturing system.
| Original language | English |
|---|---|
| Title of host publication | 9th Golden West International Conference on Intelligent Systems 2000, ICIS 2000 |
| Editors | David Page, James Graham |
| Pages | 76-79 |
| Number of pages | 4 |
| ISBN (Electronic) | 9781618395702 |
| State | Published - 2000 |
| Event | 9th Golden West International Conference on Intelligent Systems 2000, ICIS 2000 - Louisville, United States Duration: Jun 15 2000 → Jun 17 2000 |
Publication series
| Name | 9th Golden West International Conference on Intelligent Systems 2000, ICIS 2000 |
|---|
Conference
| Conference | 9th Golden West International Conference on Intelligent Systems 2000, ICIS 2000 |
|---|---|
| Country/Territory | United States |
| City | Louisville |
| Period | 6/15/00 → 6/17/00 |
Bibliographical note
Publisher Copyright:Copyright © (2000) by the International Society for Computers and Their Applications. All rights reserved.
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Science Applications
- Signal Processing
- Control and Systems Engineering