English

The intersection and the union of the asynchronous systems

General Literature 2007-05-23 v1

Abstract

The asynchronous systems ff are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u:R{0,1}mu:\mathbf{R}\to \{0,1\}^{m} a set of states xf(u),x\in f(u), where x:R{0,1}n.x:\mathbf{R}\to \{0,1\}^{n}. The intersection of the systems allows adding supplementary conditions in modeling and the union of the systems allows considering the validity of one of two systems in modeling, for example when testing the asynchronous circuits and the circuit is supposed to be 'good' or 'bad'. The purpose of the paper is that of analyzing the intersection and the union against the initial/final states, initial/final time, initial/final state functions, subsystems, dual systems, inverse systems, Cartesian product of systems, parallel connection and serial connection of systems.

Keywords

Cite

@article{arxiv.cs/0610127,
  title  = {The intersection and the union of the asynchronous systems},
  author = {Serban E. Vlad},
  journal= {arXiv preprint arXiv:cs/0610127},
  year   = {2007}
}

Comments

The 14-th Conference on Applied and Industrial Mathematics CAIM 2006, Satellite Conference of ICM2006, Chisinau, Moldova, August 17-19, 2006

R2 v1 2026-07-22T12:27:05.041Z