Control of a manufacturing cell using a generic layered architecture

Proceedings of the 1st Workshop on Robot Motion and Control, RoMoCo 1999

Volumn , Issue , 1999, Pages 107-112

  Lin, Man ^a   Malec, Jacek ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b Mälardalens Högskola ^*  (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; ROBOTS; SOFTWARE ARCHITECTURE;

EVENT-DRIVEN; HYBRID CONTROLLER; LAYERED ARCHITECTURE; ROBOT MANUFACTURING; SYSTEM DEVELOPMENT;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84947925464     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROMOCO.1999.791061     Document Type: Conference Paper

References (13)

1. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds., Hybrid Systems, LNCS 736. Springer-Verlag, 1993.
2. Magnus Morin, Simin Nadjm-Tehrani, Per Österling, and Erik Sandewall, "Real-time hierarchical control," IEEE Software, Vol. 9, no. 5, pp. 51-57, September 1992.
3. Jacek Malec, "Applied knowledge representation," CC-AI: The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, Vol. 9, no. 1, pp. 9-41, 1992.
4. Jacek Malec, "Complex behavior specification for autonomous systems," in Proc. IEEE International Symposium on Intelligent Control'93, Glasgow, Scotland, August 1992, pp. 178-183.
5. M. Morin, "Predictable cyclic computations in autonomous systems: A computational model and implementation," Licentiate thesis 352, Department of Computer and Information Sciences, Linköping University, 1993.
6. Magnus Morin, "PLCL - Process Layer Configuration Language," Technical Report LAIC-IDA-91-TR10, Linköping University, 1991.
7. Magnus Morin, "RL: An embedded rule-based system," Technical Report LAIC-IDA-94-TR2, Linköping University, 1994.
8. Man Lin, Formal Analysis of Reactive Rule-based Programs, Licentiate thesis, Linköping University, 1997, Linköping Studies in Science and Technology Thesis No 643.
9. Man Lin and Jacek Malec, "Timing analysis of RL programs," Control Engineering Practice, Vol. 6, pp. 403-408, 1998.
10. Man Lin, "Synthesis of control software in a layered architecture from hybrid automata," in Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen, Eds. 1999, LNCS 1569, pp. 152-164, Springer-Verlag.
11. A. Puri, "What are hybrid systems," http://www-path.eecs.berkeley.-edu/~anuj/what-are-hybrid/what.html).
12. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theorectical Computer Science, pp. 3-34, 1995.
13. C. Lewerentz and T. Lindner, Eds., Case Study "Production Cell". A Comparative Study in Formal Software Development, number FZI-Publication 1/94, Karlsruhe, 1994. Forschungszentrum Informatik.