Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

Download [help]

Download paper Adobe portable document format (pdf)

Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Abstract

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.

Contact

Hervé Marchand
hmarchan@irisa.fr

BibTex Reference

@InProceedings{pinchinat00a,
   Author = {Pinchinat, S. and Marchand, H.},
   Title = {Symbolic Abstractions of Automata},
   BookTitle = {Proc of 5th Workshop on Discrete Event Systems, WODES 2000},
   Pages = {39--48},
   Address = {Ghent, Belgium},
   Month = {August},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)