%0 Conference Proceedings
%F pinchinat00a
%A Pinchinat, S.
%A Marchand, H.
%T Symbolic Abstractions of Automata
%B Proc of 5th Workshop on Discrete Event Systems, WODES 2000
%P 39-48
%C Ghent, Belgium
%X We describe the design of abstraction methods based on symbolic techniques: classical abstraction by state fusion has been considered. We present a general method to abstract automata on the basis of a state fusion criterion, derived from e.g. equivalence relations (such as bisimulation), partitions, ... We also introduce other kinds of abstraction, falling into the category of abstraction by restriction: in particular, we study the use of the controller synthesis methodology to achieve the restriction synthesis
%U http://www.irisa.fr/vertecs/Publis/Ps/2000-WODES-Abstract.pdf
%8 August
%D 2000