344 citations
- D. Chablat2 profiles36 · h 36
- Damien Chablat3 profiles17 · h 3
- Richard Dufour4 profiles16 · h 17
- S. Marx14 · h 16
- Diana Mateus12 · h 28
- Florian Boudin2 profiles9 · h 19
- Mathieu Lagrange3 profiles8 · h 24
- Vincent Labatut2 profiles8 · h 23
- Vincent Lostanlen2 profiles8 · h 11
- B. Daille7 · h 24
- C. Vaida7 · h 22
- D. Lime7 · h 25
- Nantes UniversitéFR236 papers
- Centre National de la Recherche ScientifiqueFR94 papers
- École Centrale de NantesFR70 papers
- IMT AtlantiqueFR37 papers
- Institut national de recherche en sciences et technologies du numériqueFR12 papers
- Université de NantesFR12 papers
- Laboratoire Informatique d'AvignonFR10 papers
- Université Paris-SaclayFR9 papers
- Centre Hospitalier Universitaire de NantesFR8 papers
- Japanese-French Laboratory for InformaticsJP7 papers
- Sorbonne UniversitéFR7 papers
- Universitat Pompeu FabraES7 papers
14 papers · 1 filter
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
Daisuke Ishii, Alexandre Goldsztejn
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis t…
Sound Event Detection in Synthetic Audio: Analysis of the DCASE 2016 Task Results
Grégoire Lafay, Emmanouil Benetos, Mathieu Lagrange
As part of the 2016 public evaluation challenge on Detection and Classification of Acoustic Scenes and Events (DCASE 2016), the second task focused on evaluating sound event detect…
Un résultat intrigant en commande sans modèle
Cédric Join, Emmanuel Delaleau, Michel Fliess +1
An elementary mathematical example proves, thanks to the Routh-Hurwitz criterion, a result that is intriguing with respect to today's practical understanding of model-free control,…
Mastering Heterogeneous Behavioural Models
J. Christian Attiogbé
Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering…
Data Analysis in Multimedia Quality Assessment: Revisiting the Statistical Tests
Manish Narwaria, Lukas Krasula, Patrick Le Callet
Assessment of multimedia quality relies heavily on subjective assessment, and is typically done by human subjects in the form of preferences or continuous ratings. Such data is cru…
Reachability in Parametric Interval Markov Chains using Constraints
Anicet Bart, Benoit Delahaye, Didier Lime +2
Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the…