72 citations
- Université Grenoble AlpesFR8 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR2 papers
- Universitatea Națională de Știință și Tehnologie Politehnica BucureștiRO2 papers
- University of GenevaCH2 papers
- École Centrale de LilleFR1 paper
- École Normale Supérieure de LyonFR1 paper
- Hautes Études d'IngénieurFR1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
- Institute of Natural ScienceKP1 paper
- Instituto Tecnológico de AeronáuticaBR1 paper
14 papers
Agent-Based Modeling of Systems of Systems
Jean-Baptiste Soyez, Gildas Morvan, Rochdi Merzouki +1
This paper deals with the generic modeling of systems of systems (SoSs) using agent-based modeling. SoSs are large-scale systems, including numerous-possibly heterogeneous-interact…
Proof Assistants for Teaching: a Survey
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
In parallel to the ever-growing usage of mechanized proofs in diverse areas of mathematics and computer science, proof assistants are used more and more for education. This paper s…
An ANN-Enhanced Approach for Flatness-Based Constrained Control of Nonlinear Systems
Huu-Thinh Do, Ionela Prodan, Florin Stoican
Neural networks have proven practical for a synergistic combination of advanced control techniques. This work analyzes the implementation of rectified linear unit neural networks t…
Existence Result For a Model Coupling a Quasi-Linear Parabolic Equation and a Linear Hyperbolic System
Djamal Ait-Akli
We prove globally-in-time existence of solution for a problem coupling the linear Lamé system and the quasi-linear Stokes equation. A solution of this global coupled problem is vie…
Identification of complex network topologies through delayed mutual information
Pierre-Alain Toupance, Bastien Chopard, Laurent Lef èvre
The definitions of delayed mutual information and multi-information are recalled. It is shown how the delayed mutual information may be used to reconstruct the interaction topology…
Controllability of the Voter Model: an information theoretic approach
Pierre-Alain Toupance, Laurent Lefèvre, Bastien Chopard
We address the link between the controllability or observability of a stochastic complex system and concepts of information theory. We show that the most influential degrees of fre…