-
1
-
-
0024622345
-
Technology forecast for CIM
-
R. U. Ayres, "Technology forecast for CIM," Manuf. Rev., vol. 2, no. 1, pp. 43-52, 1989.
-
(1989)
Manuf. Rev.
, vol.2
, Issue.1
, pp. 43-52
-
-
Ayres, R.U.1
-
2
-
-
0027628161
-
Supervisory control of a rapid thermal multiprocessor
-
July
-
S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, pp. 1040-1059, July 1993.
-
(1993)
IEEE Trans. Automat. Contr.
, vol.38
, pp. 1040-1059
-
-
Balemi, S.1
Hoffmann, G.J.2
Gyugyi, P.3
Wong-Toi, H.4
Franklin, G.F.5
-
3
-
-
0022890715
-
On the formal specification and verification of CIM architectures using LOTOS
-
F. Biemans and P. Blonk, "On the formal specification and verification of CIM architectures using LOTOS," Comput. Ind., vol. 7, pp. 491-504, 1986.
-
(1986)
Comput. Ind.
, vol.7
, pp. 491-504
-
-
Biemans, F.1
Blonk, P.2
-
7
-
-
0026114282
-
Modeling flexible manufacturing systems: The concurrent logic programming approach
-
Feb.
-
Y. Dotan and D. Ben-Arieh, "Modeling flexible manufacturing systems: The concurrent logic programming approach," IEEE Trans. Robot. Automat., vol. 7, pp. 135-148, Feb. 1991.
-
(1991)
IEEE Trans. Robot. Automat.
, vol.7
, pp. 135-148
-
-
Dotan, Y.1
Ben-Arieh, D.2
-
9
-
-
0028416289
-
Petri net structured analysis for supervisory control
-
Apr.
-
A. Giua and F. DiCesare, "Petri net structured analysis for supervisory control," IEEE Trans. Robot. Automat., vol. 10, pp. 185-195, Apr. 1994.
-
(1994)
IEEE Trans. Robot. Automat.
, vol.10
, pp. 185-195
-
-
Giua, A.1
DiCesare, F.2
-
10
-
-
0029304715
-
Decidability and closure properties of weak Petri net languages in supervisory control
-
May
-
A. Giua and F. DiCesare, "Decidability and closure properties of weak Petri net languages in supervisory control," IEEE Trans. Automat. Contr., vol. 40, pp. 906-910, May 1995.
-
(1995)
IEEE Trans. Automat. Contr.
, vol.40
, pp. 906-910
-
-
Giua, A.1
DiCesare, F.2
-
12
-
-
0003620778
-
-
Reading, MA: Addison-Wesley
-
J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
-
(1979)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Ullman, J.D.2
-
13
-
-
0023745597
-
Real time control of multilevel manufacturing systems using colored Petri nets
-
E. Kasturia, F. DiCesare, and A. Desrochers, "Real time control of multilevel manufacturing systems using colored Petri nets," in Proc. IEEE 1988 Int. Conf. Robotics Automation, vol. 2, pp. 1114-1119.
-
Proc. IEEE 1988 Int. Conf. Robotics Automation
, vol.2
, pp. 1114-1119
-
-
Kasturia, E.1
DiCesare, F.2
Desrochers, A.3
-
14
-
-
0022717936
-
The manufacturing game: A formal approach to manufacturing software
-
May/June
-
A. W. Naylor and M. C. Maletz, "The manufacturing game: A formal approach to manufacturing software," IEEE Trans. Syst., Man, Cybern., vol. SMC-16, pp. 321-334, May/June 1986.
-
(1986)
IEEE Trans. Syst., Man, Cybern.
, vol.SMC-16
, pp. 321-334
-
-
Naylor, A.W.1
Maletz, M.C.2
-
15
-
-
0011743838
-
Structured adaptive supervisory control of a flexible manufacturing system
-
May
-
R. G. Qiu and S. B. Joshi, "Structured adaptive supervisory control of a flexible manufacturing system," in Factory Automation Intelligent Manufacturing '96, pp. 800-809, May 1996.
-
(1996)
Factory Automation Intelligent Manufacturing '96
, pp. 800-809
-
-
Qiu, R.G.1
Joshi, S.B.2
-
16
-
-
4243768132
-
-
Ph.D. dissertation, Penn. State Univ., University Park, PA
-
R. Qiu, "Modeling and control of a flexible manufacturing system using deterministic finite capacity automata," Ph.D. dissertation, Penn. State Univ., University Park, PA, 1996.
-
(1996)
Modeling and Control of a Flexible Manufacturing System Using Deterministic Finite Capacity Automata
-
-
Qiu, R.1
-
17
-
-
0023104549
-
Supervisory control of a class of discrete event processes
-
Jan.
-
P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz., Vol. 25, no. 1, pp. 206-230, Jan. 1987.
-
(1987)
SIAM J. Contr. Optimiz.
, vol.25
, Issue.1
, pp. 206-230
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
18
-
-
0024479313
-
The control of discrete event systems
-
Jan.
-
P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
-
(1989)
Proc. IEEE
, vol.77
, pp. 81-98
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
19
-
-
84880914393
-
The complexity of some basic control problems for discrete event systems
-
M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag
-
P. J. Ramadge, "The complexity of some basic control problems for discrete event systems," Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag, 1988.
-
(1988)
Advanced Computing Concepts and Techniques in Control Engineering
-
-
Ramadge, P.J.1
-
20
-
-
0003775131
-
-
Ph.D. dissertation, Penn. State Univ., University Park, PA
-
J. S. Smith, "A formal design and development methodology for shop floor control in computer integrated manufacturing," Ph.D. dissertation, Penn. State Univ., University Park, PA, 1992.
-
(1992)
A Formal Design and Development Methodology for Shop Floor Control in Computer Integrated Manufacturing
-
-
Smith, J.S.1
-
21
-
-
0030259026
-
A shop floor control architecture for computer integrated manufacturing
-
J. S. Smith, W. C. Hoberecht, and S. B. Joshi, "A shop floor control architecture for computer integrated manufacturing," IIE Trans., vol. 28, no. 10, pp. 783-794, 1996.
-
(1996)
IIE Trans.
, vol.28
, Issue.10
, pp. 783-794
-
-
Smith, J.S.1
Hoberecht, W.C.2
Joshi, S.B.3
-
22
-
-
0024774127
-
On the control of discrete-event dynamic systems
-
T. J. Tsitsiklis, "On the control of discrete-event dynamic systems," Math. Contr., Sig. Syst., no. 2, pp. 95-107, 1989.
-
(1989)
Math. Contr., Sig. Syst.
, Issue.2
, pp. 95-107
-
-
Tsitsiklis, T.J.1
-
23
-
-
0025493273
-
A coordination theory for intelligent machines
-
Sept.
-
F. Y. Wang and G. N. Dsaridis, "A coordination theory for intelligent machines," Automatica, vol. 26, pp. 833-844, Sept. 1990.
-
(1990)
Automatica
, vol.26
, pp. 833-844
-
-
Wang, F.Y.1
Dsaridis, G.N.2
-
24
-
-
0028573391
-
A hybrid supervisory control system for flexible manufacturing workcells
-
R. A. Williams, B. Benhabib, and K. C. Smith, "A hybrid supervisory control system for flexible manufacturing workcells," in Proc. IEEE Inte. Conf. Systems, Man, Cybernetics, 1994, vol. 3, pp. 2551-2556.
-
(1994)
Proc. IEEE Inte. Conf. Systems, Man, Cybernetics
, vol.3
, pp. 2551-2556
-
-
Williams, R.A.1
Benhabib, B.2
Smith, K.C.3
|