Sociotechnical systems are those which rely not only on technology but on humans and social organisation for their adequate functioning. The analysis of sociotechnical systems pose...
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
The tracking performance of adaptive filters is crucially important in practical applications involving time-varying systems. We present an analysis of the tracking performance f...
Pradeep Loganathan, Emanuel A. P. Habets, Patrick ...
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
Egor R. V. Bondarev, Michel R. V. Chaudron, Peter ...
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...