Pragmatic approach for modular control synthesis and implementation

International Journal of Production Research

Volumn 42, Issue 14, 2004, Pages 2839-2858

  Gouyon, D ^a   Petin, J F ^a   Gouin, A ^b  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

^b GIPSA LAB   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; DISCRETE TIME CONTROL SYSTEMS; PROGRAMMABLE LOGIC CONTROLLERS; SET THEORY;

AUTOMATED ENGINEERING; BEHAVIORAL MODELS; CONTROL SYNTHESIS METHOD;

CONTROL SYSTEMS;

EID: 3142527110     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540410001705194     Document Type: Conference Paper

References (34)

1. BALEMI, S., HOFFMANN, G. J., GYUGYI, P., Wong-TOI, H. and FRANKLIN, G. F., 1993, Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38, 1040-1059.
2. BRANDIN, B. A., 1996, The real-time supervisory control of an experimental manufacturing cell. IEEE Transactions of Robotics and Automation, 12, 1-14.
3. BRANDIN, B. A., MALIK, R. and DIETRICH, P., 2000, Incremental system verification and synthesis of minimally restrictive behaviours. American Control Conference, ACC'00, Chicago, IL, USA, pp. 4056-4061.
4. CHAFIK, S. and NIEL, E., 2000, Hierarchical-decentralized solutions of supervisory control. 3rd International Symposium on Mathematical Modelling, MATHMOD, Vienna, Austria.
5. CHARBONNIER, F., ALLA, H. and DAVID, R., 1999, The supervised control of discrete event systems. IEEE Transactions on Control Systems Technology, 7, 175-187.
6. COMBACAU, M. and COURVOISIER, M., 1990, A hierarchical and modular structure for F. M. S. control and monitoring. 1st IEEE International conference on A. I., Simulation and Planning in High Autonomy systems, Tucson, AZ, USA, pp. 80-88.
7. De QUEIROZ, M. H. and CURY, J. E, R., 2002, Synthesis and implementation of local modular supervisory control for a manufacturing cell. Proceedings of the 6th International Workshop on Discrete Event Systems, 2-4 October, Zaragoza, Spain, pp. 377-382.
8. ELKHATTABI, S., CORBEEL, D. and GENTINA, J. C., 1992, Integration of dependability in the conception of FMS. 7th IFAC/INCOM Symposium, Toronto, Canada, pp. 169-174.
9. FABIAN, M. and HELLGREN, A., 1998, PLC-based implementation of supervisory control for discrete event systems. 37th IEEE Conference on Decision and Control, Tampa, FL, USA.
10. FELIOT, C. and STAROSWIECKI, M., 1998, A syntactic approach for functional modelling of physical systems. 9th International Workshop on Principles of Diagnosis, Cape Cod, USA, pp. 174-181.
11. FUSAOKA, A., SEKI, H. and TAKAHASHI, K., 1983, A description and reasoning of plant controllers in temporal logic. 8th International Conference on Artificial Intelligence, Karlsruhe, 8-12 August, pp. 405-408.
12. GOHARI, P. and WONHAM, W. M., 1998, A linguistic framework for controlled hierarchical DES. Proceedings of the 4th IEE Workshop on Discrete Event Systems, WODES '98, Calgary, Canada.
13. HIRAISHI, K., 2001, Synthesis of supervisors using learning algorithm of regular languages. Discrete Event Dynamic Systems: Theory and Applications, 11, 211-234.
14. INTERNATIONAL ELECTROTECHNICAL COMMISSION, 1993, IEC 61131-3, Programmable Controllers-Part 3: Programming Languages (IEC).
15. INTERNATIONAL ELECTROTECHNICAL COMMISSION, 2000, IEC/PAS 61499-1, Function Blocs for Industrial Measurement and Control Systems - Part 1: Architecture (IEC).
16. JIANG, S. and KUMAR, R., 2000, Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Transactions on Systems, Man and Cybernetics, Part B, 30, 653-660.
17. KUMAR, R., GARG, V. and MARCUS, S. L., 1991, On controllability and normality of discrete event dynamical systems. Systems and Control Letters, 17, 157-168.
18. LHOSTE, P. and MOREL, G., 1996, From discrete event behavioural modelling to intelligent actuation and measurement modelling. ASI Annual Conference of the ICIMS-NOE, Toulouse, France.
19. LIN, F. and WONHAM, W. M., 1990, Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35, 1330-1337.
20. MARCHAND, H., BOURNAI, P., LE BORGNE, M. and LE GUERNIC, P., 2000, Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory and Applications, 10, 325-346.
21. MARIKAR, M. T., ROTSEIN, G. E. and MACCHIETTO, S., 1998, An integrated environment for the design of procedural controllers. 9th IFAC/INCOM Symposium, Nancy, France, vol. II.
22. MOREL, G., PÉTIN, J. F. and LAMBOLEY, P., 2001, Formal specification for manufacturing systems automation. 10th IFAC/INCOM Symposium, Vienna, Austria.
23. NIEL, E., PIETRAC, L. and REGIMBAL, L., 2001, Advantages and drawbacks of the logic program synthesis using supervisory control theory. 10th IFAC/INCOM'0l Symposium, Vienna, Austria.
24. PÉTIN, J. F., IUNG, B. and MOREL, G., 1998, Distributed intelligent actuation and measurement (IAM) system within an integrated shop-floor organisation. Computers in Industry, 37, 197-211.
25. RAMADGE, P. J. and WONHAM, W. M., 1987, Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25, 206-230.
26. ROUSSEL, J. M., FAURE, J. M., LESAGE, J. J. and MEDINA, A., 2004, An algebraic approach for dependable logic control systems design. International Journal of Production Research, 42, 2859-2876.
27. SANCHEZ, A. and MACCHIETO, S., 1995, Design of procedural controllers for chemical processes. Computers in Chemistry and Engineering, 19, S381-S386.
28. TILLER, M., 2001, Introduction to Physical Modelling with Modelica (Dordrecht: Kluwer).
29. VOGRIG, R., BARACOS, P., LHOSTE, P., MOREL, G. and SALZEMANN, B., 1987, Flexible manufacturing shop. Manufacturing Systems, 16, 43-55.
30. WONHAM, W. M. and RAMADGE, P. J., 1987, On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25, 637-659.
31. XIE, X., 1994, Some results on the integration of manufacturing systems using Petri nets. IEEE Conference on Systems, Man and Cybernetics, San Antonio, TX, USA.
32. YOO, T.-S. and LAFORTUNE, S., 2002, A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 12, 335-377.
33. ZAYTOON, J. and CARRÉ-MÉNÉTRIER, V., 2001, Synthesis of a correct control implementation for manufacturing systems. International Journal of Production Research, 39, 329-345.
34. ZHONG, H. and WONHAM, W. M., 1990, On the consistency of hierarchical supervision in discrete event systems. IEEE Transactions on Automatic Control, 35, 1125-1134.