### Abstract

The solution complexity of a synthesized control model of an automated manufacturing system grows exponentially in the number of constituent components in the system [6], thus resulting in the control model being either theoretically untractable in computation [12] or practically unfeasible in implementation [1,14]. By taking advantage of both Petri nets and supervisory control theory, this paper presents a new methodology, called deterministic finite capacity automaton, which when used to model the control of an automated manufacturing system can significantly reduce model complexity. By taking into account the nature of manufacturing automation and combining the technology advances in multi-process computer operating systems, an automaton-based control model capable of running coordinated computing processes is defined. An adjustable language is introduced into the control model, to make it function more efficiently.

Original language | English (US) |
---|---|

Title of host publication | Proceedings of the IEEE International Symposium on Computer-Aided Control System Design |

Editors | Anon |

Pages | 218-223 |

Number of pages | 6 |

State | Published - 1996 |

Event | Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design - Dearborn, MI, USA Duration: Sep 15 1996 → Sep 18 1996 |

### Other

Other | Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design |
---|---|

City | Dearborn, MI, USA |

Period | 9/15/96 → 9/18/96 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Computer Science(all)
- Engineering(all)

### Cite this

*Proceedings of the IEEE International Symposium on Computer-Aided Control System Design*(pp. 218-223)

}

*Proceedings of the IEEE International Symposium on Computer-Aided Control System Design.*pp. 218-223, Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design, Dearborn, MI, USA, 9/15/96.

**Deterministic finite capacity automata : a solution to reduce the complexity of modeling and control of automated manufacturing systems.** / Qiu, Guanghua; Joshi, Sanjay B.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Deterministic finite capacity automata

T2 - a solution to reduce the complexity of modeling and control of automated manufacturing systems

AU - Qiu, Guanghua

AU - Joshi, Sanjay B.

PY - 1996

Y1 - 1996

N2 - The solution complexity of a synthesized control model of an automated manufacturing system grows exponentially in the number of constituent components in the system [6], thus resulting in the control model being either theoretically untractable in computation [12] or practically unfeasible in implementation [1,14]. By taking advantage of both Petri nets and supervisory control theory, this paper presents a new methodology, called deterministic finite capacity automaton, which when used to model the control of an automated manufacturing system can significantly reduce model complexity. By taking into account the nature of manufacturing automation and combining the technology advances in multi-process computer operating systems, an automaton-based control model capable of running coordinated computing processes is defined. An adjustable language is introduced into the control model, to make it function more efficiently.

AB - The solution complexity of a synthesized control model of an automated manufacturing system grows exponentially in the number of constituent components in the system [6], thus resulting in the control model being either theoretically untractable in computation [12] or practically unfeasible in implementation [1,14]. By taking advantage of both Petri nets and supervisory control theory, this paper presents a new methodology, called deterministic finite capacity automaton, which when used to model the control of an automated manufacturing system can significantly reduce model complexity. By taking into account the nature of manufacturing automation and combining the technology advances in multi-process computer operating systems, an automaton-based control model capable of running coordinated computing processes is defined. An adjustable language is introduced into the control model, to make it function more efficiently.

UR - http://www.scopus.com/inward/record.url?scp=0029751712&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029751712&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029751712

SP - 218

EP - 223

BT - Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

A2 - Anon, null

ER -