Abstract
In this paper we describe an application of a prototype system that combines synthesis and verification techniques, capable of building discrete controller software for a variety of Robotics and Manufacturing Tasks. We developed and used the Control-D tool to specify the requirements of a real life example: a tray pack line built for the Combat Ration Advanced Manufacturing Technology Demonstration of Rutgers University.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 4113-4118 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 5 |
| State | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Can Duration: Oct 22 1995 → Oct 25 1995 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture
Fingerprint
Dive into the research topics of 'Applying temporal logic verification and synthesis to manufacturing systems'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver