|
| |
 |
Paul Stack, Karsten Menzel, Menouer Boubekeur, Weiping Song, Mateo Burillo, Rosta Spinar and Essa Jafer,
"Maintenance
Middleware for Provision of Building Performance Data",
8th European Conference on Product & Process Modelling (ECPPM 2010)
, Ireland,
September 14-16, 2010.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2009
|
|
|
|
|
|
|
Alexander Feldman, Gregory Provan and Arjan van Gemund,
"Computing Multiple Minimal Diagnoses", Proc. International Conf. on Prognostics and Health Management (PHM'09)
, July, 2009. |
|
|
|
|
|
|
|
|
|
|
|
A. Mady, M. Boubekeur, G. Provan, Compositional Model-Driven Design of Embedded Code
for Energy-Efficient Buildings, Proc. 7th IEEE
International Conference on Industrial Informatics, Cardiff, UK, 24-26 June, 2009.
|
|
|
|
|
|
|
|
A. Mady, M. Boubekeur, G. Provan, Integrated Simulation Platform for Optimized Building Operations,
Proc. International Conference on Intelligent Building and Management (ICIBM 2009), 17-19 April 2009, Singapore.
|
|
Jun Wang and Gregory Provan,
Characterizing the Structural
Complexity of Real-world Complex Networks, Proceedings of the International Conference on Complex Sciences: Theory and Applications (Complex-2009), Shanghai, China, Feb. 2009.
|
|
Jun Wang and Gregory Provan,
A Comparative Analysis of Specific Spatial Network Topological Models, Proceedings of the International Conference on Complex Sciences: Theory and Applications (Complex-2009), Shanghai, China, Feb. 2009.
|
|
"Topological Analysis of
Specific Spatial Complex Networks", Advances in Complex
Systems, Vol. 12, No. 1 (2009) 1–27. (J. Wang and G. Provan). |
|
"Integrated
stoichiometric,
thermodynamic and kinetic modelling of steady state metabolism", to appear,
Biophysical Journal, (R. Fleming, I. Thiele, G. Provan, B. Palsson,
H. Nasheuer). |
|
"Approximate
Model-Based Diagnosis using Greedy Stochastic Search", J. AI Research,
A. Feldman, G. Provan, A. van Gemund. |
|
"A
Benchmark Diagnostic Model Generation System",
IEEE Transactions on Systems,
Man, and Cybernetics A,
Jun Wang and Gregory Provan. |
|
"Adding
Flexibility to Russian Doll Search", Proc. ICTAI, M. Razgon and G. Provan, Nov. 2008. |
|
"A
Framework and Algorithm for Model-Based Active Testing",
Proc. Conf. on Prognostics and Health Monitoring, A. Feldman, G. Provan, and
A. van Gemund,
October, 2008. |
|
"An
Analysis of Bayesian Network Model-Approximation Techniques", Proc. European Conf. on AI,
A. Santana and G. Provan, July 2008. |
|
"Test
Generation for Model-Based Diagnosis", Proc. European Conf. on AI,
July 2008. |
|
"Generating
Application-Specific Benchmark Models for Complex Systems", Proc. AAAI, Jun Wang and Gregory Provan, July 2008. |
|
"Computing
Observation Vectors for Max-Fault-Min-Cardinality Diagnoses",
Proc. AAAI,
Alexander Feldman, Gregory
Provan, and Arjan van Gemund, July
2008. |
|
"Computing
Minimal Diagnoses by Greedy Stochastic Search",
Alexander Feldman, Gregory
Provan, and Arjan van Gemund,
in Proc. AAAI, July 2008. |
|
"Incremental
Algorithms for Approximate Compilation”, A. Venturini and G. Provan, Proc. AAAI, July 2008. |
|
"Embedded
Diagnosis using Approximate Classifiers", Proc. IFAC World Congress,
Seoul, Korea, July 2008. |
|
"Automated
Model Generation for Complex Systems", Jun Wang and Gregory Provan,
Proc. Conf. on Modeling, Identification and Control, Innsbruck,
Austria, February 2008. |
|
"Approximation
Techniques for Space-Efficient Compilation in Abductive Inference",
Proc. Int’l Symposium on AI in Mathematics, Ft. Lauderdale, USA, January
2008. |
|
"Generalizing
Global Constraints Based on Network Flows", Recent Advances in
Constraints 2007, (I. Razgon, B. O'Sullivan, G. Provan). |
|
"Integrated
stoichiometric, thermodynamic and kinetic modelling of steady state
metabolism”, R.M.T. Fleming, I. Thiele, G. Provan, B. Palsson, H.P.
Nasheuer. Proc. RECOMB Conference on Systems Biology,
San Diego, November 30 - December 1, 2007. |
|
"On
the Role of Motifs and Functional Blocks in Complex Systems", Jun Wang and
Gregory Provan, Proc. European Conference on Complex Systems,
September 2007. |
|
"Approximate Compilation
with Weighted BDDs: A General Framework", O. Heling-Tveretina and G. Provan,
Proc. LATA’07,
2007. |
|
"Approximate
Model-Based Diagnosis using Greedy Stochastic Search", Alexander Feldman,
Gregory Provan, and Arjan van Gemund, in Proc.
Symposium on Abstraction, Reformulation and
Approximation, Whistler, Canada, July 18 - 21, 2007. |
|
"Stochastic
Search Algorithms for Model-Based Diagnosis", Alexander Feldman,
Gregory Provan, and Arjan van Gemund, in Proc. International Workshop
on Principles of Diagnosis, Nashville, TN, USA, May 29-June 1, 2007. |
|
"Interchange
Formats and Automated Benchmark Generators for Model-Based Diagnostic Inference",
Alexander Feldman, Gregory Provan, and Arjan van Gemund, in Proc.
International Workshop on Principles of Diagnosis, Nashville, TN, USA, May
29-June 1, 2007. |
|
"On
the Generation of Max-Fault Min-Cardinality Observation Vectors in Model-Based
Diagnosis", Alexander Feldman, Gregory Provan, and Arjan van Gemund,
in Proc. International Workshop on Principles of Diagnosis, Nashville,
TN, USA, May 29-June 1, 2007. |
|
"Search
Ordering Heuristics for Restarts-based Constraint Solving", Margarita
Razgon, Barry O’Sullivan and Gregory Provan. In Proc. Florida AI
Research Symposium (FLAIRS), Key West, Florida, May 7-9, 2007. |
|
"Evaluating
the Adequacy of Automated Benchmark Model Generators for Model-Based
Diagnostic Inference", Proc. International Joint Conference on AI (IJCAI),
Hyderabad, India, January 2007 (G. Provan and J. Wang). |
|
"The
Computational Complexity of Complex Systems: the Role of Topology and
Functionality", in Proc. European Conference on Complex Systems,
Oxford, UK, September 2006. |
|
"Multi-Level
Model Inference: A Distributed Agent Framework", in Proc. International
Conference on Engineering of Complex Computer Systems, Stanford CA, August
2006. |
|
"Approximation of Binary
Decision Diagrams Using Randomization", O. Heling-Tveretina and G. Provan,
Proc. MFCSIT'06, Cork, Ireland, 2006. |
|
"An
Empirical Analysis of the Complexity of Model-Based Diagnosis", in
Proc. European Conference on AI, Riva del Garda, Italy, August 2006. |
|
"Approximate
Compilation for Embedded Model-based Reasoning", in Proc. Conference
of American Association of AI (AAAI), Boston, USA, July 2006. (Barry
O’Sullivan and Gregory Provan) |
|
"A
Model-Based Framework for Stochastic Diagnosability", in Proc.
Conference on Information Processing and Management of Uncertainty, Paris,
France, July 2006. |
|
"A
Bayesian Network Framework for Stochastic Discrete-Event Control", in
Proc. American Control Conference, Minneapolis, USA, June 2006. |
|
"Automatic
Generation of Benchmark Diagnosis Models", in Proc. International Workshop
on Principles of Diagnosis, Penaranda del Duero, Spain, June 2006. |
|
"A
Framework for Constraint-Based Modeling", in Proc. IASTED Conference on
Modeling and Simulation, Montreal, Canada, May 2006. |
|
"A
Novel Framework for Integrating Discrete-Event Control and Diagnosis",
Proc. IJCAI, Cancun, Mexico, August 2003.
|
|
"A
Framework for Integrating Discrete-Event Control and Diagnosis",
In Proc. Itnl. Workshop on Principles of Diagnosis, Washington, DC,
June 2003: 187-192. |
|
"Prognosis
and Condition-Based Monitoring: An Open Systems Architecture",
Proc. Safeprocess-2003, Washington, DC, June 2003.
|
2002
|
|
|
|
|
|
|
"On
the Diagnosability of Decentralized, Timed, Discrete-Event Systems",
Proc. Conf. On Decision and Control, Dec. 2002, Las Vegas, NV.
|
|
"Agent-Based,
Distributed Diagnosis for Shipboard Systems", in
Knowledge and Technology in Production and Services, edited by V. Marik,
L. Camarinha-Matos and H. Afsarmanesh, Kluwer, 2002. (G. Provan and Y-L.
Chen). |
2001
|
"Model-Based
Fault-Tolerant Control Reconfiguration for General Network Topologies",
IEEE Micro, special issue on Fault-Tolerant embedded systems, 21(5):
64-76, 2001. (G. Provan and Y-L. Chen). |
|
"Model-Based
Control Reconfiguration: A Shipboard System Example",
Proc. Itnl. Symp. on Intelligent Control, pages 320-325, Mexico City,
Mexico, Sept. 2001. (Y.-L. Chen and G. Provan)
|
|
"Abstraction
in Model-based Diagnostics". In Proc. Itnl. Workshop
on Principles of Diagnosis, Italy, April
2001. |
|
|
2000
|
"Characterizing Controllability
and Observability Properties of Temporal Causal Network Modeling for
Discrete Event Systems", Proc. American Control Conference, June
2000, Chicago, Ill. (G. Provan, Y.-L. Chen) |
|
"An
Integration of Model-Based Diagnosis and Reliability Theory", Proc.
Int'l. Workshop on Principles of Diagnosis, June 2000.
|
|
"Diagnosis
and Control of Discrete-Event Systems using Temporal Causal Networks",
Proc. Conf. On Information Sciences and Systems, Princeton Univ.,
Princeton, NJ, March 2000. (G. Provan, Y.-L. Chen) |
|
"Software Toolkit for
Aerospace Systems Diagnostics", Proc. IEEE Aerospace Conference, Big
Sky, MT, March 2000. (Gregory Provan, Dick Elsley) |
|
"A
Comparison of Finite State Machine and Causal Network Approaches to the
Modeling and Diagnosis of Discrete Event Systems". In Proc. ACC,
Phoenix, AZ, 2000. (G. Provan and Y.-L. Chen.) |
1999
|
|
|
"Model-Based
Diagnostics and Recovery: An Integrated Approach", Proc. Int'l. Workshop
on Principles of Diagnosis, June 1999, pp. 226-233.
|
|
"Model-based
diagnosis for factory automation: Challenges and open problems", In Proc.
10th Intl. Workshop on Principles of Diagnosis, pages 68-77, Loch Awe,
Scotland, June 1999, pp. 68-77. (Yousri El Fattah, Gregory M. Provan,
Adnan Darwiche) |
|
"Modeling
and Diagnosing Rocket Engines: a Multi-Modeling Approach", Proc. Int'l.
Workshop on Principles of Diagnosis, May 1998, pp. 102-109.
|
|
|
|
"Reusable Rocket Engine Advanced
Health Management System: Architecture and Technology Evaluation Summary",
Proc. AIAA99, 1999. (C.D. Pettit, S. Barkhoudarian, A.G. Daumann,
Jr., G.M. Provan, Y.M. El Fattah, D. E. Glover).
|
1998
|
"Modeling Temporal
Behavior in the Model-Based Diagnosis of Discrete-Event Systems", Proc.
Int'l. Workshop on Principles of Diagnosis, October 1997. (Y. El-Fattah
and G. Provan). |
|
"Optimizing
Belief-Network Inference using Query DAGs", Proc. Conference on
Uncertainty in AI, August 1997. (Adnan Darwiche, Gregory M. Provan)
|
|
"A
Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable
Properties", Proc. IEEE
Conf. On SMC, 1998. (A.
Misra, G. Provan, G. Karsai, G. Bloor, E. Scarl) |
|
"Modeling, Diagnosis,
and Control of Timed Discrete Event Systems Using Temporal Causal Networks",
Proc. Workshop on Discrete-Event Systems, August 1998, Cagliari,
Italy, pp. 152—154. (G. Provan and Y.-L. Chen) |
|
|
|
"Automating the
Diagnosis of Factory Automation Systems" ,Proceedings of
1998 AAAI Symposium: Special Interest Group on Manufacturing, 1998. (Gregory
M. Provan, Yousri El Fattah) |
|
"Using Database
Specifications To Automate the Diagnosis of Factory Automation Systems",Proceedings of 1998 International Automobile Exposition, May
1998. (Gregory M. Provan, Yousri. El Fattah, Adnan Darwiche)
|
|
"A
Model-based Approach to Model Integration and Diagnosis", J. AI
Communications, 1998. (G. Provan and D. Glover.)
|
1997
|
"Learning with
Probabilistic Representations", Machine Learning Journal, 29:
2-3, pp. 91-101, 1997 (P. Langley, G. Provan, and P. Smyth).
|
|
|
|
"Optimizing
Belief-Network Inference using Query DAGs", Proc. Conference on
Uncertainty in AI, August 1997. (A. Darwiche and G. Provan).
|
|
"The Effect of
Observations on the Complexity of Model-Based Diagnosis", Proc. AAAI
Conference, July 1997. (A. Darwiche and G. Provan).
|
|
"Modeling
and Diagnosis of Timed Discrete Event Systems -- A Factory Automation
Example", Proc. American Control Conference, June 1997, Albuquerque,
NM, pp. 31—36. (Y.-L. Chen, G. Provan). |
1996
|
|
|
"Exploiting
System Structure in the Model-Based Diagnosis of Discrete-Event Systems", Proc. Int'l. Workshop on Principles of Diagnosis, October 1996. (A.
Darwiche and G. Provan). |
|
"Data Mining
and Model Simplicity: A Case Study in Diagnosis", Proc. Conference on
Knowledge Discovery and Data Mining, August 1996. (Provan and M.
Singh) |
|
"Query DAGs:
A Practical Paradigm for Implementing Belief-Network Inference", Proc.
Conference on Uncertainty in AI, August 1996. (A. Darwiche and G.
Provan). |
|
"Why
is Diagnosis using Belief Networks Insensitive to Imprecision in
Probabilities?" Proc. Conference on Uncertainty in AI, August 1996.
(M. Henrion, M. Pradhan, K. Huang, G. Provan and P. O'Rorke)
|
|
"Efficient
Learning of Selective Bayesian Network Classifiers", Proc. Int'l.
Conference on Machine Learning, July 1996, Bari, Italy. (M. Singh and
G. Provan). |
|
"Implementing Belief-Network Inference in Real-World Systems" Proc. Florida
AI Research Symposium, May 1996. (A. Darwiche and G. Provan).
|
|
"Model-Based Diagnosis of
Discrete-Event Systems", Proc. Conf. on Discrete Event Systems, La
Jolla, CA, April 1996. (A. Darwiche and G. Provan) |
|
"Learning
Bayesian Networks Using Feature Selection", in Learning from Data: AI and
Statistics 5, ed. by D. Fisher and H.J. Lenz, Lecture Notes in Statistics
12, Springer-Verlag, NY, NY. (G. Provan and M. Singh).
|
|
"Abstraction in Belief
Networks: The Role of Intermediate States in Diagnostic Reasoning," Proc.
Conference on Uncertainty in AI, August 1995: 464-471.
|
|
"A
Comparison of Induction Algorithms for Selective and non-Selective Bayesian
Classifiers," Proc. Int'l. Conference on Machine Learning, July 1995:
497-505. (M. Singh and G. Provan). |
|
"Model Selection for
Temporal Influence Diagrams", in AI and Statistics, 4 ed. by P.
Cheeseman, J.C. Baltzer AG Scientific Publishing Co., Switzerland, 1994.
|
|
"Tradeoffs in
Constructing and Evaluating Probabilistic Networks", IEEE Trans. Systems,
Man and Cybernetics, 24(11), November, 1994.
|
|
"An Experimental
Comparison of Infinitesimal and Numerical Probabilities for Diagnostic
Reasoning", Proc. Int'l.
Workshop on Principles of Diagnosis, October, 1994. (M. Henrion, A.
Darwiche, M. Goldszmidt, G. Provan and B. del Favero).
|
|
"Experimental
Analysis of Large Belief Networks for Medical Diagnosis", Proc. SCAMC,
November, 1994. (M. Pradhan, G. Provan and M. Henrion).
|
|
"An Experimental
Comparison of Numerical and Qualitative Probabilistic Reasoning", Proc.
Conf. on Uncertainty in AI, July, 1994. (M. Henrion, G. Provan,
B. del Favero and G. Sanders). |
|
"Knowledge Engineering
for Large Belief Networks", Proc. Conf. on Uncertainty in AI, July,
1994. (M. Pradhan, G. Provan, M. Henrion and B. Middleton).
|
|
"Probabilistic
Diagnostic Reasoning: Towards Improving Diagnostic Efficiency", Proc.
Tenth IEEE Conf. on AI for Applications, March 1-4, 1994, San Antonio
TX. |
1993
|
"Dynamic Network
Construction and Updating Techniques for the Diagnosis of Acute Abdominal
Pain", IEEE Trans. Pattern Analysis and Machine Intelligence, 15(3),
1993. (G. Provan and J.R. Clarke) |
|
"A Lattice-Theoretic
Analysis of the ATMS", Proc. European Conference on Symbolic and
Quantitative Approaches to Reasoning and Uncertainty, November 1993,
Granada, Spain, (T. Ngair and G. Provan). |
|
"Tradeoffs in
Constructing and Evaluating Temporal Influence Diagrams", Proc. Conf. on
Uncertainty in AI, July, 1993.
|
|
"The Search for a Universal Uncertainty Calculus", International Journal of
Approximate Reasoning, 5/6, 1991. |
|
"An
Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms'',
Proc. IJCAI-91, August, 1991. (C.J. McDiarmid and G.
Provan) |
|
"Dynamic
Network Updating Techniques for Diagnostic Reasoning'', Proc. Conf. on
Uncertainty in AI, July, 1991 |
|
"The
Utility of Consistency-Based Diagnosis", Proc. Conf. on Knowledge
Representation and Reasoning, April 1991, 461-472. (G. Provan
and D. Poole). |
|
"Computing
an Optimal Diagnosis", in Uncertainty in Artificial Intelligence 6,
ed. by P. Bonissone, M. Henrion, et al., Springer-Verlag, 1991. (G. Provan
and D. Poole.) |
|
"A
Logic-based Analysis of Dempster Shafer Theory", International Journal of
Approximate Reasoning, 4: 451-498, 1990. |
|
"An
Analysis of Knowledge Representation Languages for High Level Vision'',
Proc. European Conference on Computer Vision, April 1990, 522-527. |
|
"What
is an Optimal Diagnosis?", Proc. Conference on Uncertainty in
Artificial Intelligence, 1990, 46-53. (D. Poole and G. Provan.) |
|
"The
Computational Complexity of Multiple-Context Truth Maintenance Systems'',
Proc. European Conference on AI, 1990, 522-527 |
|
"The Application of
Dempster Shafer Theory to a Logic-based Visual Recognition System", in Uncertainty in Artificial Intelligence 5, ed. by M. Henrion et al.,
Springer-Verlag, 1990, 389-406. |
|
"An
Analysis of ATMS-based Techniques for Computing Dempster Shafer Belief
Functions", Proc. IJCAI, 1989, 1115-1120. |
|
"Model-based Object Recognition using an Extended ATMS", Proc.
Conference on Uncertainty in Artificial Intelligence, 1989, 287-294. |
|
"A
Complexity Analysis of Assumption-Based Truth Maintenance Systems", in
Reason Maintenance Systems and their Applications, 1988, B.M. Smith and G.
Kelleher (editors), Ellis Horwood.
|
|
"Complexity Analysis of Multiple-Context TMSs in Scene Representation",
Proc. AAAI, 1987, 173-177. |
|
