Validation of a language measure for discrete event supervisory control
Travis Ortogero, Asok Kumar Ray, Shashi Phoha · 2004
Language Measure Summary This paper validates a signed real measure of regu- lar languages and analyzes its robustness by simula- tion experiments. The simulation scenario consists of four different finite state automaton models of a fighter airplane, each under control of four different discrete- event supervisors. The results of simulation experi- ments reveal that the language measure is a usable tool for determining the robustness of supervisory con- trollers relative to small perturbations in language mea- sure parameters and plant model parameters.