syn_sscon.h
Go to the documentation of this file.
40 * non-conflicting supervisory controllers, Workshop on Discrete Event Systems (WODES), Paris, 2014".
42 * Parameter restrictions: the generator has to be deterministic and the alphabets must match (see below for exceptions).
53 * - the abstraction rPlant0Gen must have been obtained from the plant rPlantGen by natural projection (not tested)
54 * - the abstraction alphabet given by rPlant0Gen fails to be a subset of the overall alphabet given by rPlantGen (id 506)
55 * - alphabet with controllable Events fails be a subset of the abstraction alphabet given by rAbstrGen (id 506)
73 * This is a convenience wrapprt for IsStdSynthesisConsistent(const Generator&, const EventSet&, const Generator&).
83 * - the abstraction rPlant0Gen must have been obtained from the plant rPlantGen by natural projection (not tested)
84 * - the abstraction alphabet given by rPlant0Gen fails to be a subset of the overall alphabet given by rPlantGen (id 506)
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |