English
Related papers

Related papers: Learning to Design Analog Circuits to Meet Thresho…

200 papers

Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design…

Software Engineering · Computer Science 2013-02-19 Vadim Alimguzhin , Federico Mari , Igor Melatti , Ivano Salvo , Enrico Tronci

From higher computational efficiency to enabling the discovery of novel and complex structures, deep learning has emerged as a powerful framework for the design and optimization of nanophotonic circuits and components. However, both…

Machine Learning · Computer Science 2022-09-13 Christopher Yeung , Benjamin Pham , Zihan Zhang , Katherine T. Fountaine , Aaswath P. Raman

A circuit-simulation-based method is used to determine the thermally-induced bit error rate of superconducting logic circuits. Simulations are used to evaluate the multidimensional Gaussian integral across noise current sources attached to…

Applied Physics · Physics 2023-06-14 Quentin Herr , Alex Braun , Andrew Brownfield , Ed Rudman , Dan Dosch , Trent Josephsen , Anna Herr

In the current control design of safety-critical autonomous systems, formal verification techniques are typically applied after the controller is designed to evaluate whether the required properties (e.g., safety) are satisfied. However,…

Systems and Control · Electrical Eng. & Systems 2021-06-08 Yixuan Wang , Chao Huang , Zhaoran Wang , Zhilu Wang , Qi Zhu

This paper addresses reinforcement learning based, direct signal tracking control with an objective of developing mathematically suitable and practically useful design approaches. Specifically, we aim to provide reliable and easy to…

Systems and Control · Electrical Eng. & Systems 2021-04-01 Zhikai Yao , Jennie Si , Ruofan Wu , Jianyong Yao

We introduce a new workflow for unconstrained optimization whereby objective functions are mapped onto a physical domain to more easily design algorithms that are robust to hyperparameters and achieve fast convergence rates. Specifically,…

Optimization and Control · Mathematics 2023-05-24 Aayushya Agarwal , Carmel Fiscko , Soummya Kar , Larry Pileggi , Bruno Sinopoli

Modern internet of things (IoT) devices leverage machine learning inference using sensed data on-device rather than offloading them to the cloud. Commonly known as inference at-the-edge, this gives many benefits to the users, including…

Signal Processing · Electrical Eng. & Systems 2021-09-03 Adrian Wheeldon , Alex Yakovlev , Rishad Shafik , Jordan Morris

In this work, we investigate various approaches that use learning from training data to solve inverse problems, following a bi-level learning approach. We consider a general framework for optimal inversion design, where training data can be…

Numerical Analysis · Mathematics 2021-10-07 Julianne Chung , Matthias Chung , Silvia Gazzola , Mirjeta Pasha

Recent advances in machine learning (ML) for automating analog circuit synthesis have been significant, yet challenges remain. A critical gap is the lack of a standardized evaluation framework, compounded by various process design kits…

Hardware Architecture · Computer Science 2024-09-16 Jintao Li , Haochang Zhi , Ruiyu Lyu , Wangzhen Li , Zhaori Bi , Keren Zhu , Yanhan Zeng , Weiwei Shan , Changhao Yan , Fan Yang , Yun Li , Xuan Zeng

We address the problem of estimating the inputs of a dynamical system from measurements of the system's outputs. To this end, we introduce a novel estimation algorithm that explicitly trades off bias and variance to optimally reduce the…

Machine Learning · Computer Science 2019-09-20 Sebastian Curi , Kfir Y. Levy , Andreas Krause

Systems that capture and process analog signals must first acquire them through an analog-to-digital converter. While subsequent digital processing can remove statistical correlations present in the acquired data, the dynamic range of the…

Information Theory · Computer Science 2019-01-30 Or Ordentlich , Gizem Tabak , Pavan Kumar Hanumolu , Andrew C. Singer , Gregory W. Wornell

Classification is an important task in many fields including biomedical research and machine learning. Traditionally, a classification rule is constructed based a bunch of labeled data. Recently, due to technological innovation and…

Methodology · Statistics 2014-06-19 Jing Wang , Eunsik Park , Yuan-chin Ivan Chang

Perceptual metrics are traditionally used to evaluate the quality of natural signals, such as images and audio. They are designed to mimic the perceptual behaviour of human observers and usually reflect structures found in natural signals.…

Sound · Computer Science 2023-12-07 Tashi Namgyal , Alexander Hepburn , Raul Santos-Rodriguez , Valero Laparra , Jesus Malo

Modern machine learning is based on powerful algorithms running on digital computing platforms and there is great interest in accelerating the learning process and making it more energy efficient. In this paper we present a fully autonomous…

Emerging Technologies · Computer Science 2020-02-26 Jan Kaiser , Rafatul Faria , Kerem Y. Camsari , Supriyo Datta

Analog circuit sizing takes a significant amount of manual effort in a typical design cycle. With rapidly developing technology and tight schedules, bringing automated solutions for sizing has attracted great attention. This paper presents…

Machine Learning · Computer Science 2021-10-04 Ahmet F. Budak , Prateek Bhansali , Bo Liu , Nan Sun , David Z. Pan , Chandramouli V. Kashyap

With the increased attention to memristive-based in-memory analog computing (IMAC) architectures as an alternative for energy-hungry computer systems for machine learning applications, a tool that enables exploring their device- and…

Emerging Technologies · Computer Science 2023-06-14 Md Hasibul Amin , Mohammed E. Elbtity , Ramtin Zand

One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corresponding to a (known) control action. This approach…

Optimization and Control · Mathematics 2019-03-12 Hasan A. Poonawala , Niklas Lauffer , Ufuk Topcu

Programs are a kind of communication to both computers and people, hence as students are trained to write programs they need to learn to write well-designed, readable code rather than code that simply functions correctly. The difficulty in…

Computers and Society · Computer Science 2022-11-08 J. Walker Orr

Simulation data can be utilized to extend real-world driving data in order to cover edge cases, such as vehicle accidents. The importance of handling edge cases can be observed in the high societal costs in handling car accidents, as well…

Robotics · Computer Science 2020-07-24 Shivam Akhauri , Laura Zheng , Ming Lin

High-level Computer-Aided Process Planning (CAPP) generates manufacturing process plans from part specifications. It suffers from limited dataset availability in industry, reducing model generalization. We propose a semi-supervised learning…