Implementation of full synchronous composition using IEC 61499 function blocks

Proceedings of the 2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005

Volumn 2005, Issue , 2005, Pages 267-272

  Cengic, Goran ^a   Åkesson, Knut ^a   Lennartson, Bengt ^a   Yuan, Chengyin ^b   Ferreira, Placid ^b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL OPERATORS; OPEN SYSTEMS;

ABSTRACTION; FULL SYNCHRONOUS COMPOSITION (FSC) OPERATOR; SYNCHRONOUS COMPOSITION;

SYNCHRONOUS MACHINERY;

EID: 33745958434     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2005.1506780     Document Type: Conference Paper

References (14)

1. IE,"IEC 61499-1: Function blocks - part 1: Architecture," International Electrotechnical Commission, Tech. Rep., 2005.
2. R. Lewis, Modelling Conrol Systems Using IEC 61499. The Intitution of Electrical Engineers, 2001.
3. IEC,"IEC 61131 programmable conrollers - part 3: Programming languages," International Electrotechnical Commission, Tech. Rep., 1993.
4. P. Ramadge and W. Wonham,"The control of discrete event systems," Proc. of IEEE, vol. 77, no. 1, pp. 81-98, 1989.
5. C. Hoare, Communicating Sequential Processes. Prentice-Hall International Series in Computer Science, 1985.
6. A. Hellgren, M. Fabian, and B. Lennartson,"Synchronized execution of discrete event models using sequential function charts," in Proc. of the 1999 IEEE Conference on Decision and Control, Phoenix AZ, USA, 1999.
7. _,"Modular implementation of discrete event systems as sequential function charts applied to an assembly cell," in Proc. of 2001 IEEE Conference on Control Applications, Mexico City, Mexico, 2001.
8. M. Fabian and A. Hellgren,"PLC-based implementation of supervisory control for discrete event systems," in Proc. of the 1998 IEEE Conference on Decision and Control, Tampa FL, USA, 1998.
9. K. Åkesson,"Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications," Ph.D. dissertation, Chalmers University of Technology, Göteborg, Sweden, 2002.
10. J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, 2nd ed. Addison-Wesley Series in Computer Science, Addison-Wesley, 2003.
11. K. Åkesson, M. Fabian, H. Flordal, and A. Vahidi,"Supremica - a tool for verification and synthesis of discrete event supervisors," in Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece, 2003.
12. Supremica,"www.supremica.org. The official website for the Supremica project," 2004.
13. J. Christensen,"Function block development kit," http://www.holobloc.com.
14. _,"Open distributed automation and control with IEC 61499," http://www.holobloc.com.