Guaranteed master for interval-based cosimulation

Coënt, Adrien Le; Sandretto, Julien Alexandre Dit; Chapoutot, Alexandre

doi:10.1007/s10270-020-00858-7

Cited by 2 publications

(2 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[32,33]) instead of sophisticated algorithms such as Lohner's algorithm [27] or interval Taylor series methods [44]. This leads us to a simple implementation of just a few hundred lines of Octave (see [31]).…”

Section: Guaranteed Optimal Controlmentioning

confidence: 99%

“…In[45], they focus, not on the bounding of computation errors during integration as here, but on a formal proof that the objective state y f " θ (0 ă θ ă 1) is reachable in finite time iff L ă L ˚for some threshold value L ˚ 5. The program, called "OSLator"[31], is implemented in Octave. It is composed of 10 functions and a main script totalling 600 lines of code.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Coent

Fribourg

2020

Cyber Physical Systems. Model-Based Design

Self Cite

View full text Add to dashboard Cite

We show that, for any spatially discretized system of reactiondiffusion, the approximate solution given by the explicit Euler timediscretization scheme converges to the exact time-continuous solution, provided that diffusion coefficient be sufficiently large. By "sufficiently large", we mean that the diffusion coefficient value makes the one-sided Lipschitz constant of the reaction-diffusion system negative. We apply this result to solve a finite horizon control problem for a 1D reactiondiffusion example. We also explain how to perform model reduction in order to improve the efficiency of the method.

show abstract

Section: Guaranteed Optimal Controlmentioning

confidence: 99%

mentioning

confidence: 99%

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Coent

Fribourg

2020

Cyber Physical Systems. Model-Based Design

Self Cite

View full text Add to dashboard Cite

show abstract

Reachability analysis of FMI models using data-driven dynamic sensitivity

Bogomolov,

Gomes,

Isasa

et al. 2024

SIMULATION

View full text Add to dashboard Cite

Digital twin is a technology that facilitates a real-time coupling of a cyber–physical system and its virtual representation. The technology is applicable to a variety of domains and facilitates more intelligent and dependable system design and operation, but it relies heavily on the existence of digital models that can be depended upon. In realistic systems, there is no single monolithic digital model of the system. Instead, the system is broken into subsystems, with models exported from different tools corresponding to each subsystem. In this paper, we focus on techniques that can be used for a black-box model, such as the ones implementing the Functional Mock-up Interface (FMI) standard, formal analysis, and verification. We propose two techniques for simulation-based reachability analysis of models. The first one is based on system dynamics, while the second one utilizes dynamic sensitivity analysis to improve the quality of the results. Our techniques employ simulations to obtain the model’s sensitivity with respect to the initial state (or model’s Lipschitz constant) which is then used to compute reachable states of the system. The approaches also provide probabilistic guarantees on the accuracy of the computed reachable sets that are based on simulations. Each technique requires different levels of information about the black-box system, allowing the readers to select the best technique according to the capabilities of the models. The validation experiments have demonstrated that our proposed algorithms compute accurate reachable sets of stable and unstable linear systems. The approach based on dynamic sensitivity provides an accurate and, with respect to system dimensions, more scalable approach, while the sampling-based method allows a flexible trade-off between accuracy and runtime cost. The validation results also show that our approaches are promising even when applied to nonlinear systems, especially, when applied to larger and more complex systems. The reproducibility package with code and data can be found at https://github.com/twright/FMI-Reachability-Reproducibility .

show abstract

Guaranteed master for interval-based cosimulation

Cited by 2 publications

References 38 publications

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

Reachability analysis of FMI models using data-driven dynamic sensitivity

Contact Info

Product

Resources

About