Results 1  10
of
14
Weighted bisimulations in linear algebraic form
, 2009
"... We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the statespace of the automaton is represented by a vector space, and the transitions and weighting maps by linear morphisms over this vect ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the statespace of the automaton is represented by a vector space, and the transitions and weighting maps by linear morphisms over this vector space. Weighted bisimulations are represented by subspaces that are invariant under the transition morphisms. We show that the largest bisimulation coincides with weighted language equivalence, can be computed by a geometrical version of partition refinement and that the corresponding quotient gives rise to the minimal weightedlanguage equivalence automaton. Relations to Larsen and Skou’s probabilistic bisimulation and to classical results in Automata Theory are also discussed.
On coalgebras over algebras
 In ”Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010)”, Electr. Notes
"... We extend Barr’s wellknown characterization of the final coalgebra of a Setendofunctor H as the completion of its initial algebra to the EilenbergMoore category Alg(M) of algebras associated to a Setmonad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of commuting ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
We extend Barr’s wellknown characterization of the final coalgebra of a Setendofunctor H as the completion of its initial algebra to the EilenbergMoore category Alg(M) of algebras associated to a Setmonad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of commuting pair of endofunctors (T,H) with respect to a monad M and show that under reasonable assumptions, the final Hcoalgebra can be obtained as the completion of the free Malgebra on the initial Talgebra.
Stream Differential Equations: Specification Formats and Solution Methods
, 2014
"... Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been dev ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been developed in many papers over the past two decades. In this paper we present a survey of the many results in this area. Our focus is on the classification of different formats of stream differential equations, their solution methods, and the classes of streams they can define. Moreover, we describe in detail the connection between the socalled syntactic solution method and abstract GSOS.
Coalgebras and Their Logics 1
, 2006
"... Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out ..."
Abstract
 Add to MetaCart
(Show Context)
Some comments about the last Logic Column, on nominal logic. Pierre Lescanne points out
Coalgebras, Stone Duality, Modal Logic
, 2006
"... A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand c ..."
Abstract
 Add to MetaCart
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we