Browsing by Author "Xenofon Koutsoukos"

Now showing items 21-34 of 34

    • Model- and data-driven approaches to fault detection and isolation in complex systems 
      Khorasgani, Hamed Ghazavi (2018-01-18)
      Department: Electrical Engineering
      Complex engineering systems pervade every aspect of our daily lives. The need for increased performance, safety, and reliability of these systems provide the motivation for developing system health monitoring methodologies ...
    • Model-based compositional design of networked control systems 
      Eyisi, Emeka P. (2013-12-04)
      Department: Electrical Engineering
      The rapid advancement in digital technology over the past few decades has fueled the progress in computation and communication technologies. Enabled by this progress, complex engineered systems commonly referred to as ...
    • Model-based detection in cyber-physical systems 
      Tantawy, Ashraf Mohammed (2011-10-25)
      Department: Electrical Engineering
      Cyber-Physical Systems are tight integrations of computational and physical processes. Detection of abnormal behavior in cyber-physical systems is crucial for their safe and reliable operation. Model-based detection can ...
    • Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems 
      Riley, Derek David (2009-04-08)
      Department: Computer Science
      Formal modeling and analysis methods hold great promise to help further discovery and innovation for biochemical systems. Domain experts from physicians to chemical engineers can use computational modeling and analysis ...
    • Precise Real-Time Relative Localization Using Single-Frequency GPS 
      Hedgecock II, Ronald William (2014-04-02)
      Department: Electrical Engineering
      For outdoor navigation, GPS provides the most widely-used means of node localization; however, the level of accuracy provided by low-cost receivers is typically insufficient for use in high-precision applications such as ...
    • Resilient Anomaly Detection in Cyber-Physical Systems 
      Ghafouri, Amin (2018-02-16)
      Department: Computer Science
      Cyber-physical systems (CPS), such as autonomous automobile systems and process control systems, are mechanisms that deeply intertwine physical and software components. A resilient CPS is one that maintains an accepted ...
    • Resilient Cooperative Control of Networked Multi-Agent Systems 
      LeBlanc, Heath Joseph (2012-08-13)
      Department: Electrical Engineering
      Networked multi-agent systems consist of a set of agents that exchange information through a medium referred to as the network. The agents in the networked system are tasked with achieving certain group objectives. These ...
    • Resilient Decision Making in Adversarial and Uncertain Environment 
      Li, Yi (2019-11-25)
      Department: Computer Science
      Benefiting from the recent progress of AI research, computerized supports in making decisions have been deployed to a large variety of computer systems supporting decision making, which received research interests in the ...
    • Secure learning in adversarial environments 
      Li, Bo (2016-07-14)
      Department: Computer Science
      Machine learning has become ubiquitous in the modern world, varying from enterprise applications to personal use cases and from image annotation and text recognition to speech captioning and machine translation. Its ...
    • Spatio-Temporal Awareness in Mobile Wireless Sensor Networks 
      Amundson, Isaac (2010-06-01)
      Department: Computer Science
      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 ...
    • Spatiotemporal Coordination in Wireless Sensor Networks 
      Kusy, Branislav (2007-08-08)
      Department: Computer Science
      Large-scale networks of low-power, wireless devices integrated with sensors and actuators have emerged as a new platform that promises to seamlessly integrate computational devices with our environment. Information about ...
    • Stability of compressed sensing for dictionaries and almost sure convergence rate for the Kaczmarz algorithm 
      Chen, Xuemei (2012-06-06)
      Department: Mathematics
      This dissertation consists of two topics: compressed sensing and the Kaczmarz algorithm. Compressed sensing addresses the problem of recovering an unknown signal $z_0in mathbb{R}^d$ from a small number of linear measurements ...
    • Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back 
      Hemingway, Graham S. (2011-04-16)
      Department: Computer Science
      Humans rely upon embedded computational systems for everything from mundane tasks, like building temperature control, to safety-critical tasks, like flight control systems. Design and validation of safety-critical ...
    • Towards Improving Allocative Efficiency in Games and Markets 
      Lou, Jian (2019-07-22)
      Department: Computer Science
      Game-theoretic analysis is widely used to model outcomes of strategic interactions among multiple self-interested players. An important challenge in studying such interactions is in designing the rules of encounter which ...