Gregory M. Provan

137 papers A* 24A 19B 6C 12Misc 3Journal 41Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	M ACM Trans. Multim. Comput. Commun. Appl. Darijo Raca, Gregory M. Provan, Ahmed H. Zahran
2025	C	`conf`	Automating Control System Design: Using Language Models for Expert Knowledge in Decentralized Controller Auto-Tuning. DX Marlon J. Ares Milián, Gregory M. Provan, Marcos Quiñones-Grueiro
2025	B	`conf`	Towards Automated Controller Parameter Design in Cyber-Physical Systems: Improving Computational Cost. SMARTCOMP Marlon J. Ares Milián, Gregory M. Provan, Marcos Quiñones-Grueiro
2024	J	`jnl`	Formal Methods for Autonomous Vehicles. IT Prof. Gregory M. Provan
2024	J	`jnl`	Improving Computational Cost of Bayesian Optimization for Controller Tuning with a Multi-stage Tuning Framework. CoRR Marlon J. Ares Milián, Gregory M. Provan, Marcos Quiñones-Grueiro
2024	B	`conf`	MATURE: Multistage Throughput Prediction for Adaptive Video Streaming in Cellular Networks. NOSSDAV Killian Nolan, Darijo Raca, Gregory M. Provan, Ahmed H. Zahran
2023	J	`jnl`	Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks. IEEE Trans. Control. Syst. Technol. Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
2023	J	`jnl`	Forensic readiness of industrial control systems under stealthy attacks. Comput. Secur. Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
2023	—	`conf`	Robust Embedded Control using Randomized Switching Algorithms. ECC Gregory M. Provan, Yves Sohege
2023	J	`jnl`	Toward Explainable AutoEncoder-Based Diagnosis of Dynamical Systems. Algorithms Gregory M. Provan
2023	B	`conf`	Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. SOCS Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan
2022	—	`conf`	Generating Minimal Controller Sets for Mixing MMAC. CDC Gregory M. Provan, Marcos Quiñones-Grueiro, Yves Sohege
2022	J	`jnl`	Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems. IEEE Trans. Dependable Secur. Comput. Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
2022	J	`jnl`	Quantifying impact on safety from cyber-attacks on cyber-physical systems. CoRR Eleftherios E. Vlahakis, Gregory M. Provan, Gordon Werner, Shanchieh Yang, Nikolaos Athanasopoulos
2021	A*	`conf`	A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on Robust Reinforcement Learning. ICRA Yves Sohege, Marcos Quiñones-Grueiro, Gregory M. Provan
2021	J	`jnl`	Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks. CoRR Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
2021	J	`jnl`	Grounds for Suspicion: Physics-based Early Warnings for Stealthy Attacks on Industrial Control Systems. CoRR Mazen Azzam, Liliana Pasquale, Gregory M. Provan, Bashar Nuseibeh
2020	—	`conf`	Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning. IDSTA Riccardo Orizio, Satyanarayana Vuppala, Stylianos Basagiannis, Gregory M. Provan
2019	—	`conf`	Fault-Tolerant Control for Unseen Faults using Randomized Methods. SysTol Gregory M. Provan, Yves Sohege
2018	—	`conf`	Comparison of Control and Cooperation Frameworks for Blended Autonomy. ECC Gregory M. Provan, Yves Sohege
2018	—	`conf`	On-line Reinforcement Learning for Trajectory Following with Unknown Faults. AICS Yves Sohege, Gregory M. Provan
2017	C	`conf`	An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. DX Gregory M. Provan
2017	C	`conf`	Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. DX Yves Sohege, Gregory M. Provan
2016	A	`conf`	A General Characterization of Model-Based Diagnosis. ECAI Gregory M. Provan
2016	A	`conf`	An Improved State Filter Algorithm for SIR Epidemic Forecasting. ECAI Weipéng Huáng, Gregory M. Provan
2016	—	`conf`	Learning Dynamical Models Using System Motifs. AICS Gregory M. Provan
2015	C	`conf`	A Framework For Assessing Diagnostics Model Fidelity. DX Gregory M. Provan, Alexander Feldman
2015	J	`jnl`	An efficient decentralized clustering algorithm for aggregation of noisy multi-mean data. J. Heuristics Séamus Ó Buadhacháin, Gregory M. Provan
2015	C	`conf`	Bayesian Model Selection for Diagnostics. MEDI Gregory M. Provan
2014	—	`conf`	A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. SEFM Workshops Gregory M. Provan
2014	J	`jnl`	A Model-Based Active Testing Approach to Sequential Diagnosis. CoRR Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2014	J	`jnl`	Approximate Model-Based Diagnosis Using Greedy Stochastic Search. CoRR Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2014	A*	`conf`	Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration. AAAI Alexander Feldman, Gregory M. Provan
2014	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief Network Inference. CoRR Adnan Darwiche, Gregory M. Provan
2014	J	`jnl`	The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization Techniques for 3D Scalar Data. Int. J. Image Graph. Ji Ma, David P. Murphy, Gregory M. Provan, S. Cian O'Mathuna, Michael Hayes
2013	J	`jnl`	A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition CoRR Gregory M. Provan
2013	J	`jnl`	A Standard Approach for Optimizing Belief Network Inference using Query DAGs CoRR Adnan Darwiche, Gregory M. Provan
2013	C	`conf`	A model-based control method for decentralized calibration of wireless sensor networks. ACC Séamus Ó Buadhacháin, Gregory M. Provan
2013	J	`jnl`	Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning CoRR Gregory M. Provan
2013	J	`jnl`	An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning CoRR Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders
2013	J	`jnl`	Dynamic Network Updating Techniques For Diagnostic Reasoning CoRR Gregory M. Provan
2013	J	`jnl`	Knowledge Engineering for Large Belief Networks CoRR Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion
2013	A*	`conf`	Machine-Learning-Based Circuit Synthesis. IJCAI Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman
2013	—	`conf`	The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based Uncertainty Visualization Techniques for Volumetric Scalar Data. TPCG Ji Ma, David P. Murphy, Gregory M. Provan, S. Cian O'Mathuna, Michael Hayes
2013	—	`conf`	Toward an Equation-Oriented Framework for Diagnosis of Complex Systems. EOOLT Alexander Feldman, Gregory M. Provan
2013	J	`jnl`	Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams CoRR Gregory M. Provan
2013	J	`jnl`	What is an Optimal Diagnosis? CoRR David L. Poole, Gregory M. Provan
2013	J	`jnl`	Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities? CoRR Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke
2012	—	`conf`	Analyzing and Visualizing Multivariate Volumetric Scalar Data and Their Uncertainties. TPCG Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
2012	J	`jnl`	CodonLogo: a sequence logo-based viewer for codon patterns. Bioinform. Virag Sharma, David P. Murphy, Gregory M. Provan, Pavel V. Baranov
2012	—	`conf`	Designing cost-efficient wireless sensor/actuator networks for building control systems. BuildSys@SenSys Alie El-Din Mady, Gregory M. Provan, Ning Wei
2012	A*	`conf`	Exploring the Duality in Conflict-Directed Model-Based Diagnosis. AAAI Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan
2012	—	`conf`	Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids. GRAPP/IVAPP Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
2012	B	`conf`	Visualizing uncertainty in multi-resolution volumetric data using marching cubes. AVI Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
2011	—	`conf`	Co-design of Wireless Sensor-Actuator Networks for building controls. CDC/ECC Alie El-Din Mady, Gregory M. Provan
2011	—	`conf`	Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms. TPCG Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan
2011	A*	`conf`	Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. AAAI Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
2011	—	`conf`	Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications. EOOLT Gregory M. Provan
2010	J	`jnl`	A Benchmark Diagnostic Model Generation System. IEEE Trans. Syst. Man Cybern. Part A Jun Wang, Gregory M. Provan
2010	J	`jnl`	A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2010	J	`jnl`	Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2010	—	`conf`	Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. SOCO Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
2010	—	`conf`	Preface. Abstraction, Reformulation, and Approximation Gregory M. Provan, Ashish Sabharwal
2010	J	`jnl`	Reports of the AAAI 2010 Conference Workshops. AI Mag. 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 Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
2010	J	`jnl`	Special Issue on Model-Based Diagnostics. IEEE Trans. Syst. Man Cybern. Part A Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas
2010	—	`conf`	Temporal Model-Based Diagnostics Generation for HVAC Control Systems. ICMT@TOOLS Marion Behrens, Gregory M. Provan
2010	—	`conf`	WSAN QoS Driven Control Model for Building Operations. SOCO Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan
2009	—	`conf`	A Comparative Analysis of Specific Spatial Network Topological Models. Complex (2) Jun Wang, Gregory M. Provan
2009	—	`conf`	Automated Redesign with the General Redesign Engine. SARA Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund
2009	—	`conf`	Characterizing the Structural Complexity of Real-World Complex Networks. Complex (1) Jun Wang, Gregory M. Provan
2009	C	`conf`	Compositional model-driven design of embedded code for energy-efficient buildings. INDIN A. Mady, Menouer Boubekeur, Gregory M. Provan
2009	A*	`conf`	FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2009	C	`conf`	Model-driven diagnostics generation for industrial automation. INDIN Marion Behrens, Gregory M. Provan, Menouer Boubekeur, A. Mady
2009	A*	`conf`	Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2009	J	`jnl`	Topological Analysis of Specific Spatial Complex Networks. Adv. Complex Syst. Jun Wang, Gregory M. Provan
2008	—	`conf`	Adding Flexibility to Russian Doll Search. ICTAI (1) Margarita Razgon, Gregory M. Provan
2008	A	`conf`	An Analysis of Bayesian Network Model-Approximation Techniques. ECAI Adamo Santana, Gregory M. Provan
2008	Misc	`conf`	Approximation Techniques for Space-Efficient Compilation in Abductive Inference. ISAIM Gregory M. Provan
2008	A*	`conf`	Computing Minimal Diagnoses by Greedy Stochastic Search. AAAI Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2008	A*	`conf`	Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. AAAI Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2008	A*	`conf`	Generating Application-Specific Benchmark Models for Complex Systems. AAAI Jun Wang, Gregory M. Provan
2008	A*	`conf`	Incremental Algorithms for Approximate Compilation. AAAI Alberto Venturini, Gregory M. Provan
2008	A	`conf`	Test Generation for Model-Based Diagnosis. ECAI Gregory M. Provan
2007	—	`conf`	Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
2007	A*	`conf`	Automated Benchmark Model Generators for Model-Based Diagnostic Inference. IJCAI Gregory M. Provan, Jun Wang
2007	—	`conf`	Generalizing Global Constraints Based on Network Flows. CSCLP Igor Razgon, Barry O'Sullivan, Gregory M. Provan
2007	Misc	`conf`	On Approximate Knowledge Compilation with Weighted Decision Diagrams. IC-AI Olga Heling-Tveretina, Gregory M. Provan
2007	Misc	`conf`	Search Ordering Heuristics for Restarts-Based Constraint Solving. FLAIRS Margarita Razgon, Barry O'Sullivan, Gregory M. Provan
2006	C	`conf`	A Bayesian network framework for stochastic discrete-event control. ACC Gregory M. Provan
2006	A	`conf`	An Empirical Analysis of the Complexity of Model-Based Diagnosis. ECAI Gregory M. Provan
2006	A*	`conf`	Approximate Compilation for Embedded Model-based Reasoning. AAAI Barry O'Sullivan, Gregory M. Provan
2006	B	`conf`	Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS Gregory M. Provan
2005	—	`conf`	Approximate Model-Based Diagnosis Using Preference-Based Compilation. SARA Gregory M. Provan
2004	A*	`conf`	Inferential Complexity Control for Model-Based Abduction. KR Gregory M. Provan
2003	A*	`conf`	A Novel Framework for Integrating Discrete Event System Control and Diagnosis. IJCAI Gregory M. Provan
2002	A*	`conf`	A Model-Based Diagnosis Framework for Distributed Embedded Systems. KR Gregory M. Provan
2002	—	`conf`	Agent-Based, Distributed Diagnosis for Shipboard Systems. BASYS Gregory M. Provan, Yi-Liang Chen
2002	C	`conf`	Distributed diagnosability properties of discrete event systems. ACC Gregory M. Provan
2002	—	`conf`	On the diagnosability of decentralized, timed discrete event systems. CDC Gregory M. Provan
2001	J	`jnl`	Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies. IEEE Micro Gregory M. Provan, Yi-Liang Chen
2001	A	`conf`	Stochastic System Monitoring and Control. AISTATS Gregory M. Provan
2000	C	`conf`	Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems. ACC Gregory M. Provan, Yi-Liang Chen
2000	—	`conf`	On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results. CDC Gregory M. Provan, Yi-Liang Chen
1999	J	`jnl`	An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components. AI Commun. Gregory M. Provan, David Glover
1998	B	`conf`	A generic and symbolic model-based diagnostic reasoner with highly scalable properties. SMC Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl
1997	A	`conf`	A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI Adnan Darwiche, Gregory M. Provan
1997	J	`jnl`	Learning with Probabilistic Representations. Mach. Learn. Pat Langley, Gregory M. Provan, Padhraic Smyth
1997	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference CoRR Adnan Darwiche, Gregory M. Provan
1997	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. J. Artif. Intell. Res. Adnan Darwiche, Gregory M. Provan
1997	—	`conf`	The Effect of Observations on the Complexity of Model-Based Diagnosis. AAAI/IAAI Adnan Darwiche, Gregory M. Provan
1996	A*	`conf`	Data Mining and Model Simplicity: A Case Study in Diagnosis. KDD Gregory M. Provan, Moninder Singh
1996	A*	`conf`	Efficient Learning of Selective Bayesian Network Classifiers. ICML Moninder Singh, Gregory M. Provan
1996	A	`conf`	Query DAGs: A practical paradigm for implementing belief-network inference. UAI Adnan Darwiche, Gregory M. Provan
1996	J	`jnl`	The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation. Artif. Intell. Malcolm Pradhan, Max Henrion, Gregory M. Provan, Brendan Del Favero, Kurt Huang
1996	A	`conf`	Why is diagnosis using belief networks insensitive to imprecision in probabilities? UAI Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke
1995	A*	`conf`	A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers. ICML Moninder Singh, Gregory M. Provan
1995	A	`conf`	Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. UAI Gregory M. Provan
1995	A	`conf`	Learning Bayesian Networks Using Feature Selection. AISTATS Gregory M. Provan, Moninder Singh
1994	A	`conf`	An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. UAI Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders
1994	A	`conf`	Knowledge Engineering for Large Belief Networks. UAI Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion
1994	J	`jnl`	Tradeoffs in Knowledge-Based Construction of Probabilistic Models. IEEE Trans. Syst. Man Cybern. Syst. Gregory M. Provan
1993	C	`conf`	A Lattice-Theoretic Analysis of ATMS Problem Solving. ECSQARU Teow-Hin Ngair, Gregory M. Provan
1993	J	`jnl`	Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain. IEEE Trans. Pattern Anal. Mach. Intell. Gregory M. Provan, John R. Clarke
1993	A	`conf`	Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. UAI Gregory M. Provan
1992	J	`jnl`	The validity of Dempster-Shafer belief functions. Int. J. Approx. Reason. Gregory M. Provan
1991	A*	`conf`	An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. IJCAI Colin J. H. McDiarmid, Gregory M. Provan
1991	A	`conf`	Dynamic Network Updating Techniques for Diagnostic Reasoning. UAI Gregory M. Provan
1991	A*	`conf`	The Utility of Consistency-Based Diagnostic Techniques. KR Gregory M. Provan, David L. Poole
1990	J	`jnl`	A logic-based analysis of Dempster-Shafer theory. Int. J. Approx. Reason. Gregory M. Provan
1990	A*	`conf`	An Analysis Of Knowledge Representation Schemes For High Level Vision. ECCV Gregory M. Provan
1990	A	`conf`	The Computational Complexity of Multiple-Context Truth Maintenance Systems. ECAI Gregory M. Provan
1990	A	`conf`	What is the most likely diagnosis? UAI David L. Poole, Gregory M. Provan
1989	A*	`conf`	An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. IJCAI Gregory M. Provan
1989	A	`conf`	The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System. UAI Gregory M. Provan
1988	—	`—`	Complexity analysis of truth maintenance systems with application to high level vision. Gregory M. Provan
1988	A	`conf`	Solving Diagnostic Problems Using Extended Truth Maintenance Systems. ECAI Gregory M. Provan
1987	A*	`conf`	Efficiency Analysis of Multiple-Context TMSs in Scene Representation. AAAI Gregory M. Provan