COMPAS
In this paper we describe COMPAS -- the open-source computing package, dedicated to the computations on synchronizing automata. COMPAS design is based on a generic programming paradigm. This makes the package very powerful because of its flexibility and extensibility. The paper describes shortly the package architecture and its main algorithms and some examples of use. COMPAS allows to easily operate on synchronizing automata, verifying new synchronizing algorithms etc. To the best of our knowledge, this is the first such flexible, extensible and open-source package for synchronization.
Keywords for this software
References in zbMATH (referenced in 14 articles , 1 standard article )
Showing results 1 to 14 of 14.
Sorted by year (- Fernau, Henning; Heggernes, Pinar; Villanger, Yngve: A multi-parameter analysis of hard problems on deterministic finite automata (2015)
- Kisielewicz, Andrzej; Kowalski, Jakub; Szykuła, Marek: Computing the shortest reset words of synchronizing automata (2015)
- Chmiel, Krzysztof; Roman, Adam: COMPAS -- a computing package for synchronization (2011)
- Chambert-Loir, Antoine: On numbers constructible by straightedge and compass (2008)
- Guin, Daniel; Hausberger, Thomas: Algebra I. Groups, fields and Galois theory (2008)
- Jeanneret, Alain; Lines, Daniel: An invitation to algebra. Theory of groups, rings, fields and modules (2008)
- Tauvel, Patrice: Commutative fields and Galois theory (2007)
- Perrin, Daniel: School mathematics. Numbers, measures and geometry (2005) MathEduc
- Hinze, Annika: Efficient filtering of composite events (2003)
- Rashed, Roshdi: al-Qūhīand al-Sijzī: The perfect compass and the tracing of conic sections (2003)
- Scibile, L.; Kouvaritakis, B.: Stability region for a class of open-loop unstable linear systems: Theory and application (2000)
- Channac, Stéphane: A cooperative system for the resolution of geometrical constraints (1998)
- Escofier, Jean-Pierre: Galois theory. Course with exercises and solutions (1997)
- Quine, W.V.: Elementary proof that some angles cannot be trisected by ruler and compass (1990)