Gregory M. Provan

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 17

Top Venues

CoRR

AICS

ECC

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Gregory M. Provan
Formal Methods for Autonomous Vehicles. IT Prof. 26 (1) (2024)
Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
Forensic readiness of industrial control systems under stealthy attacks. Comput. Secur. 125 (2023)
Gregory M. Provan
Toward Explainable AutoEncoder-Based Diagnosis of Dynamical Systems. Algorithms 16 (4) (2023)
Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan
Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. SOCS (2023)
Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks. IEEE Trans. Control. Syst. Technol. 31 (2) (2023)
Gregory M. Provan, Yves Sohege
Robust Embedded Control using Randomized Switching Algorithms. ECC (2023)
Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Gregory M. Provan, Marcos Quiñones-Grueiro, Yves Sohege
Generating Minimal Controller Sets for Mixing MMAC. CDC (2022)
Yves Sohege, Marcos Quiñones-Grueiro, Gregory M. Provan
A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on Robust Reinforcement Learning. ICRA (2021)
Gregory M. Provan, Yves Sohege
Fault-Tolerant Control for Unseen Faults using Randomized Methods. SysTol (2019)
Yves Sohege, Gregory M. Provan
On-line Reinforcement Learning for Trajectory Following with Unknown Faults. AICS (2018)
Gregory M. Provan, Yves Sohege
Comparison of Control and Cooperation Frameworks for Blended Autonomy. ECC (2018)
Yves Sohege, Gregory M. Provan
Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. DX (2017)
Gregory M. Provan
An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. DX (2017)
Gregory M. Provan
A General Characterization of Model-Based Diagnosis. ECAI (2016)
Gregory M. Provan
Learning Dynamical Models Using System Motifs. AICS (2016)
Weipéng Huáng, Gregory M. Provan
An Improved State Filter Algorithm for SIR Epidemic Forecasting. ECAI (2016)
Séamus Ó Buadhacháin, Gregory M. Provan
An efficient decentralized clustering algorithm for aggregation of noisy multi-mean data. J. Heuristics 21 (2) (2015)
Gregory M. Provan
Bayesian Model Selection for Diagnostics. MEDI (2015)
Gregory M. Provan, Alexander Feldman
A Framework For Assessing Diagnostics Model Fidelity. DX (2015)
Adnan Darwiche, Gregory M. Provan
Query DAGs: A Practical Paradigm for Implementing Belief Network Inference. CoRR (2014)
Alexander Feldman, Gregory M. Provan
Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration. AAAI (2014)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. CoRR (2014)
Ji Ma, David P. Murphy, Gregory M. Provan, S. Cian O'Mathuna, Michael Hayes
The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization Techniques for 3D Scalar Data. Int. J. Image Graph. 14 (4) (2014)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
A Model-Based Active Testing Approach to Sequential Diagnosis. CoRR (2014)
Gregory M. Provan
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. SEFM Workshops (2014)
Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion
Knowledge Engineering for Large Belief Networks CoRR (2013)
David L. Poole, Gregory M. Provan
What is an Optimal Diagnosis? CoRR (2013)
Gregory M. Provan
Dynamic Network Updating Techniques For Diagnostic Reasoning CoRR (2013)
Séamus Ó Buadhacháin, Gregory M. Provan
A model-based control method for decentralized calibration of wireless sensor networks. ACC (2013)
Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke
Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities? CoRR (2013)
Gregory M. Provan
Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning CoRR (2013)
Alexander Feldman, Gregory M. Provan
Toward an Equation-Oriented Framework for Diagnosis of Complex Systems. EOOLT (2013)
Gregory M. Provan
Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams CoRR (2013)
Adnan Darwiche, Gregory M. Provan
A Standard Approach for Optimizing Belief Network Inference using Query DAGs CoRR (2013)
Ji Ma, David P. Murphy, Gregory M. Provan, S. Cian O'Mathuna, Michael Hayes
The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based Uncertainty Visualization Techniques for Volumetric Scalar Data. TPCG (2013)
Gregory M. Provan
A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition CoRR (2013)
Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders
An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning CoRR (2013)
Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman
Machine-Learning-Based Circuit Synthesis. IJCAI (2013)
Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids. GRAPP/IVAPP (2012)
Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan
Exploring the Duality in Conflict-Directed Model-Based Diagnosis. AAAI (2012)
Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
Visualizing uncertainty in multi-resolution volumetric data using marching cubes. AVI (2012)
Virag Sharma, David P. Murphy, Gregory M. Provan, Pavel V. Baranov
CodonLogo: a sequence logo-based viewer for codon patterns. Bioinform. 28 (14) (2012)
Alie El-Din Mady, Gregory M. Provan, Ning Wei
Designing cost-efficient wireless sensor/actuator networks for building control systems. BuildSys@SenSys (2012)
Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
Analyzing and Visualizing Multivariate Volumetric Scalar Data and Their Uncertainties. TPCG (2012)
Alie El-Din Mady, Gregory M. Provan
Co-design of Wireless Sensor-Actuator Networks for building controls. CDC/ECC (2011)
Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. AAAI (2011)
Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms. TPCG (2011)
Gregory M. Provan
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications. EOOLT (2011)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. 39 (2010)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. 38 (2010)
David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
Reports of the AAAI 2010 Conference Workshops. AI Mag. 31 (4) (2010)
Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan
WSAN QoS Driven Control Model for Building Operations. SOCO (2010)
Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. SOCO (2010)
Marion Behrens, Gregory M. Provan
Temporal Model-Based Diagnostics Generation for HVAC Control Systems. ICMT@TOOLS (2010)
Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas
Special Issue on Model-Based Diagnostics. IEEE Trans. Syst. Man Cybern. Part A 40 (5) (2010)
Jun Wang, Gregory M. Provan
A Benchmark Diagnostic Model Generation System. IEEE Trans. Syst. Man Cybern. Part A 40 (5) (2010)
Gregory M. Provan, Ashish Sabharwal
Preface. Abstraction, Reformulation, and Approximation (2010)
Jun Wang, Gregory M. Provan
Topological Analysis of Specific Spatial Complex Networks. Adv. Complex Syst. 12 (1) (2009)
M. Behrens, Gregory M. Provan, Menouer Boubekeur, A. Mady
Model-driven diagnostics generation for industrial automation. INDIN (2009)
Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund
Automated Redesign with the General Redesign Engine. SARA (2009)
Jun Wang, Gregory M. Provan
Characterizing the Structural Complexity of Real-World Complex Networks. Complex (1) (2009)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI (2009)
Jun Wang, Gregory M. Provan
A Comparative Analysis of Specific Spatial Network Topological Models. Complex (2) (2009)
A. Mady, Menouer Boubekeur, Gregory M. Provan
Compositional model-driven design of embedded code for energy-efficient buildings. INDIN (2009)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI (2009)
Gregory M. Provan
Approximation Techniques for Space-Efficient Compilation in Abductive Inference. ISAIM (2008)
Gregory M. Provan
Test Generation for Model-Based Diagnosis. ECAI (2008)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. AAAI (2008)
Alberto Venturini, Gregory M. Provan
Incremental Algorithms for Approximate Compilation. AAAI (2008)
Jun Wang, Gregory M. Provan
Generating Application-Specific Benchmark Models for Complex Systems. AAAI (2008)
Adamo Santana, Gregory M. Provan
An Analysis of Bayesian Network Model-Approximation Techniques. ECAI (2008)
Margarita Razgon, Gregory M. Provan
Adding Flexibility to Russian Doll Search. ICTAI (1) (2008)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Computing Minimal Diagnoses by Greedy Stochastic Search. AAAI (2008)
Olga Heling-Tveretina, Gregory M. Provan
On Approximate Knowledge Compilation with Weighted Decision Diagrams. IC-AI (2007)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA (2007)
Igor Razgon, Barry O'Sullivan, Gregory M. Provan
Generalizing Global Constraints Based on Network Flows. CSCLP (2007)
Margarita Razgon, Barry O'Sullivan, Gregory M. Provan
Search Ordering Heuristics for Restarts-Based Constraint Solving. FLAIRS Conference (2007)
Gregory M. Provan, Jun Wang
Automated Benchmark Model Generators for Model-Based Diagnostic Inference. IJCAI (2007)
Gregory M. Provan
An Empirical Analysis of the Complexity of Model-Based Diagnosis. ECAI (2006)
Barry O'Sullivan, Gregory M. Provan
Approximate Compilation for Embedded Model-based Reasoning. AAAI (2006)
Gregory M. Provan
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS (2006)
Gregory M. Provan
Approximate Model-Based Diagnosis Using Preference-Based Compilation. SARA (2005)
Gregory M. Provan
Inferential Complexity Control for Model-Based Abduction. KR (2004)
Gregory M. Provan
A Novel Framework for Integrating Discrete Event System Control and Diagnosis. IJCAI (2003)
Gregory M. Provan, Yi-Liang Chen
Agent-Based, Distributed Diagnosis for Shipboard Systems. BASYS (2002)
Gregory M. Provan
A Model-Based Diagnosis Framework for Distributed Embedded Systems. KR (2002)
Gregory M. Provan, Yi-Liang Chen
Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies. IEEE Micro 21 (5) (2001)
Gregory M. Provan
Stochastic System Monitoring and Control. AISTATS (2001)
Gregory M. Provan, Yi-Liang Chen
Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems. ACC (2000)
Gregory M. Provan, Yi-Liang Chen
On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results. CDC (2000)
Gregory M. Provan, David Glover
An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components. AI Commun. 12 (1-2) (1999)
Adnan Darwiche, Gregory M. Provan
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. J. Artif. Intell. Res. 6 (1997)
Adnan Darwiche, Gregory M. Provan
A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI (1997)
Adnan Darwiche, Gregory M. Provan
The Effect of Observations on the Complexity of Model-Based Diagnosis. AAAI/IAAI (1997)
Adnan Darwiche, Gregory M. Provan
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference CoRR (1997)
Pat Langley, Gregory M. Provan, Padhraic Smyth
Learning with Probabilistic Representations. Mach. Learn. 29 (2-3) (1997)
Malcolm Pradhan, Max Henrion, Gregory M. Provan, Brendan Del Favero, Kurt Huang
The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation. Artif. Intell. 85 (1-2) (1996)
Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke
Why is diagnosis using belief networks insensitive to imprecision in probabilities? UAI (1996)
Moninder Singh, Gregory M. Provan
Efficient Learning of Selective Bayesian Network Classifiers. ICML (1996)

Gregory M. Provan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gregory M. Provan