Engel Lefaucheux

Available identifiers

zbMath Open lefaucheux.engelMaRDI QIDQ832092

List of research outcomes

Publication	Date of Publication	Type
The boundedness and zero isolation problems for weighted automata over nonnegative rationals	2024-12-06	Paper
Porous invariants for linear systems	2024-11-04	Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
Bounding the escape time of a linear dynamical system over a compact semialgebraic set	2024-08-06	Paper
On the Monniaux problem in abstract interpretation	2024-04-19	Paper
Model checking linear dynamical systems under floating-point rounding	2023-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q6134272	2023-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q6168485	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q6168447	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q5874324	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5101350	2022-08-30	Paper
Porous invariants	2022-03-25	Paper
Accurate approximate diagnosis of (controllable) stochastic systems	2022-03-24	Paper
Diagnosis and degradation control for probabilistic systems	2021-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5136302	2020-11-25	Paper
How Fast Can You Escape a Compact Polytope?	2020-01-14	Paper
A tale of two diagnoses in probabilistic systems	2019-12-18	Paper
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis	2019-12-18	Paper
Diagnosability of repairable faults	2018-10-08	Paper
Diagnosis in Infinite-State Probabilistic Systems	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5275374	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2978532	2017-04-25	Paper
Accurate Approximate Diagnosability of Stochastic Systems	2016-04-13	Paper

Research outcomes over time

This page was built for person: Engel Lefaucheux