Abstract: Understanding the maximum size of a code with a given minimum distance is a major question in computer science and discrete mathematics. The most fruitful approach for finding asymptotic ...
Abstract: We propose an on-line supervisory control scheme for discrete event systems (DESs), where a control specification is described by a fragment of linear temporal logic. On the product ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results