-
2
-
-
0005379204
-
Formal models for control of flexible manufacturing systems
-
Sprineer-Verlac, Heidelberg, Germany
-
Joshi, S., Smith, J. and Wysk, R. (1992) Formal models for control of flexible manufacturing systems, in Proceedings of DEOR/ORSA Conference on Recent Developments and New Perspectives of OR in Manufacturing, 72, Sprineer-Verlac, Heidelberg, Germany, pp. 184-200.
-
(1992)
Proceedings of DEOR/ORSA Conference on Recent Developments and New Perspectives of or in Manufacturing, 72
, pp. 184-200
-
-
Joshi, S.1
Smith, J.2
Wysk, R.3
-
4
-
-
0032046325
-
Verified hybrid controllers for automated vehicles
-
Lygeros, J., Godbole, N. and Sastry, S. (1998) Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control, 43(4), 522-540.
-
(1998)
IEEE Transactions on Automatic Control
, vol.43
, Issue.4
, pp. 522-540
-
-
Lygeros, J.1
Godbole, N.2
Sastry, S.3
-
5
-
-
33749968433
-
-
Marco, S. and Brown, A.I. (1951) Introduction to Heat Transfer, McGraw-Hill, New York, NY.
-
(1951)
Introduction to Heat Transfer, McGraw-Hill, New York, NY.
-
-
Marco, S.1
Brown, A.I.2
-
6
-
-
0032685885
-
Influence of freezing conditions on ice cream crystallization in ice cream
-
Russell, A.B., Cheney, P.E. and Wantling, A.D. (1999) Influence of freezing conditions on ice cream crystallization in ice cream. Journal of Food Engineering, 39, 179-191.
-
(1999)
Journal of Food Engineering
, vol.39
, pp. 179-191
-
-
Russell, A.B.1
Cheney, P.E.2
Wantling, A.D.3
-
7
-
-
85023835429
-
-
Skjoldebrand, C. (1997) Computerized process control in industrial cooking operations, in Computerized Control Systems in the Food Industry, Mittal, O.S. (ed.), Marcel Dekker, New York, NY, pp. 473-490.
-
(1997)
Computerized Process Control in Industrial Cooking Operations, in Computerized Control Systems in the Food Industry, Mittal, O.S. (Ed.), Marcel Dekker, New York, NY
, pp. 473-490
-
-
Skjoldebrand, C.1
-
8
-
-
0005367176
-
Implementing a CIM system - Going with the grain
-
Sivula, C. (1990) Implementing a CIM system - going with the grain. Process Engineering, 71, 51-54.
-
(1990)
Process Engineering
, vol.71
, pp. 51-54
-
-
Sivula, C.1
-
9
-
-
0029505647
-
-
Smith, G. and Medeiros, D. (1995) Simulation of flexible control strategies, in Proceedings of the 1995 Winter Simulation Conference, New York, NY, pp. 799-804.
-
(1995)
Simulation of Flexible Control Strategies, in Proceedings of the
, vol.1995
, pp. 799-804
-
-
Smith, G.1
Medeiros, D.2
-
10
-
-
0005303704
-
Message-based part state graphs (MPSG): A formal model for shop control
-
Smith, J. and Joshi, S. (1992) Message-based part state graphs (MPSG): a formal model for shop control. IEEE Proceedings in Robotics and Automation, 56, 26-28.
-
(1992)
IEEE Proceedings in Robotics and Automation
, vol.56
, pp. 26-28
-
-
Smith, J.1
Joshi, S.2
-
11
-
-
0030259026
-
A shop floor control architecture for computer integrated manufacturing
-
Smith, J., Hoberecht, W. and Joshi, S. (1992) A shop floor control architecture for computer integrated manufacturing. IEEE Transactions, 28, 783-794.
-
(1992)
IEEE Transactions
, vol.28
, pp. 783-794
-
-
Smith, J.1
Hoberecht, W.2
Joshi, S.3
-
12
-
-
0032050862
-
Conflict resolution for air traffic management: A study in mulitagent hubrid systems
-
Tomlin, C., Pappas, G.J. and Sastry, S. (1998) Conflict resolution for air traffic management: a study in mulitagent hubrid systems. IEEE Transactions on Automatic Control, 43(4), 509-521.
-
(1998)
IEEE Transactions on Automatic Control
, vol.43
, Issue.4
, pp. 509-521
-
-
Tomlin, C.1
Pappas, G.J.2
Sastry, S.3
-
13
-
-
33749957895
-
-
Trystam, G. (1997) The bakery/cereal industry, in Computerized Control Systems in the Food Industry, Mittal, G.S. (ed.), Marcel Dekke'r, pp. 491-512.
-
(1997)
The Bakery/cereal Industry, in Computerized Control Systems in the Food Industry, Mittal, G.S. (Ed.), Marcel Dekke'r
, pp. 491-512
-
-
Trystam, G.1
-
14
-
-
0003150423
-
A formal process planning schema for shop floor control
-
Wysk, R., Peters, B. and Smith, J. (1995) A formal process planning schema for shop floor control. Engineering Design and Automation, 1, 3-20.
-
(1995)
Engineering Design and Automation
, vol.1
, pp. 3-20
-
-
Wysk, R.1
Peters, B.2
Smith, J.3
-
15
-
-
0029345855
-
A formal functional characterization of shop floor control
-
Wysk, R. and Smith, J. (1995) A formal functional characterization of shop floor control. Manufacturing Systems, 28, 631-643.
-
(1995)
Manufacturing Systems
, vol.28
, pp. 631-643
-
-
Wysk, R.1
Smith, J.2
|