Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems.

Matthias Roth Jean-Jacques Lesage Lothar Litz

Published in: ACC (2010)

Keyphrases

black box
discrete event systems
petri net
black boxes
white box
complex systems
model based diagnosis
integration testing
failure diagnosis
telecommunication networks
white box testing
timed petri nets
discrete event
hybrid systems
dynamic programming
metadata
constraint programming