Počet záznamů: 1
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
SYS 0348278 LBL 01995^^^^^2200301^^^450 005 20240103194001.1 014 $a 80051961874 $2 SCOPUS 017 70
$a 10.3182/20100830-3-DE-4013.00070 $2 DOI 100 $a 20101014d m y slo 03 ba 101 0-
$a eng $d eng 102 $a DE 200 1-
$a Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems 215 $a 6 s. 463 -1
$1 001 cav_un_epca*0348270 $1 010 $a 978-3-902661-79-1 $1 200 1 $a Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010) $v S. 436-441 $1 210 $a Berlin $c The International Federation of Automatic Control $d 2010 $1 702 1 $a Raisch $b J. $4 340 $1 702 1 $a Giua $b A. $4 340 $1 702 1 $a Lafortune $b S. $4 340 $1 702 1 $a Moor $b T. $4 340 610 0-
$a discrete-event systems 610 0-
$a modular supervisory control 610 0-
$a coordinator 610 0-
$a conditional controllability 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*0262819 $a Masopust $b Tomáš $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*0021299 $a van Schuppen $b J. H. $y NL $4 070 856 $u http://www.ifac-papersonline.net/Detailed/42964.html
Počet záznamů: 1