Browsing by Author "Gabor Karsai"
Now showing items 1-20 of 63
-
Eames, Brandon Kerry (2005-04-07)Department: Electrical EngineeringEngineering 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 ...
-
Bai, Jia (2008-07-26)Department: Electrical EngineeringThis 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 ...
-
Potteiger, Bradley David (2019-09-25)Department: Electrical EngineeringCyber-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 ...
-
Lattmann, Zsolt (2010-04-05)Department: Electrical EngineeringModeling 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. ...
-
Daigle, Matthew John (2008-04-21)Department: Computer ScienceFault 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 ...
-
Chen, Kai (2006-06-07)Department: Computer ScienceModel-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 ...
-
Chhokra, Kumar Gaurav (2004-07-30)Department: Electrical EngineeringThis 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 ...
-
Collings, Stephen William (2008-04-11)Department: Electrical EngineeringAcoustic 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 ...
-
Otte, William R (2011-12-12)Department: Computer ScienceOver 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 ...
-
Pradhan, Subhav Man (2016-11-22)Department: Computer ScienceOver 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 ...
-
Lattmann, Zsolt (2016-04-29)Department: Electrical EngineeringProduct 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 ...
-
Lee, Christina Mei-Fang (2007-03-05)Department: Computer ScienceIntrusion 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 ...
-
Broll, Brian Daniel (2018-04-13)Department: Computer ScienceThis 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 ...
-
Zhang, Zhenkai (2015-10-20)Department: Computer ScienceCyber-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 ...
-
Mack, Daniel Leif Campana (2013-04-18)Department: Computer ScienceAs 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 ...
-
Reece, Trey (2014-12-05)Department: Electrical EngineeringSystem 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 ...
-
Balasubramanian, Daniel Allen (2011-04-18)Department: Computer ScienceDomain-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 ...
-
Porter, Joseph E (2011-04-16)Department: Electrical EngineeringHigh 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, ...
-
Dai, Siyuan (2016-10-11)Department: Electrical EngineeringCyber-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, ...
-
Datta, Soumita (2006-04-14)Department: Computer SciencePlanning 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 ...