-
601
Causal inference with instruments and other supplementary variables
Published 2008“…Using an approach based on convex polytopes, bounds are computed here in terms of the pairwise (A,B) and (A,C) distributions, in direct analogy to the classic use but without the linearity assumption. …”
Thesis -
602
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems
Published 2021-10-01“…To that aim, a linear parameter varying (LPV) polytopic representation of the system is adopted and a bank of Kalman filters is designed using linear matrix inequalities (LMI). …”
Get full text
Article -
603
Robust LNG sales planning under demand uncertainty: A data-driven goal-oriented approach
Published 2023-12-01“…First, we adopt data-driven polytopic uncertainty sets based on kernel learning, which yields a compact high-density region from data and assures tractability of RO problems. …”
Get full text
Article -
604
Robust output feedback control with guaranteed constraint satisfaction
Published 2021“…Instead, partial observability is often sufficient to design a correct controller. We provide the polytopic representation of observability errors and reachable sets in the form of zonotopes. …”
Get full text
Article -
605
Robust output feedback control with guaranteed constraint satisfaction
Published 2022“…Instead, partial observability is often sufficient to design a correct controller. We provide the polytopic representation of observability errors and reachable sets in the form of zonotopes. …”
Get full text
Article -
606
Distributionally robust optimization with marginals : theory and applications
Published 2020Get full text
Thesis -
607
Campus Microgrid Data-Driven Model Identification and Secondary Voltage Control
Published 2022-10-01“…The MPC strategy uses polytopic invariant sets as terminal sets to guarantee stability. …”
Get full text
Article -
608
Central limit model checking
Published 2018“…In this paper we employ a continuous-space approximation of the CTMC in terms of a Gaussian process based on the Central Limit Approximation (CLA), also known as the Linear Noise Approximation (LNA), whose solution requires solving a number of differential equations that is quadratic in the number of species and independent of the population size.We then develop efficient and scalable approximate model checking algorithms on the resulting Gaussian process, where we restrict the target regions for probabilistic reachability to convex polytopes. This allows us to derive an abstraction in terms of a time-inhomogeneous discrete-time Markov chain (DTMC), whose dimension is independent of the number of species, on which model checking is performed. …”
Journal article -
609
Fully discrete finite element approximation of unsteady flows of implicitly constituted incompressible fluids
Published 2019“…For incompressible unsteady flows of such fluids, subject to a homogeneous Dirichlet boundary condition on a Lipschitz polytopal domain Ω ⊂ Rd, d ∈ {2, 3}, we investigate a fully discrete approximation scheme, using a spatial mixed finite element approximation on general shape-regular simplicial meshes combined with backward Euler time-stepping. …”
Journal article -
610
Application of diagnostic methods in the verification of Lyme carditis (clinical case)
Published 2023-09-01“…The severe rhythm and conduction disorders were revealed with the method of Holter monitoring: AV-block of the first degree, transient AV-block of the II degree (Mobitz 2) and III degree, polytopic extrasystoles. The morphological changes in the heart were diagnosed with ultrasonography and cardiac MRI in order to confirm the diagnosis and to monitor the patient's subsequent course. …”
Get full text
Article -
611
Profile of Membrane Cargo Trafficking Proteins and Transporters Expressed under N Source Derepressing Conditions in <i>Aspergillus nidulans</i>
Published 2021-07-01“…Solute and ion transporters are proteins essential for cell nutrition, detoxification, signaling, homeostasis and drug resistance. Being polytopic transmembrane proteins, they are co-translationally inserted and folded into the endoplasmic reticulum (ER) of eukaryotic cells and subsequently sorted to their final membrane destination via vesicular secretion. …”
Get full text
Article -
612
Targeted Proteomics Reveals Quantitative Differences in Low-Abundance Glycosyltransferases of Patients with Congenital Disorders of Glycosylation
Published 2024-01-01“…Most of the glycosyltransferases (GTs) responsible for proper glycosylation are polytopic membrane proteins that represent challenging targets in proteomics. …”
Get full text
Article -
613
Probability-Guaranteed Set-Membership State Estimation for Polynomially Uncertain Linear Time-Invariant Systems
Published 2021“…It explicitly accounts for the polynomial uncertainty structure, whilst most literature relies on conservative affine or polytopic overbounding. Online state estimation restructures the extended observer form, and constructs a Gaussian mixture model to approximate the state distribution. …”
Get full text
Article -
614
Probability-Guaranteed Set-Membership State Estimation for Polynomially Uncertain Linear Time-Invariant Systems
Published 2021“…It explicitly accounts for the polynomial uncertainty structure, whilst most literature relies on conservative affine or polytopic overbounding. Online state estimation restructures the extended observer form, and constructs a Gaussian mixture model to approximate the state distribution. …”
Get full text
Article -
615
Functional Characterization of the Saccharomyces cerevisiae Equilibrative Nucleoside Transporter 1 (ScENT1)
Published 2018-03-01“…Equilibrative nucleoside transporters (ENTs) are polytopic membrane transporters responsible for the translocation of nucleosides, nucleobases—to a lesser extent—and nucleoside analog therapeutics across cellular membranes. …”
Get full text
Article -
616
Exploring the eukaryotic Yip and REEP/Yop superfamily of membrane-shaping adapter proteins (MSAPs): A cacophony or harmony of structure and function?
Published 2022-08-01“…Polytopic cargo proteins are synthesized and exported along the secretory pathway from the endoplasmic reticulum (ER), through the Golgi apparatus, with eventual insertion into the plasma membrane (PM). …”
Get full text
Article -
617
Classifying divisor topologies for string phenomenology
Published 2022-12-01“…Abstract In this article we present a pheno-inspired classification for the divisor topologies of the favorable Calabi Yau (CY) threefolds with 1 ≤ h 1,1(CY) ≤ 5 arising from the four-dimensional reflexive polytopes of the Kreuzer-Skarke database. Based on some empirical observations we conjecture that the topologies of the so-called coordinate divisors can be classified into two categories: (i). χ h (D) ≥ 1 with Hodge numbers given by {h 0,0 = 1, h 1,0 = 0, h 2,0 = χ h (D) − 1, h 1,1 = χ(D) − 2χ h (D)} and (ii). χ h (D) ≤ 1 with Hodge numbers given by {h 0,0 = 1, h 1,0 = 1 −χ h (D), h 2,0 = 0, h 1,1 = χ(D) + 2 − 4χ h (D)}, where χ h (D) denotes the Arithmetic genus while χ(D) denotes the Euler characteristic of the divisor D. …”
Get full text
Article -
618
Linear Matrix Inequalities for an Iterative Solution of Robust Output Feedback Control of Systems with Bounded and Stochastic Uncertainty
Published 2021-05-01“…In addition to bounded parameter uncertainty, included in the LMI-based design by means of polytopic uncertainty representations, the recent work of the authors showed that state observers can be optimized with the help of LMIs so that their error dynamics become insensitive against stochastic noise. …”
Get full text
Article -
619
Fault-Tolerant Tracking Control for Linear Parameter-Varying Systems under Actuator and Sensor Faults
Published 2023-11-01“…LPV systems are described through a polytopic LPV representation with measurable gain scheduling functions. …”
Get full text
Article -
620
Non-Linear Behavioral Modeling for DC-DC Converters and Dynamic Analysis of Distributed Energy Systems
Published 2017-01-01“…In this work, either a lookup table or a polytopic structure-based modeling technique is used. …”
Get full text
Article