Počet záznamů: 1
Decentralized control of product (max+)-automata using coinduction
SYS 0386937 LBL 02175^^^^^2200325^^^450 005 20250624144849.5 014 $a 84881075448 $2 SCOPUS 017 70
$a 10.3182/20121003-3-MX-4033.00023 $2 DOI 100 $a 20130320d m y slo 03 ba 101 0-
$a eng $d eng 102 $a MX 200 1-
$a Decentralized control of product (max+)-automata using coinduction 215 $a 6 s. $c E 463 -1
$1 001 cav_un_epca*0386929 $1 010 $a 978-3-902823-28-1 $1 200 1 $a Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012) $v S. 122-127 $1 210 $a Guadalajara $c IFAC $d 2012 $1 702 1 $a Ramírez-Treviño $b A. $4 340 $1 702 1 $a López-Mellado $b E. $4 340 $1 702 1 $a Lesage $b J.-J. $4 340 610 0-
$a (max,+) automata 610 0-
$a decentralized control 610 0-
$a coalgebra 700 -1
$3 cav_un_auth*0100669 $a Komenda $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0228473 $a Lahaye $b S. $y FR $4 070 701 -1
$3 cav_un_auth*0228472 $a Boimond $b J.-L. $y FR $4 070 856 $u http://www.ifac-papersonline.net/Detailed/58179.html
Počet záznamů: 1