In the discrete-event system (DES) framework, input data are usually given in terms of behavioral descriptions (e.g. transition system and language) and the set of behavioral sequences may be fixed or may be increased in the course of identification by performing new experiments. While only a partial description of the system is assumed in identification, the synthesis problem starts from a complete description of the system. This chapter recalls some basic definitions and notations used in the sequel. In the sequel, it first discusses in detail an approach based on linear integer programming that provides a separating representation of the solution to the synthesis problem in its most general formulation, that is, without any simplifying assumption on the structure and labeling function of the synthesized net. In the second part, the chapter surveys several other similar approaches
Model Identification and Synthesis of Discrete-Event Systems / Paola Cabasino, Maria; Darondeau, Philippe; Fanti, Maria Pia; Seatzu, Carla. - STAMPA. - (2015), pp. -343. [10.1002/9781119036821.ch10]
Model Identification and Synthesis of Discrete-Event Systems
Maria Pia Fanti;
2015-01-01
Abstract
In the discrete-event system (DES) framework, input data are usually given in terms of behavioral descriptions (e.g. transition system and language) and the set of behavioral sequences may be fixed or may be increased in the course of identification by performing new experiments. While only a partial description of the system is assumed in identification, the synthesis problem starts from a complete description of the system. This chapter recalls some basic definitions and notations used in the sequel. In the sequel, it first discusses in detail an approach based on linear integer programming that provides a separating representation of the solution to the synthesis problem in its most general formulation, that is, without any simplifying assumption on the structure and labeling function of the synthesized net. In the second part, the chapter surveys several other similar approachesI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.