Now showing items 21-30 of 45
Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty
(2022)
The theory of formal methods had a profound effect on computer science. By providing tools that can verify a program’s correctness or generate software that is “correct-by-construction,” Formal Methods made it much easier ...
Quantitative Measurement and Development of Back-end Processing System-on-Chip for the Pixelated CdZnTe Detector
(2022)
CdZnTe (CZT) detector technology using pixelated anodes is a promising alternative to High-purity Germanium (HPGe) detectors in gamma-ray spectroscopy. Our research group at the University of Michigan has demonstrated that ...
High Resolution Organic Vapor Jet Printing of Phosphorescent Organic Light Emitting Diode Arrays.
(2013)
Organic light emitting diodes (OLEDs) are widely used in mobile devices due to their thin form factor, wide color gamut, and high efficiency. The introduction of OLEDs into televisions and monitors has been slowed, in ...
Microsystem-Compatible Heterogeneous Micro-Hydrophone for Use at High Static Pressures
(2019)
Underwater acoustic sensing is important for multiple applications, including seismic sensing for the oil and gas industry, SONAR at extended ocean depth, localization of underwater vehicles, implementation in autonomous ...
Streaming Architectures for Medical Image Reconstruction
(2020)
Non-invasive imaging modalities have recently seen increased use in clinical diagnostic procedures. Unfortunately, emerging computational imaging techniques, such as those found in 3D ultrasound and iterative magnetic ...
GNSS-R Remote Sensing of the Ocean: Surface Waves and Related Phenomena
(2016)
In this thesis, we explore several fundamental issues in GNSS-R remote sensing. Global Navigation Satellite System - Reflectometry (GNSS-R) is a relatively young remote sensing technique proposed to measure geophysical ...
Control of Micro-Hybrid Boosting
(2019)
Powertrain hybridization has been shown to greatly improve vehicle fuel economy, with significant additional component costs. A novel type of low voltage hybrid device, called a power split supercharger (PSS), has the ...
Semantic Robot Programming for Taskable Goal-Directed Manipulation
(2020)
Autonomous robots have the potential to assist people to be more productive in factories, homes, hospitals, and similar environments. Unlike traditional industrial robots that are pre-programmed for particular tasks in ...
Controlling Ionic Transport in RRAM for Memory and Neuromorphic Computing Applications
(2018)
Resistive random-access memory, based on a simple two-terminal device structure, has attracted tremendous interest recently for applications ranging from non-volatile data storage to neuromorphic computing. Resistive ...
Autonomous Scene Understanding, Motion Planning, and Task Execution for Geometrically Adaptive Robotized Construction Work
(2019)
The construction industry suffers from such problems as high cost, poor quality, prolonged duration, and substandard safety. Robots have the potential to help alleviate such problems by becoming construction co-workers, ...