Browsing by Author "Gabor Karsai"

Now showing items 1-20 of 63

    • A Finite Domain Model for Design Space Exploration 
      Eames, Brandon Kerry (2005-04-07)
      Department: Electrical Engineering
      Engineering design is a process of tradeoff analysis. Design decisions are evaluated, often involving quantitative comparisons between relevant metrics of goodness. Design space exploration formalizes the process of ...
    • A Model Integrated Framework for Designing and Optimization of Self-managing Computing Systems 
      Bai, Jia (2008-07-26)
      Department: Electrical Engineering
      This thesis addresses the problem of managing computing systems using an integration of model-based control techniques and efficient AI search strategies. The proposed control approach uses the system model to forecast ...
    • A Moving Target Defense Approach Towards Security and Resilience in Cyber-Physical Systems 
      Potteiger, Bradley David (2019-09-25)
      Department: Electrical Engineering
      Cyber-Physical Systems (CPS) such as autonomous vehicles are becoming widely utilized throughout society. CPS are unique with respect to the tightly coupled nature between the cyber software and physical dynamics of a ...
    • A Multi-Domain Functional Dependency Modeling Tool Based on Extended Hybrid Bond Graphs 
      Lattmann, Zsolt (2010-04-05)
      Department: Electrical Engineering
      Modeling physical systems is necessary to understand how they work and how the compositions of physical components (i.e., complex physical systems) behave. Graphical modeling languages are often used in engineering design. ...
    • A Qualitative Event-based Approach to Fault Diagnosis of Hybrid Systems 
      Daigle, Matthew John (2008-04-21)
      Department: Computer Science
      Fault diagnosis is crucial for ensuring the safe operation of complex engineering systems. Many present-day systems combine physical and computational processes, and are best modeled as hybrid systems, where the dynamic ...
    • A semantic anchoring infrastructure for model-integrated computing 
      Chen, Kai (2006-06-07)
      Department: Computer Science
      Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSMLs) and model transformation techniques ...
    • Accuracy enhancements for robust TOA estimation on resource constrained mobile platforms 
      Chhokra, Kumar Gaurav (2004-07-30)
      Department: Electrical Engineering
      This thesis develops techniques for accurately estimating the time-of-arrival (TOA) on resource constrained sensor units of a distributed radio geolocation system. Firstly, a multi-resolution approach for discriminating ...
    • Acoustic Beamforming on Wireless Sensor Nodes 
      Collings, Stephen William (2008-04-11)
      Department: Electrical Engineering
      Acoustic beamforming is described in general terms, and the problems of implementing online acoustic beamforming on a wireless sensor node are described. A low-power FPGA-based solution is presented, implemented on a sensor ...
    • Adaptive Deployment and Configuration Frameworks for Component-based Applications 
      Otte, William R (2011-12-12)
      Department: Computer Science
      Over the past decade component-based technologies, such as the CORBA Component Model (CCM), have found increased acceptance as vehicles for implementing distributed systems at many levels of complexity and size. Examples ...
    • Algorithms and Techniques for Managing Extensibility in Cyber-Physical Systems 
      Pradhan, Subhav Man (2016-11-22)
      Department: Computer Science
      Over the past decades, distributed computing paradigm has evolved from smaller and mostly homogeneous clusters to the current notion of ubiquitous computing, which consists of dynamic and heterogeneous resources in large ...
    • An Analysis-Driven Rapid Design Process for Cyber-Physical Systems 
      Lattmann, Zsolt (2016-04-29)
      Department: Electrical Engineering
      Product design has become more complex in recent decades. Several design methods and processes have been developed to reduce the design complexity to a manageable level. Model-based systems engineering leverages these ...
    • An evaluation of machine learning techniques in intrusion detection 
      Lee, Christina Mei-Fang (2007-03-05)
      Department: Computer Science
      Intrusion detection allows an organization to monitor its network for possible attacks. The ability of an intrusion detection system (IDS) to distinguish correctly between attacks and normal activity is important. The ...
    • An Extensible Visual Constraint Language 
      Broll, Brian Daniel (2018-04-13)
      Department: Computer Science
      This thesis presents an extensible visual language for constraint specification in domain-specific modeling environments. As the language is designed within a modeling language itself, the metamodel and visual syntax are ...
    • Analysis and Verification of Cyber-Physical System Software Using Static Analysis 
      Zhang, Zhenkai (2015-10-20)
      Department: Computer Science
      Cyber-Physical Systems (CPS) are complex systems which involve tight interactions between physical dynamics, computational platforms, communication networks, and embedded software. The complex interactions prevent us from ...
    • Anomaly Detection from Complex Temporal Sequences in Large Data 
      Mack, Daniel Leif Campana (2013-04-18)
      Department: Computer Science
      As systems become more complex and the amount of operational data collected from these systems increases proportionally, new challenges arise about how this data can be used to better understand system operations, and ...
    • Assessing and Detecting Malicious Hardware in Integrated Circuits 
      Reece, Trey (2014-12-05)
      Department: Electrical Engineering
      System security often focuses on the software, causing hardware security to be overlooked. Such oversight allows for attacks that can completely undermine the use of hardware as the root of trust. During the design of an ...
    • Behavioral Semantics of Modeling Languages: A Pragmatic Approach 
      Balasubramanian, Daniel Allen (2011-04-18)
      Department: Computer Science
      Domain-specific modeling languages (DSMLs) are specialized languages tailored with concepts and features of a particular domain. The abstractions offered by DSMLs allow designers of software systems to ignore implementation ...
    • Compositional and Incremental Modeling and Analysis for High-Confidence Distributed Embedded Control Systems 
      Porter, Joseph E (2011-04-16)
      Department: Electrical Engineering
      High confidence embedded control system software often requires formal analyses to ensure design correctness. Detailed models cover numerous design concerns such as controller stability, timing requirements, fault tolerance, ...
    • Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems 
      Dai, Siyuan (2016-10-11)
      Department: Electrical Engineering
      Cyber-physical systems are complex engineering systems that integrate computational, communication, and control components with physical components in many applications such as automotive systems, aeronautical systems, ...
    • Constraint Programming Approach to the TAEMS Scheduling Problem 
      Datta, Soumita (2006-04-14)
      Department: Computer Science
      Planning and Scheduling are well-recognized research areas in the field of AI that address goal directed problem solving. They deal with choosing a course of action to achieve a goal contingent upon some sequencing and ...