Language:

Distributed on-line analysis of discrete event systems: a survey of some recent results

René Boel

Electronic workshops in computing (Online), 2007

Full text available

Citations Cited by

Title:
Distributed on-line analysis of discrete event systems: a survey of some recent results
Author: René Boel
Subjects: petri nets ; fault detection ; observers
Is Part Of: Electronic workshops in computing (Online), 2007
Description: First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) - René Boel - On-line supervisory control of large discrete event systems is difficult due to the exponentially growing size of the state space to be enumerated in a naive analysis. - This paper surveys several attempts to reduce the computational complexity, as investigated in some recent papers by the SYSTeMS group of Ghent University. - Compositionality and distributed analysis, combined with forward and backward generation of unfoldings of the set of feasible trajectories are proposed here as tools for resolving this problem. - Our website uses cookies to help improve your experience. Find out more by reading our - .
Publisher: BCS, The Chartered Institute for IT
Language: English
Identifier: EISSN: 1477-9358
Source: eWIC Workshops in Computing
Alma/SFX Local Collection

Back to results list