Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings of the IEEE International Symposium on Computer-Aided Control System Design
Editors Anon
Pages218-223
Number of pages6
StatePublished - 1996
EventProceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design - Dearborn, MI, USA
Duration: Sep 15 1996Sep 18 1996

Other

OtherProceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design
CityDearborn, MI, USA
Period9/15/969/18/96

Fingerprint

Computer operating systems
Petri nets
Control theory
Automation

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Engineering(all)

Cite this

Qiu, G., & Joshi, S. B. (1996). Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems. In Anon (Ed.), Proceedings of the IEEE International Symposium on Computer-Aided Control System Design (pp. 218-223)
Qiu, Guanghua ; Joshi, Sanjay B. / Deterministic finite capacity automata : a solution to reduce the complexity of modeling and control of automated manufacturing systems. Proceedings of the IEEE International Symposium on Computer-Aided Control System Design. editor / Anon. 1996. pp. 218-223
@inproceedings{9caae20f5af547cbb14b59dd116818bb,
title = "Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems",
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.",
author = "Guanghua Qiu and Joshi, {Sanjay B.}",
year = "1996",
language = "English (US)",
pages = "218--223",
editor = "Anon",
booktitle = "Proceedings of the IEEE International Symposium on Computer-Aided Control System Design",

}

Qiu, G & Joshi, SB 1996, Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems. in Anon (ed.), 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.

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design. ed. / Anon. 1996. p. 218-223.

Research output: Chapter in Book/Report/Conference proceedingConference 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 -

Qiu G, Joshi SB. Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems. In Anon, editor, Proceedings of the IEEE International Symposium on Computer-Aided Control System Design. 1996. p. 218-223