- Record: found
- Abstract: found
- Conference Proceedings: found
Distributed on-line analysis of discrete event systems: a survey of some recent results
proceedings-article
May 2007
First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)
Verification and Evaluation of Computer and Communication Systems
5-6 May 2007
Petri nets, observers, fault detection, backward search, occurrence nets
Abstract
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.
Content
Author and article information
Contributors
Conference
May
2007
May
2007
: 1-5
Affiliations
Article
10.14236/ewic/VECOS2007.1
7a64e5df-6fcd-4db8-8cf2-4352e135798c
© René Boel et al. Published by BCS Learning and Development Ltd. First International
Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS
2007), Algiers, Algeria
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
First International Workshop on Verification and Evaluation of Computer and Communication
Systems (VECoS 2007)
VECOS
1
Algiers, Algeria
5-6 May 2007
Electronic Workshops in Computing (eWiC)
Verification and Evaluation of Computer and Communication Systems
Product
Product Information: 1477-9358BCS Learning & Development
Self URI (article page):
https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2007.1
Self URI (journal page):
https://ewic.bcs.org/
Categories
Electronic Workshops in Computing