skip to main content

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

Searching Remote Databases, Please Wait