Engel Lefaucheux

MaRDI QIDQ832092zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachability in dynamical systems with rounding	2026-03-23	Paper
The boundedness and zero isolation problems for weighted automata over nonnegative rationals	2024-12-06	Paper
Porous invariants for linear systems Formal Methods in System Design	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
scientific article; zbMATH DE number 7730630 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
scientific article; zbMATH DE number 7724240 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
scientific article; zbMATH DE number 7724206 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
scientific article; zbMATH DE number 7650934 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
scientific article; zbMATH DE number 7577581 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577581 (Why is no real title available?)	2022-08-30	Paper
Porous invariants (available as arXiv preprint)	2022-03-25	Paper
Accurate approximate diagnosis of (controllable) stochastic systems	2022-03-24	Paper
Diagnosis and degradation control for probabilistic systems Discrete Event Dynamic Systems	2021-01-22	Paper
Probabilistic disclosure: maximisation vs. minimisation	2020-11-25	Paper
How Fast Can You Escape a Compact Polytope? (available as arXiv preprint)	2020-01-14	Paper
A tale of two diagnoses in probabilistic systems Information and Computation	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 Discrete Event Dynamic Systems	2018-10-08	Paper
Diagnosis in infinite-state probabilistic systems	2018-03-21	Paper
Simple priced timed games are not that simple (available as arXiv preprint)	2017-07-13	Paper
scientific article; zbMATH DE number 6707784 (Why is no real title available?)	2017-04-25	Paper
Accurate approximate diagnosability of stochastic systems Language and Automata Theory and Applications	2016-04-13	Paper

Research outcomes over time

This page was built for person: Engel Lefaucheux