Mohajerani, S., Malik, R., Ware S. & Fabien, M. (2011). On the use of observation equivalence in synthesis abstraction. In 2011 3rd International Workshop on Dependable Control of Discrete Systems (DCDS), 15-17 June 2011, Saarbrucken (pp. 84-89). Washington, DC, USA: IEEE.
Permanent Research Commons link: http://hdl.handle.net/10289/5761
In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor.
© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.