— In this paper, we consider the problem of finding a time-varying controller which can stabilize a decentralized discrete-time system. In continuous-time, it was already known ...
Ciprian Deliu, Anton A. Stoorvogel, Ali Saberi, Sa...
In work on multiprocessor real-time systems, processing pipelines have received little attention. In this paper, soft real-time periodic task systems are considered that include s...
For decades hypertext has provided a means for structuring information. Versioning has been perceived as very important for hypertext, but research focusing on it has targeted alm...
Abstract. We present a model for the multiagent patrolling problem with continuous-time. An anytime and online algorithm is then described and extended to asynchronous multiagent d...
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...