Gregory M. Provan

Orcid: 0000-0003-3678-046X

Affiliations:
  • University College Cork, Department of Computer Science


According to our database1, Gregory M. Provan authored at least 118 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formal Methods for Autonomous Vehicles.
IT Prof., 2024

MATURE: Multistage Throughput Prediction for Adaptive Video Streaming in Cellular Networks.
Proceedings of the 34th edition of the Workshop on Network and Operating System Support for Digital Audio and Video, 2024

2023
Toward Explainable AutoEncoder-Based Diagnosis of Dynamical Systems.
Algorithms, April, 2023

Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks.
IEEE Trans. Control. Syst. Technol., March, 2023

Forensic readiness of industrial control systems under stealthy attacks.
Comput. Secur., 2023

Using Machine Learning Classifiers in SAT Branching [Extended Abstract].
Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Robust Embedded Control using Randomized Switching Algorithms.
Proceedings of the European Control Conference, 2023

2022
Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems.
IEEE Trans. Dependable Secur. Comput., 2022

Quantifying impact on safety from cyber-attacks on cyber-physical systems.
CoRR, 2022

Generating Minimal Controller Sets for Mixing MMAC.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on Robust Reinforcement Learning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning.
Proceedings of the International Conference on Intelligent Data Science Technologies and Applications, 2020

2019
Fault-Tolerant Control for Unseen Faults using Randomized Methods.
Proceedings of the 4th Conference on Control and Fault Tolerant Systems, 2019

2018
Comparison of Control and Cooperation Frameworks for Blended Autonomy.
Proceedings of the 16th European Control Conference, 2018

On-line Reinforcement Learning for Trajectory Following with Unknown Faults.
Proceedings of the Proceedings for the 26th AIAI Irish Conference on Artificial Intelligence and Cognitive Science Trinity College Dublin, 2018

2017
Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016
A General Characterization of Model-Based Diagnosis.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

An Improved State Filter Algorithm for SIR Epidemic Forecasting.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Learning Dynamical Models Using System Motifs.
Proceedings of the 24th Irish Conference on Artificial Intelligence and Cognitive Science, 2016

2015
An efficient decentralized clustering algorithm for aggregation of noisy multi-mean data.
J. Heuristics, 2015

A Framework For Assessing Diagnostics Model Fidelity.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Bayesian Model Selection for Diagnostics.
Proceedings of the Model and Data Engineering - 5th International Conference, 2015

2014
The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization Techniques for 3D Scalar Data.
Int. J. Image Graph., 2014

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics.
Proceedings of the Software Engineering and Formal Methods, 2014

Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition
CoRR, 2013

What is an Optimal Diagnosis?
CoRR, 2013

The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based Uncertainty Visualization Techniques for Volumetric Scalar Data.
Proceedings of the Theory and Practice of Computer Graphics, 2013

Machine-Learning-Based Circuit Synthesis.
Proceedings of the IJCAI 2013, 2013

Toward an Equation-Oriented Framework for Diagnosis of Complex Systems.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

A model-based control method for decentralized calibration of wireless sensor networks.
Proceedings of the American Control Conference, 2013

2012
CodonLogo: a sequence logo-based viewer for codon patterns.
Bioinform., 2012

Analyzing and Visualizing Multivariate Volumetric Scalar Data and Their Uncertainties.
Proceedings of the Theory and Practice of Computer Graphics, 2012

Designing cost-efficient wireless sensor/actuator networks for building control systems.
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids.
Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

Visualizing uncertainty in multi-resolution volumetric data using marching cubes.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

Exploring the Duality in Conflict-Directed Model-Based Diagnosis.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms.
Proceedings of the Theory and Practice of Computer Graphics, 2011

Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Co-design of Wireless Sensor-Actuator Networks for building controls.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
A Benchmark Diagnostic Model Generation System.
IEEE Trans. Syst. Man Cybern. Part A, 2010

Special Issue on Model-Based Diagnostics.
IEEE Trans. Syst. Man Cybern. Part A, 2010

A Model-Based Active Testing Approach to Sequential Diagnosis.
J. Artif. Intell. Res., 2010

Approximate Model-Based Diagnosis Using Greedy Stochastic Search.
J. Artif. Intell. Res., 2010

Reports of the AAAI 2010 Conference Workshops.
AI Mag., 2010

Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation.
Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

WSAN QoS Driven Control Model for Building Operations.
Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

Temporal Model-Based Diagnostics Generation for HVAC Control Systems.
Proceedings of the Theory and Practice of Model Transformations, 2010

Preface.
Proceedings of the Abstraction, 2010

2009
Topological Analysis of Specific Spatial Complex Networks.
Adv. Complex Syst., 2009

Automated Redesign with the General Redesign Engine.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Compositional model-driven design of embedded code for energy-efficient buildings.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Model-driven diagnostics generation for industrial automation.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Solving Strong-Fault Diagnostic Models by Model Relaxation.
Proceedings of the IJCAI 2009, 2009

FRACTAL: Efficient Fault Isolation Using Active Testing.
Proceedings of the IJCAI 2009, 2009

A Comparative Analysis of Specific Spatial Network Topological Models.
Proceedings of the Complex Sciences, 2009

Characterizing the Structural Complexity of Real-World Complex Networks.
Proceedings of the Complex Sciences, 2009

2008
Approximation Techniques for Space-Efficient Compilation in Abductive Inference.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Adding Flexibility to Russian Doll Search.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

An Analysis of Bayesian Network Model-Approximation Techniques.
Proceedings of the ECAI 2008, 2008

Test Generation for Model-Based Diagnosis.
Proceedings of the ECAI 2008, 2008

Generating Application-Specific Benchmark Models for Complex Systems.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Incremental Algorithms for Approximate Compilation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Minimal Diagnoses by Greedy Stochastic Search.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Automated Benchmark Model Generators for Model-Based Diagnostic Inference.
Proceedings of the IJCAI 2007, 2007

On Approximate Knowledge Compilation with Weighted Decision Diagrams.
Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Search Ordering Heuristics for Restarts-Based Constraint Solving.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Generalizing Global Constraints Based on Network Flows.
Proceedings of the Recent Advances in Constraints, 2007

2006
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Analysis of the Complexity of Model-Based Diagnosis.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A Bayesian network framework for stochastic discrete-event control.
Proceedings of the American Control Conference, 2006

Approximate Compilation for Embedded Model-based Reasoning.
Proceedings of the Proceedings, 2006

2005
Approximate Model-Based Diagnosis Using Preference-Based Compilation.
Proceedings of the Abstraction, 2005

2004
Inferential Complexity Control for Model-Based Abduction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
A Novel Framework for Integrating Discrete Event System Control and Diagnosis.
Proceedings of the IJCAI-03, 2003

2002
A Model-Based Diagnosis Framework for Distributed Embedded Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Agent-Based, Distributed Diagnosis for Shipboard Systems.
Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002

On the diagnosability of decentralized, timed discrete event systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Distributed diagnosability properties of discrete event systems.
Proceedings of the American Control Conference, 2002

2001
Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies.
IEEE Micro, 2001

Stochastic System Monitoring and Control.
Proceedings of the Eighth International Workshop on Artificial Intelligence and Statistics, 2001

2000
On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems.
Proceedings of the American Control Conference, 2000

1999
An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components.
AI Commun., 1999

1998
A generic and symbolic model-based diagnostic reasoner with highly scalable properties.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Learning with Probabilistic Representations.
Mach. Learn., 1997

Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference.
J. Artif. Intell. Res., 1997

A Standard Approach for Optimizing Belief Network Inference Using Query DAGs.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

The Effect of Observations on the Complexity of Model-Based Diagnosis.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation.
Artif. Intell., 1996

Why is diagnosis using belief networks insensitive to imprecision in probabilities?
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

Data Mining and Model Simplicity: A Case Study in Diagnosis.
Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), 1996

Efficient Learning of Selective Bayesian Network Classifiers.
Proceedings of the Machine Learning, 1996

1995
Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers.
Proceedings of the Machine Learning, 1995

Learning Bayesian Networks Using Feature Selection.
Proceedings of the Learning from Data, 1995

1994
Tradeoffs in Knowledge-Based Construction of Probabilistic Models.
IEEE Trans. Syst. Man Cybern. Syst., 1994

Knowledge Engineering for Large Belief Networks.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

1993
Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain.
IEEE Trans. Pattern Anal. Mach. Intell., 1993

Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams.
Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

A Lattice-Theoretic Analysis of ATMS Problem Solving.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
The validity of Dempster-Shafer belief functions.
Int. J. Approx. Reason., 1992

1991
Dynamic Network Updating Techniques for Diagnostic Reasoning.
Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

The Utility of Consistency-Based Diagnostic Techniques.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
A logic-based analysis of Dempster-Shafer theory.
Int. J. Approx. Reason., 1990

What is the most likely diagnosis?
Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

An Analysis Of Knowledge Representation Schemes For High Level Vision.
Proceedings of the Computer Vision, 1990

The Computational Complexity of Multiple-Context Truth Maintenance Systems.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System.
Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Complexity analysis of truth maintenance systems with application to high level vision.
PhD thesis, 1988

Solving Diagnostic Problems Using Extended Truth Maintenance Systems.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
Efficiency Analysis of Multiple-Context TMSs in Scene Representation.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987


  Loading...