Searched for: subject%3A%22Logic%22
(41 - 60 of 185)

Pages

document
Lv, Maolong (author), Li, Yongming (author), Pan, W. (author), Baldi, S. (author)
This article proposes a fuzzy adaptive design solving the finite-time constrained tracking for hypersonic flight vehicles (HFVs). Actuator dynamics and asymmetric time-varying constraints are considered when solving this problem. The main features of the proposed design lie in 1) introducing a novel piecewise but differentiable switching...
journal article 2022
document
Peruffo, A. (author), Mazo, M. (author)
We employ the scenario approach to compute probably approximately correct (PAC) bounds on the average inter-sample time (AIST) generated by an unknown PETC system, based on a finite number of samples. We extend the scenario optimisation to multiclass SVM algorithms in order to construct a PAC map between the concrete state-space and the inter...
journal article 2022
document
Smirnova, Alisa (author), Yang, J. (author), Yang, Dingqi (author), Cudre-Mauroux, Philippe (author)
Noisy labels represent one of the key issues in supervised machine learning. Existing work for label noise reduction mainly takes a probabilistic approach that infers true labels from data distributions in low-level feature spaces. Such an approach is not only limited by its capability to learn high-quality data representations, but also by...
journal article 2022
document
Gong, J. (author), Chen, Y. (author), Charbon-Iwasaki-Charbon, E. (author), Sebastiano, F. (author), Babaie, M. (author)
This article presents a 4-to-5GHz LC oscillator operating at 4.2K for quantum computing applications. The phase noise (PN) specification of the oscillator is derived based on the control fidelity for a single-qubit operation. To reveal the substantial gap between the theoretical predictions and measurement results at cryogenic temperatures, a...
journal article 2022
document
Rojas-Delgado, Brenda (author), Ekweoba, Chisom (author), Lavidas, G. (author), temiz, Irina (author)
This paper proposes and analyzes a genetic algorithm based permutation control logic applied to the aggregator of an offshore multi-source park. The energy losses at the common coupling point are accounted for in the feedback. This paper focuses on offshore distributed energy resources, such as floating photovoltaic (PV), wind, and wave power....
journal article 2022
document
Lv, Maolong (author), De Schutter, B.H.K. (author), Shi, Chao (author), Baldi, S. (author)
This work studies logic-based distributed switching control for nonlinear agents in power-chained form, where logic-based (switching) control arises from the online estimation of the control directions assumed to be unknown for all agents. Compared to the state-of-the-art logic-based mechanisms, the challenge of power-chained dynamics is that...
journal article 2022
document
Singh, A. (author), Zahedi, M.Z. (author), Shahroodi, T. (author), Gupta, Mohit (author), Gebregiorgis, A.B. (author), Komalan, Manu (author), Joshi, R.V. (author), Catthoor, Francky (author), Bishnoi, R.K. (author), Hamdioui, S. (author)
Spin-transfer torque magnetic random access memory (STT-MRAM) based computation-in-memory (CIM) architectures have shown great prospects for an energy-efficient computing. However, device variations and non-idealities narrow down the sensing margin that severely impacts the computing accuracy. In this work, we propose an adaptive referencing...
conference paper 2022
document
Sharma, Salil (author), van Lint, J.W.C. (author), Tavasszy, Lorant (author), Snelder, M. (author)
This paper studies and compares the gap selection process of multiple vehicle classes (passenger cars, delivery vans, and trucks) within their discretionary lane changing activities. Given a trajectory or a sequence of gap selection decisions, we aim to predict whether a vehicle will change or keep a lane. For this purpose, we use a large...
journal article 2022
document
Hugtenburg, S. (author), Yorke-Smith, N. (author)
Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general...
book 2022
document
Pourahmad, Ali (author), Dehghani, Rasoul (author), Ahmadi-Mehr, Seyed Amir-Reza (author), Lotfi, R. (author)
Implementation of the DAC is usually the bottleneck in designing a SAR ADC. Here an innovative DAC-less SAR (DLSAR) ADC architecture is presented which alleviates some drawbacks of the conventional SAR counterpart. The proposed DLSAR binary search algorithm is comprised of two arithmetic operations of division-by-two and subtraction to...
journal article 2022
document
De Iuliis, Melissa (author), Kammouh, O. (author), Cimellaro, Gian Paolo (author)
Due to the increasing frequency of natural and man-made disasters, the scientific community has paid considerable attention to the concept of resilience engineering. On the other hand, authorities and decision-makers have been focusing their efforts on developing strategies that can help increase community resilience to different types of...
journal article 2022
document
Singh, A. (author), Fieback, M. (author), Bishnoi, R.K. (author), Bradarić, Filip (author), Gebregiorgis, A.B. (author), Joshi, R.V. (author), Hamdioui, S. (author)
Emerging non-volatile resistive RAM (RRAM) device technology has shown great potential to cultivate not only high-density memory storage, but also energy-efficient computing units. However, the unique challenges related to RRAM fabrication process render the traditional memory testing solutions inefficient and inadequate for high product quality...
conference paper 2022
document
Verdier, C.F. (author), Kochdumper, Niklas (author), Althoff, Matthias (author), Mazo, M. (author)
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial...
journal article 2022
document
Dell'Anna, D. (author), Jamshidnejad, A. (author)
Socially Assistive Robots (SARs) are increasingly used in dementia and elderly care. In order to provide effective assistance, SARs need to be personalized to individual patients and account for stimulating their divergent thinking in creative ways. Rule-based fuzzy logic systems provide effective methods for automated decision-making of SARs...
journal article 2022
document
Vuillot, C. (author), Breuckmann, Nikolas P. (author)
We introduce quantum pin codes: a class of quantum CSS codes. Quantum pin codes are a generalization of quantum color codes and Reed-Muller codes and share a lot of their structure and properties. Pin codes have gauge operators, an unfolding procedure and their stabilizers form so-called $\ell $ -orthogonal spaces meaning that the joint...
journal article 2022
document
Bootsman, R.J. (author), Mul, D.P.N. (author), Shen, Y. (author), Hashemi, M. (author), Heeres, Rob M. (author), van Rijs, Fred (author), Alavi, S.M. (author), de Vreede, L.C.N. (author)
Fully digital transmitters (DTXs) have the potential of replacing analog-intensive transmitter (TX) line-ups in future massive multiple-input and multiple-output (mMIMO) systems since they hold the promise of higher system integration level and energy efficiency. DTX operation so far has been limited to low RF output powers. This article...
journal article 2022
document
Pashaeifar, M. (author), de Vreede, L.C.N. (author), Alavi, S.M. (author)
This letter presents a novel load-modulation-based 3rd-order intermodulation distortion (IMD3) cancellation technique for class-B CMOS power amplifiers (PAs). In a class-B PA, the IMD3 generated by the 3rd-order transconductance ( $g_{m3}$ ) and the gain compression have opposite signs, and thus, they can cancel each other at specific bias...
journal article 2022
document
Theuwissen, A.J.P.A.M. (author)
This article focuses on the angular dependency of the light sensitivity of a commercially available CMOS camera with a global shutter (storage node (SG) in the charge domain) and shared pixel architecture. The angular dependency is characterized as a function of both the wavelength and the angle of incidence of the incoming light. The...
journal article 2022
document
Wu, Jiansong (author), Xing, Yuxuan (author), Bai, Yiping (author), Hu, Xiaofeng (author), Yuan, S. (author)
Accidents induced by natural disasters at sports sites may cause catastrophic loss of great concern. However, previous studies on risk assessments of sports sites have only focused on operational risk and equipment failure. With the frequent occurrence of extreme disasters, the risk of domino chains caused by natural disasters at large-scale...
review 2022
document
Lavaei, Abolfazl (author), Mohajerin Esfahani, P. (author), Zamani, Majid (author)
In this work, we propose a data-driven approach for the stability analysis of discrete-time homogeneous nonlinear systems with unknown models. The proposed framework is based on constructing Lyapunov functions via a set of data, collected from trajectories of unknown systems, while providing an a-priori guaranteed confidence on the stability of...
conference paper 2022
Searched for: subject%3A%22Logic%22
(41 - 60 of 185)

Pages