A5042750062- Modeling and Simulation Systems
- Simulation Techniques and Applications
- Control and Stability of Dynamical Systems
- Model-Driven Software Engineering Techniques
- Fatigue and fracture mechanics
- Systems Engineering Methodologies and Applications
- Modeling, Simulation, and Optimization
- Manufacturing Process and Optimization
- Gear and Bearing Dynamics Analysis
- Advanced Software Engineering Methodologies
- Robotic Mechanisms and Dynamics
- Meteorological Phenomena and Simulations
- Structural Response to Dynamic Loads
- Mechanical stress and fatigue analysis
- Mechanical Engineering and Vibrations Research
- Formal Methods in Verification
- Surgical Simulation and Training
- Engineering Structural Analysis Methods
- Migration, Identity, and Health
- Minimally Invasive Surgical Techniques
- Safety Systems Engineering in Autonomy
- Advanced Thermodynamics and Statistical Mechanics
- Advanced Database Systems and Queries
- Protein Structure and Dynamics
- Anatomy and Medical Technology
Électricité de France (France)
2011-2023
Laboratoire Pluridisciplinaire de Recherche en Ingénierie des Systèmes, Mécanique et Energétique
2021
Gouvernance, Risque, Environnement, Développement
2019
Institut Supérieur de Mécanique de Paris
2019
Laboratory for Research on Enterprise and Decisions
2018
Sorbonne Université
2010-2014
Centre National de la Recherche Scientifique
2007-2014
Institut Jean Le Rond d'Alembert
2010-2014
Laboratoire Ampère
2006-2012
Université Claude Bernard Lyon 1
2007-2011
Abstract The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature CPS that involves many heterogeneous components, which are often designed developed by organizations belonging different engineering domains, it is difficult manage, trace verify properties, requirements constraints throughout lifecycle using classical techniques. In this context, paper presents an integrated solution formally define...
This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification.The approach is implemented the open source Modelica_Requirements library.It requires extensions language, that have been prototypically Dymola and Open-Modelica software.The design of library based FOrmal Requirement Modeling Language (FORM-L) defined by EDF, industrial use cases from EDF Dassault Aviation.It uses 2-and 3valued temporal logic describe requirements.
Modeling and Simulation methods, tools techniques aim at supporting the different phases of lifecycle modern systems, going from requirements analysis to system design operation. However, their effective application requires investigating several aspects such as formal modeling binding automated composition between heterogeneous models (e.g. models, architectural behavioral models). In this context, paper presents a new requirement language based on temporal logic, called FORM-L, software...
After having introduced several theoretical concepts to formally describe a system property; the development of dedicated library is explained and illustrated on an industrial example taken from aeronautics domain. Some checks properties are thus performed by co-simulating behavioral models. Finally; some extensions Modelica language advocated in order improve applicability range efficiency modeling for complex systems; especially increase rigor their validations enabling formal proofs.
The efficient verification of complex cyber-physical systems such as power plants or grids requires to use model checking simulation early possible in the engineering process. However, formal methods are difficult due their level abstraction far from natural language. To alleviate this difficulty, a new high-level requirements modelling language named FORM-L with precise syntax and semantics adapted CPS still close was especially conceived for practitioners. This paper presents temporal ETL...
Deviations from Miner’s linear law of cumulative damage have been observed and modeled many times for the fatigue metals, but almost no analogous studies performed elastomers. The first aim this paper is to present a simple phenomenological model, applicable any type material able quantitatively reproduce such deviations. This model based on continuum mechanics relates number cycles through some suitable evolution law, in which derivative expressed as non-factorizable function instantaneous...
Today's large distributed energy cyber-physical systems such as power networks with multiple production units are becoming more and complex due to the increasing share of renewables. They characterized by long-lived lifecycles that can even be eternal electric grids where design operational phases overlap. These exhibit dynamic configurations involve several interacting disciplines manifold stakeholders can, at any time, take part in system or leave it. A pressing need has emerged for means...
Three well established techniques for handling uncertainties using physical models are presented: data reconciliation; propagation of and interpolation techniques. Then; the requirements these in Modelica environments given. They apply to language itself: how specify uncertainty problem be solved directly model. also model processing: what pieces information that must automatically extracted from provided standard algorithms compute uncertainties.
Verifying that complex cyber-physical systems such as power plants satisfy the requirements ensure their proper operation, in particular with respect to safety, dependability, and environmental regulations, is difficult due large number of potential situations be explored terms initiating events chain consequences on behavior system. This paper presents a new framework for supporting methodology aims at reconciling innovation (ability explore many different solutions) safety avoid...
This paper presents work resulting from a collaboration between obstetricians and researchers. It shows the benefits use of an instrumented childbirth simulator for training midwives. new tool allows to surpass constraints linked traditional in ward. is designed complete used teaching hospitals. Such residents acquire beginning experience before ward but it also instructors improve gestures without constraints. A clinical study forceps blades placement gesture with several who trained on...
Verifying that complex systems such as power plants satisfy the requirements ensure their proper operation, in particular with respect to safety, dependability and environmental regulations, is difficult due large number of potential situations be explored terms initiating events chain consequences on behavior system. The paper presents a new framework for supporting methodology aims at reconciling innovation (ability modify system) safety comply regulatory requirements). general principle...
Calibration can be performed through various methods. A classical way to do so with Modelica models is by model inversion. The major inconvenience of this method, in addition potential convergence problems for complex models, that it necessary have exactly the same number measurements as parameters calibrated, which not often case practice.
The notion of essential orders was first introduced for the handling decoupling problems. This paper focuses more on their interpretation, namely fact that each order corresponds to highest time-differentiation a specific output appearing in inverse model. During modeling, this can particular be useful checking whether specifications are appropriate structure given aim is define two procedures graphically determine directly from bond graph (BG) model linear time-invariant system. Their...
The infinite structure of linear time-invariant systems has been principally used to solve control problems. Nevertheless, this system characterization appears interesting in the design and sizing mechatronic as well. Indeed, based on bond graph language inverse modelling, a methodology already developed for according energy dynamic criteria. One novelties is its structural analysis step. This step enables properties be deduced helps formulation specifications. aim paper add new graphical...
In a context of growing societal awareness on the carbon footprint and changing energy landscape, we need to rethink architecture future systems using new dedicated approaches. Technology advances have shown relevance smart operation multienergy cyber-physical (ME-CPS) requiring strong cooperation between all players. However, in practice, different assets that make up ME-CPS are operated by independent entities with objectives perspectives mind. A methodology is introduced puts stakeholders...