— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...
Selim Solmaz, Robert Shorten, Kai Wulff, Fiacre &O...
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
Benjamin Yolken, Dimitrios Tsamis, Nicholas Bambos
This paper first analyzes the feedback principle of nature immune system and then the immune process is imitated by virtue of nonlinear molecular dynamics. Then the mathematic mode...
In this paper, we discuss the design and engineering of the PolyBot board, a custom robot controller board. This board has many features which make it suitable for use in the desi...