Xenofon D. Koutsoukos

Learn More
Researchers in the diagnosis community have developed a number of promising techniques for system health management. However, realistic empirical evaluation and comparison of these approaches is often hampered by a lack of standard data sets and suitable testbeds. In this paper we describe the Advanced Diagnostics and Prognostics Testbed (ADAPT) at NASA(More)
—An increasing number of distributed real-time systems face the critical challenge of providing quality of service guarantees in open and unpredictable environments. In particular, such systems often need to enforce utilization bounds on multiple processors in order to avoid overload and meet end-to-end deadlines even when task execution times are(More)
In part I of this work we introduced and evaluated the Generalized Local Learning (GLL) framework for producing local causal and Markov blanket induction algorithms. In the present second part we analyze the behavior of GLL algorithms and provide extensions to the core methods. Specifically, we investigate the empirical convergence of GLL to the true local(More)
—Building networked control systems over wireless networks is an extremely challenging task, as the wireless communication characteristics such as random packet losses and delay, significantly affect the stability and the performance of the control systems. We present a novel approach to the design of wireless networked control system. This approach(More)
—This paper addresses the problem of resilient in-network consensus in the presence of misbehaving nodes. Secure and fault-tolerant consensus algorithms typically assume knowledge of nonlocal information; however, this assumption is not suitable for large-scale dynamic networks. To remedy this, we focus on local strategies that provide resilience to faults(More)
– Modern Network Centric Operations drive the complexity of Information Fusion and Command and Control (C2) Systems. Driving this complexity further is the interplay dynamics of the human element, information systems, and communication networks. The lack of low-cost realistic experimental context limits the testing, evaluation, and further development of(More)
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior and are not suitable for realistic systems that operate in the presence of uncertainty and variability. This research note extends existing methods for Bounded-parameter Markov(More)
In this paper, we address the problem of tracking cooperative mobile nodes in wireless sensor networks. Aiming at a resource efficient solution, we advocate the use of sensors that maintain their location information and rely on the tracking service only when their locations change. In the proposed approach, the tracked node transmits a signal and(More)
Over the past decade we have witnessed the evolution of wireless sensor networks, with advancements in hardware design, communication protocols, resource efficiency, and other aspects. Recently, there has been much focus on mobile sensor networks, and we have even seen the development of small-profile sensing devices that are able to control their own(More)