Alexandre Rocca
YOU?
Author Swipe
View article: Analysis of the implicit Euler time-discretization of passive linear descriptor complementarity systems
Analysis of the implicit Euler time-discretization of passive linear descriptor complementarity systems Open
paper 7269 This article is largely concerned with the time-discretization of descriptor-variable systems coupled to with complementarity constraints. They are named descriptor-variable linear complementarity systems (DVLCS). More speci cal…
View article: Analysis of the implicit Euler time-discretization of passive descriptor-variable linear complementarity systems
Analysis of the implicit Euler time-discretization of passive descriptor-variable linear complementarity systems Open
This article is largely concerned with the time-discretization of descriptor-variable systems coupled to with complementarity constraints. The are named descriptor-variable linear complementarity systems (DVLCS). More speci cally passive D…
View article: Theoretical Modeling of Oral Glucose Tolerance Tests Guides the Interpretation of the Impact of Perinatal Cadmium Exposure on the Offspring’s Glucose Homeostasis
Theoretical Modeling of Oral Glucose Tolerance Tests Guides the Interpretation of the Impact of Perinatal Cadmium Exposure on the Offspring’s Glucose Homeostasis Open
Oral glucose tolerance tests, in which the concentration of glucose is monitored in the circulation over 2 h after ingesting a bolus, probe diabetic or pre-diabetic conditions. The resulting glucose curves inform about glucose turnover, in…
View article: Index-2 hybrid DAE: a case study with well-posedness and numerical analysis
Index-2 hybrid DAE: a case study with well-posedness and numerical analysis Open
In this work, we study differential algebraic equations with constraints defined in a piecewise manner using a conditional statement. Such models classically appear in systems where constraints can evolve in a very small time frame compare…
View article: Index-2 hybrid DAE: a case study with well-posedness and numerical analysis
Index-2 hybrid DAE: a case study with well-posedness and numerical analysis Open
In this work, we study differential algebraic equations with constraints defined in a piece-wise manner using a conditional statement. Such models classically appear in systems where constraints can evolve in a very small time frame compar…
View article: Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations Open
14 pages, 2 figures, 2 tables. Extension of the work in arXiv:1610.07038
View article: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations Open
Floating point error is a drawback of embedded systems implementation that is difficult to avoid. Computing rigorous upper bounds of roundoff errors is absolutely necessary for the validation of critical software. This problem of computing…
View article: Occupation measure methods for modelling and analysis of biological hybrid systems
Occupation measure methods for modelling and analysis of biological hybrid systems Open
Mechanistic models in biology often involve numerous parameters about which\nwe do not have direct experimental information. The traditional approach is to\nfit these parameters using extensive numerical simulations (e.g. by the\nMonte-Car…
View article: Occupation measure methods for modelling and analysis of biological hybrid automata
Occupation measure methods for modelling and analysis of biological hybrid automata Open
Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters using extensive numerical simulations (e.g. by the Monte-Carlo …
View article: Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations Open
Floating point error is an inevitable drawback of embedded systems implementation. Computing rigorous upper bounds of roundoff errors is absolutely necessary to the validation of critical software. This problem is even more challenging whe…