A.: Coalgebraic Logic and Synthesis of Mealy Machines
by
M. M. Bonsangue
,
Jan Rutten
,
Ra Silva
| Citations: | 8 - 6 self |
BibTeX
@TECHREPORT{Bonsangue_a.:coalgebraic,
author = {M. M. Bonsangue and Jan Rutten and Ra Silva},
title = {A.: Coalgebraic Logic and Synthesis of Mealy Machines},
institution = {},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds to a finite formula in the language. For the converse, we give a compositional synthesis algorithm which transforms every formula into a finite Mealy machine whose behaviour is exactly the set of causal functions satisfying the formula. 1
