Coalgebraic logic and synthesis of mealy machines

被引：0
|
作者：
Bonsangue, M. M. [1 ,2 ]
Rutten, Jan [2 ,3 ]
Silva, Alexandra [2 ]
机构：
[1] Leiden Univ, LIACS, NL-2300 RA Leiden, Netherlands
[2] CWI, Amsterdam, Netherlands
[3] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS | 2008年 / 4962卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：231 / +
页数：2
相关论文
共 50 条
  • [1] Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
    Rutten, J. J. M. M.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 305 - 319
  • [2] Synthesis of Mealy Machines Using Derivatives
    Hansen, Helle Hvid
    Costa, David
    Rutten, Jan
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (01) : 27 - 45
  • [3] Compositional synthesis of generalized Mealy Machines
    Tini, S
    Maggiolo-Schettini, A
    [J]. FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 367 - 382
  • [4] Coalgebraic logic
    Moss, LS
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 277 - 317
  • [5] Learning Time Delay Mealy Machines From Programmable Logic Controllers
    Caldwell, Ben
    Cardell-Oliver, Rachel
    French, Tim
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (02) : 1155 - 1164
  • [6] Inferring Mealy Machines
    Shahbaz, Muzammil
    Groz, Roland
    [J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 207 - 222
  • [7] Equational Coalgebraic Logic
    Kurz, Alexander
    Leal, Raul
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 333 - 356
  • [8] On a coalgebraic view on Logic
    Hofmann, Dirk
    Martins, Manuel A.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (05) : 1097 - 1106
  • [9] Fuzzy mealy machines
    Mordeson, JN
    Nair, PS
    [J]. KYBERNETES, 1996, 25 (03) : 18 - &
  • [10] Coalgebraic Predicate Logic
    Litak, Tadeusz
    Pattinson, Dirk
    Sano, Katsuhiko
    Schroder, Lutz
    [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
12345