Number of the records: 1
Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems
SYS 0525397 LBL 01000a^^22220027750^450 005 20240103224217.0 014 $a 85070681657 $2 SCOPUS 014 $a 000543961200009 $2 WOS 017 $a 10.1109/TAC.2019.2934427 $2 DOI 100 $a 20200110d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0256721 $1 011 $a 0018-9286 $e 1558-2523 $1 200 1 $a IEEE Transactions on Automatic Control $v Roč. 65, č. 7 (2020), s. 2883-2898 $1 210 $c Institute of Electrical and Electronics Engineers 610 $a guidepath-based traffic systems 610 $a traffic liveness and its enforcement 610 $a deadlock avoidance 700 -1
$3 cav_un_auth*0380369 $4 070 $a Reveliotis $b S. $y US 701 -1
$3 cav_un_auth*0262819 $4 070 $a Masopust $b Tomáš $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i. 856 $9 RIV $u https://doi.org/10.1109/TAC.2019.2934427
Number of the records: 1