Philippe Dague

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
A semantics for Boolean networks consistent with regulatory threshold constraints Journal of Theoretical Biology	2026-03-25	Paper
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems Discrete Event Dynamic Systems	2025-10-22	Paper
Diagnosis and supervision: model-based approaches	2024-09-11	Paper
Towards a qualitative theory of the interruption of eating behavior change Journal of Theoretical Biology	2024-04-03	Paper
Abstractions Refinement for Hybrid Systems Diagnosability Analysis Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems	2020-08-20	Paper
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures IEEE Transactions on Automatic Control	2017-07-27	Paper
Spacecraft actuator diagnosis with principal component analysis: application to the rendez-vous phase of the Mars sample return mission Journal of Control Science and Engineering	2015-11-19	Paper
Diagnosability Analysis of Discrete Event Systems with Autonomous Components	2011-05-11	Paper
Distributed Consistency-Based Diagnosis Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper

Research outcomes over time

This page was built for person: Philippe Dague