Wenck, Florian (Ruhr-Univ. Bochum), Carvalho da Silva Neto, Francisco de Assis (Univ. Federal de Santa Catarina)

On the Behavior of Partially-Strict Composed Discrete-Event Systems

Scheduled for presentation during the Mini-Symposium "Formal Methods for Discrete-Event Systems" (ThP10), Thursday, July 27, 2006, 15:20−15:45, Room 103

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on May 19, 2024

Abstract

This paper addresses large-scale discrete-event systems consisting of interacting distributed components. Monolithic analysis approaches fail to determine specific properties as controllability of such systems, due to the problem of an exponentially increasing state space. In this cases compositional analysis is the only feasible approach. Assuming a given structured model, compositional analysis verifies a specific property of the entire system without performing the composition of the components. This approach requires an algebraic expression representing the behavior of the composed system in terms of the behaviors of the components, which is unknown for the partially strict product composition. This paper presents a recursive expression for a language representing the global behavior of a partially-strict composed discrete-event system in terms of the local behaviors of the components.