Equisolvability of series vs. controller's topology in synchronous language equations

2004 ◽  
Author(s):  
N. Yevtushenko ◽  
T. Villa ◽  
R.K. Brayton ◽  
A. Petrenko ◽  
A.L. Sangiovanni-Vincentelli
Keyword(s):  
Language Equations ◽  
Synchronous Language

scholarly journals Mechanized semantics and verified compilation for a dataflow synchronous language with reset

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29
Author(s):  
Timothy Bourke ◽  
Lélio Brun ◽  
Marc Pouzet
Keyword(s):  
Synchronous Language

scholarly journals Language Equations for Maximal Decompositions in Coordination Control

2017 ◽  
Vol 50 (1) ◽  
pp. 13441-13446
Author(s):  
Jan Komenda ◽  
Feng Lin ◽  
Jan H. van Schuppen
Keyword(s):  
Coordination Control ◽  
Language Equations
Sign in / Sign up

Export Citation Format

Share Document