Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Behavior composition meets supervisory control

Barati, Masoud and St-Denis, Richard 2015. Behavior composition meets supervisory control. Presented at: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015), Kowloon, China, 9-12 October 2015. 2015 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, pp. 115-120. 10.1109/SMC.2015.33

Full text not available from this repository.


With the evolution of software engineering since the advent of structured programming until now, software engineers are faced with tremendous challenges mostly due to the development of large software programs that behave as open systems. Multi-agent systems, which consist of multiple cooperating intelligent agents within an environment, form a particular class of such systems. This sort of software program, which carries out operations by repeatedly interacting with dynamic environments, has become more and more complex with the emergence of ubiquitous communication and computing technologies that constantly grow and evolve. Agent-oriented computing constitutes an appealing solution for coping with this level of complexity because systems can be built by combining agents. The automated composition of software artifacts to generate new ones may rest on recent progress in artificial intelligence and automatic control that has its roots in the tradition of program synthesis. The goal is to provide software engineers with effective methods in which the planning and control of software actions are integral parts of composition operators, together with synthesis procedures that automatically generate an execution strategy that governs the discrete dynamics of the composed artifact in order to satisfy given requirements. This approach ensures a higher degree of safety because it relies on formal methods. This paper shows how the behavior composition problem issued from the artificial intelligence community can be solved within the framework of the supervisory control theory with the aim to benefit from all of its rich facets.

Item Type: Conference or Workshop Item (Paper)
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Publisher: IEEE
ISBN: 9781479986972
Last Modified: 06 Jul 2023 01:57

Citation Data

Cited 2 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item