Copyright Information

All documents available in this page are subject to copyright, whether explicitly stated or not. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

[2009 | 2008 | 2007 |2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | earlier ] 

2009

I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Factoring Dynamic Bayesian Networks Based on Structural Observability," in Proceedings of the 48th IEEE Conference on Decision and Control (IEEE CDC 2009), December 2009, Shanghai, P. R. China, to appear.

I. Roychoudhury, "Distributed Diagnosis of Continuous Systems: Global Diagnosis Through Local Analysis," PhD Dissertation, Vanderbilt University, 2009. (abstract)

I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Efficient Estimation for Diagnosis Using Factored Dynamic Bayesian Networks," 7th IFAC Symposium on Fault Detection, Supervision, and Safety of Technical Processes (SAFEPROCESS 2009), June 2009. 

I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Distributed Diagnosis of Dynamic Systems Using Dynamic Bayesian Networks", in Proceedings of the 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden, June 2009.

I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Designing Distributed Diagnosers for Complex Continuous Systems," IEEE Transactions on Automation Science and Engineering, vol. 6, no. 2, pp. 277-290, April 2009.

2008

I. Roychoudhury, M. Daigle, G. Biswas, and X. Koutsoukos, "An Efficient Method for Simulating Complex Systems with Switching Behaviors Using Hybrid Bond Graphs," Simulation News Europe , vol. 18, no. 3-4, pp. 5-13, December 2008.

M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll, "A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems," Technical Report ISIS-08-908, Institute for Software Integrated Systems, Vanderbilt University, Dec 2008. 

I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Comprehensive Diagnosis of Continuous Systems Using Dynamic Bayes Nets", in Proceedings of the 19th International Workshop on Principles of Diagnosis, Blue Mountains, Australia, September 2008.

I. Roychoudhury, M. Daigle, G. Biswas, and X. Koutsoukos, "Efficient Simulation of Hybrid Systems: An Application to Electrical Power Distribution Systems," in Proceedings of the 22nd European Conference on Modeling and Simulation (ECMS 2008), Nicosia, Cyprus, June 2008, to appear. (abstract)

M. Daigle, "A Qualitative Event-based Approach to Fault Diagnosis of Hybrid Systems," PhD Dissertation, Vanderbilt University, 2008. (abstract)

M. Daigle, X. Koutsoukos, and G. Biswas, "An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems," Hybrid Systems: Computation and Control (HSCC 2008), Lecture Notes in Computer Science, vol. 4981, pp. 614-617, 2008.

M. Daigle, X. Koutsoukos, and G. Biswas, "An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems," Technical Report ISIS-07-815, Institute for Software Integrated Systems, Vanderbilt University, January 2008. (abstract)

2007

M. Daigle, X. Koutsoukos, and G. Biswas, "Fault Diagnosis of Continuous Systems Using Discrete-Event Methods," Proceedings of the 46th IEEE Conference on Decision and Control, pp. 2626-2632, Dec 2007.

M. Daigle, X. Koutsoukos, and G. Biswas, "A Discrete Event Approach to Diagnosis of Continuous Systems," 18th International Workshop on Principles of Diagnosis, pp. 259-266, May 2007.

S. Poll, A. Patterson-Hine, J. Camisa, D. Garcia, D. Hall, C. Lee, O. Mengshoel, C. Neukom, D. Nishikawa, J. Ossenfort, A. Sweet, S. Yentus, I. Roychoudhury, M. Daigle, G. Biswas, and X. Koutsoukos, "Advanced Diagnostics and Prognostics Testbed," 18th International Workshop on Principles of Diagnosis, pp. 178-185, May 2007.

A. Moustafa, M. Daigle, I. Roychoudhury, C. Shantz, G. Biswas, S. Mahadevan, and X. Koutsoukos, "Fault Diagnosis of Civil Engineering Structures using the Bond Graph Approach," 18th International Workshop on Principles of Diagnosis, pp. 146-153, May 2007.

S. Poll, A. Patterson-Hine, J. Camisa, D. Nishikawa, L. Spirkovska, D. Garcia, D. Hall, C. Neukom, A. Sweet, S. Yentus, C. Lee, J. Ossenfort, I. Roychoudhury, M. Daigle, G. Biswas, X. Koutsoukos, and R. Lutz, "Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches," AIAA Infotech@Aerospace 2007 Conference and Exhibit, May 2007.

S. Narasimhan and G. Biswas, "Model-based Diagnosis of Hybrid Systems," IEEE Trans. on Systems, Man, and Cybernetics, Part A, vol. 37, no. 3, pp 348--361, May 2007.

M. Daigle, X. Koutsoukos, and G. Biswas, "A Qualitative Approach to Multiple Fault Isolation in Continuous Systems," AAAI National Conference 2007, to appear.

M. Daigle, X. Koutsoukos, and G. Biswas, "On Discrete Event Diagnosis Methods for Continuous Systems," 15th Mediterranean Conference on Control and Automation, to appear.

M. Daigle, X. Koutsoukos, and G. Biswas, "Distributed Diagnosis in Formations of Mobile Robots," IEEE Transactions on Robotics, vol. 23, no. 2, pp. 353-369, April 2007.

M. Daigle, I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs," Hybrid Systems: Computation and Control (HSCC 2007), Lecture Notes in Computer Science, vol. 4416, pp. 680-683, Apr 2007.

G. Biswas and S. Mahadevan, “A Hierarchical Model-based approach to Systems Health Management,” Paper no. 11.10-1215, IEEE Aerospace Conference, Big Sky, Montana, March 2007.

F. Tu, S. Ghoshal, Jianhui Luo, G. Biswas, L. Jaw, and, K. Navarra , “PHM Integration with Maintenance and Inventory Management Systems”, Paper number 11.10-1335, IEEE Aerospace Conference, Big Sky, Montana, March 2007.

I. Roychoudhury, M. Daigle, G. Biswas, X. Koutsoukos, and P. J. Mosterman, "A Method for Efficient Simulation of Hybrid Bond Graphs," International Conference on Bond Graph Modeling and Simulation (ICBGM 2007), pp. 177-184, Jan 2007.

2006

M. Daigle, I. Roychoudhury, G. Biswas, and X. Koutsoukos, "Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs," Technical Report ISIS-06-712, Institute for Software Integrated Systems, Vanderbilt University, Dec 2006.

Gautam Biswas and Eric-J Manders, Integrated systems health management to achieve autonomy in complex systems, In Proc. of the 6th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Beijing, PPR China, August 2006.

Indranil Roychoudhury, Gautam Biswas and Xenofon Koutsoukos, “A Bayesian Approach to Efficient Diagnosis of Incipient Faults,” 17^th International Workshop on Principles of Diagnosis (DX ’06), pp. 243-264, Penaranda de Duero, Burgos, Spain, June 2006.

Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas, “Multiple Fault Diagnosis in Complex Physical Systems,” 17^th International Workshop on Principles of Diagnosis (DX ’06), pp. 69-76, Penaranda de Duero, Burgos, Spain, June 2006.

Christopher Beers, Eric-J Manders, Gautam Biswas, and Pieter Mosterman, Building Efficient Simulations from Hybrid Bond Graph Models, In 2nd IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS 06), Alghero, Sardinia, Italy – June 2006..

Eric-J Manders, Gautam Biswas, Nagabushan Mahadevan, and Gabor Karsai, Component-oriented Modeling of hybrid dynamic systems using the Generic Modeling environment.   Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06),  Potsdam, Germany, pp. 159-168, 2006.

M. Daigle, X. Koutsoukos, and G. Biswas, "Distributed Diagnosis of Coupled Mobile Robots," 2006 IEEE International Conference on Robotics and Automation, pp. 3787-3794, May 2006.

G. Biswas and G. Bloor, “A Model Based Approach to Constructing Performance Degradation Monitoring Systems,” Paper no. 1269, IEEE Aerospace Conference, Big Sky, Montana, March 2006.

2005

S. Abdelwahed, J. Wu, G. Biswas, J. Ramirez and Eric-J. Manders, Online Fault Adaptive Control for Effcient Resource Management in Advanced Life Support Systems, Habitation - Intl. Journal for Human Support Research, 10(2):105-115, 2005.

E.-J. Manders, S. E. Bell, G. Biswas, and D. Kortenkamp. Multi-scale modeling of advanced life support systems. In Proc. of the 35th Intl. Conf. on Environmental Systems, Rome, Italy, July 2005

G. Biswas, P. Bonasso, S. Abdelwahed, E.-J. Manders, J. Wu, D. Kortenkamp, and S. Bell. A Proposed Plan Execution Architecture for Advanced Life Support System Control, The 15^th International Conference on Planning and Scheduling, (ICAPS 2005) Monterey, California, USA.

G. Biswas, P. Bonasso, S. Abdelwahed, E.-J. Manders, J. Wu, D. Kortenkamp, and S. Bell. Requirements for an autonomous control architecture for advanced life support systems. In Proc. of the 35th Intl. Conf. on Environmental Systems, Rome, Italy, July 2005.

J. Wu, G. Biswas, S. Abdelwahed, and E.-J. Manders. A hybrid control system design and implementation for a three-tank testbed. In Proc. IEEE Conf. Control Applications, Toronto, Canada, August 2005.

I. Roychoudhury, G. Biswas, X. Koutsoukos and S. Abdelwahed. Designing Distributed Diagnosers for Complex Systems. In Proc. of the 16th Intl.Workshop on Principles of Diagnosis, Monterey, CA, pp. 31-36, June 2005.

M. Daigle, X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems," 43rd Annual Allerton Conference on Communication, Control, and Computing, pp. 1707-1716, September 2005.

J. Sztipanovits, G. Biswas, K. Frampton, A. Gokhale, L. Howard, G. Karsai, J. Koo, X. Koutsoukos, and D. Schmidt. Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. Special issue, ACM Trans. on Embedded Systems (TECS), 4(3):549-568, August 2005.

2004

Gautam Biswas, Sherif Abdelwahed, Xenofon Koutsoukos, Jyoti Gandhe, and Eric-J. Manders,
Toward Distributed Diagnosis of Complex Physical Systems, invited paper, The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct 2004.

Gautam Biswas, Eric-J. Manders, Sherif Abdelwahed, Gabor Karsai,
Fault adaptive control: towards robust operation of autonomous systems, in Proc. Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, Aug. 2004.

Gautam Biswas, Eric-J. Manders, John Ramirez, Nagabhusan Mahadevan, and Sherif Abdelwahed,
Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System, Habitation - Intl. Journal for human support Research. 10(1):21-38, 2004.

Eric-J. Manders, Gautam Biswas, John Ramirez, Nagabhusan Mahadevan, Jian Wu and Sherif Abdelwahed,
A Model Integrated Computing Tool-Suite for Fault-Adaptive Control, in Working papers of the 15th Intl. Workshop on Principles of Diagnosis, Carcassonne, France, June 2004.

Sherif Abdelwahed, Jian Wu, Gautam Biswas, John Ramirez and Eric-J. Manders,
On-line Hierarchical Fault Adaptive Control for Advanced Life Support Systems, in Proc. of the Intl. Conference on Environmental Systems, 2004.

Jeff Lyons, DISTRIBUTED MONITORING AND CONTROL AND PHYSICAL SYSTEM MODELING FOR A LABORATORY THREE-TANK SYSTEM, MSc Thesis, Vanderbilt University, Nashville TN, USA, May 2004.

2003

G. Karsai, G. Biswas, S. Narasimhan, T. Szemethy, G. Peceli, G. Simon, and T. Kovacshazy,  Towards Fault-Adaptive Control of Complex Dynamic Systems, Software- Enabled Control: Information Technologies for Dynamical Systems, T. Samad and G. Balas, eds., Wiley-IEEE press, pp 347-368, 2003.

G. Biswas, G. Simon, G. Karsai, S. Abdelwahed, N. Mahadevan, T. Szemethy, J. Ramirez, G. Peceli, and T. Kovacshazy,
Self-Adaptive Software for Fault-Adaptive Control, Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June 2003.

S. Narasimhan and G. Biswas,
Model-based Diagnosis of Hybrid Systems, in Proc. 18th Intl. Joint Conference on Artificial Intelligence, Acapluco, Mexico, pages 376-381, August 2003.

R. Su, S. Abdelwahed, G. Karsai, and G. Biswas,
Discrete Abstractions for Continuous Time Systems, in Proc. American Control Conference, 2003.

Eric-J. Manders,
A combined statistical detection and qualitative fault isolation scheme for abrupt faults in dynamic systems. PhD Dissertation, Vanderbilt University. Department on Electrical Engineering and Computer Science, August 2003.

Eric-J. Manders and Gautam Biswas,
FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation. In Proc. of the 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pages 347-352, Washington, DC, June 2003.

Biswas, G., Simon, G., Mahadevan, N., Narasimhan, S., Ramirez, J., Karsai, G.,
A robust method for hybrid diagnosis of complex systems, In Proc. of the 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pages 1125-1131, Washington, DC, June 2003.

M. Ji, Z. Zhang, G. Biswas, and N. Sarkar,
Hybrid Fault Adaptive Control of a Wheeled Mobile Robot, IEEE Transactions on Mechatronics, 8(2):226- 233, June 2003.

2002

Sriram Narasimhan,
Model-based diagnosis of hybrid systems. PhD Dissertation, Vanderbilt University. Department on Electrical Engineering and Computer Science, August 2002.

Eric-J. Manders, Lee A. Barford, and Gautam Biswas,
An Approach for Fault Detection and Isolation in Dynamic Systems from Distributed Measurements. IEEE Trans. on Instrumentation and Measurement, 51(2):235-241, 2002.

P.J. Mosterman and G. Biswas,
A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems, SIMULATION: Transactions of the Society for Modeling and Simulation International, 78(1):5-17, Jan. 2002.

S. Narasimhan, G. Biswas, G. Karsai, T. Szemwthy, T. Bowman, M. Kay, and K. Keller,
Hybrid Modeling and Diagnosis in the Real World: A Case Study, Intl. Workshop on Principles of Diagnosis, Simmering, Austria, May 2002.

S. Abdelwahed, G. Karsai, and G. Biswas,
Online Safety Control of a Class of Hybrid Systems, IEEE Conf. on CDC, 2002.

M. Ji, Z. Zhang, G. Biswas, and N. Sarkar,
Hybrid Fault Adaptive Control of a Mobile Robot, ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, Nov., 2002.

S. Narasimhan and G. Biswas,
An Approach to Model-Based Diagnosis of Hybrid Systems, Hybrid Systems: Computation and Control, Fifth Intl. Workshop, Stanford, CA, Lecture Notes in Computer Science, vol. LNCS 2289, C.J. Tomlin and M.R. Greenstreet, eds., Springer Verlag, Berlin, pages 308-322, March 2002.

2001

Gabor Karsai, Gautam Biswas, Tal Pasternak, and Sriram Narasimhan,
Fault-Adaptive Control: A CBS Application. In Proceedings of the Eighth Annual IEEE Intl. Conference on Engineering of Computer Based Systems (ECBS '01), Washington D.C., pages 205-211, April 2001.

Sriram Narasimhan and Gautam Biswas,
Efficient diagnosis of hybrid system using model of the supervisory controller Working Papers of the 12^th Intl. Workshop on Principles of Diagnosis (DX '01), pages 127-134, via Lattea, Italy, March 2001.

Sriram Narasimhan, Gautam Biswas, and Gabor Karsai,
An integrated approach to diagnosis of complex hybrid systems. In Proc. of the 15^th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April 2001.

Eric-J. Manders and Gautam Biswas,
Transient Detection and Analysis for Diagnosis of Abrupt Faults in Continuous Dynamic Systems, In Working papers of the Intl. Workshop on Intelligent Signal Processing, pages 15-20, Budapest, Hungary, May 2001.

2000

Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, and Feng Zhao,
Building observers to address fault isolation and control problems in hybrid dynamic systems. In Proc. of the 2000 IEEE Intl. Conference on Systems, Man, and Cybernetics, pages 2393-2398, Nashville, TN, October 2000.

Sriram Narasimhan, Feng Zhao, Gautam Biswas, and E. Hung,
An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems. In Working papers of the Eleventh Intl. Workshop on Principles of Diagnosis, pages 163-170, Morelia, Mexico, June 2000.

Pieter J. Mosterman, Eric-J. Manders, and Gautam Biswas,
Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops. In Working Papers of the Eleventh Intl. Workshop on Principles of Diagnosis, pages 155-162, Morelia, Mexico, June 2000.

Sriram Narasimhan, Feng Zhao, Gautam Biswas, and E. Hung,
Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing. In Proc. of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pages 512-517, Budapest, Hungary, June 2000.

Eric-J. Manders, Sriram Narasimhan, Gautam Biswas, and Pieter J. Mosterman,
A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems. In Proc. of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pages 1074-1079, Budapest, Hungary, June 2000.

Philippus J. Feenstra, Eric-J. Manders, Pieter J. Mosterman, Gautam Biswas, and Robert J. Barnett,
Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System. Proc. of the IEEE South East Conference, pages 365-372, Nashville, TN USA, March 2000.

S. McIllraith, Gautam Biswas, D. Clancy, and V. Gupta,
Hybrid Systems Diagnosis. Hybrid Systems: Computation and Control - Third Intl. Workshop, HSCC 2000, Lecture Notes in Computer Science, vol. 1790, N. Lynch and B.H. Krogh, eds., Springer Verlag, Berlin, Germany, pages 282-295, March 2000.

Pieter J. Mosterman and Gautam Biswas,
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. Hybrid Systems: Computation and Control - Third Intl. Workshop, HSCC 2000, Lecture Notes in Computer Science, vol. 1790, N. Lynch and B.H. Krogh, eds., Springer Verlag, Berlin, Germany, pages 324-337, March 2000.

Xudong W. Yu, Gautam Biswas, and Jerry Weinberg,
MDS - An Integrated Architecture for Associational and Model-Based Diagnosis. Applied Intelligence: An International Journal, 2000.

Pieter J. Mosterman and Gautam Biswas,
A Comprehensive Methodolgy for Building Hybrid Models of Physical Systems. Artifical Intelligence Journal, 2000.

Eric-J. Manders and Lee. A. Barford,
Diagnosis of a Continuous Dynamic System from Distributed Measurements, In Proc. of the 17th IEEE Instrumentation and Measurement Technology Conference, pages 546-551, Baltimore, MD USA, May 2000.

Eric-J. Manders, Gautam Biswas, Pieter J. Mosterman, Lee Barford, and Joel Barnett,
Signal Interpretation for Monitoring and Diagnosis: A Cooling System Testbed. IEEE Trans. on Instrumentation and Measurement, 49(3):503-509, 2000.

1999

Pieter J. Mosterman and Gautam Biswas,
Building Hybrid Observers for Complex Dynamic Systems using Model Abstractions. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 1569, Springer Verlag, The Netherlands, pages 178-192, March 1999

S. McIlraith, G. Biswas, D. Clancy, and V. Gupta,
Towards Diagnosing Hybrid Systems, in Working Papers of Tenth Intl. Workshop on Principles on Diagnosis, Loch Awe, Scotland, pages 193-203, June 1999.

Pieter J. Mosterman, Feng Zhao, and Gautam Biswas,
Sliding Mode Model Semantics and Simulation for Hybrid Systems, Lecture Notes in Computer Science, Hybrid Systems V, vol. 1567, Springer Verlag, Germany, pages 218-237, 1999.

Xudong W. Yu and Gautam Biswas.
MDS-An Efficient and Robust Diagnosis Systems, Applied Intelligence: International Journal, August, 1999.

Pieter J. Mosterman and Gautam Biswas,
Building a Hybrid Automata of Complex Physical systems for Real-time Applications, in Proc. 38th IEEE Conference on Decision and Conrol, Phoenix, AZ, Dec. 1999.

Brian Howley, Mark Cutkosky, and Gautam Biswas,
Composing and Sharing Dynamic Models in an Agent-Based Concurrent Engineering Environment, in Proc. 1999 American Control Confernece, pages 3147-3153, San Diego, CA, June 2-4, 1999.

Pieter J. Mosterman and Gautam Biswas,
Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 1569, Springer Verlag, The Netherlands, pages 178-192, March 1999.

Pieter J. Mosterman and Gautam Biswas,
Building Hybrid Observers for Complex Dynamic Systems using Model Abstractions, Proc. ICBGM 1999, pages 157-162, San Francisco, CA, Jan. 1999.

Pieter J. Mosterman and Gautam Biswas,
Diagnosis of Continuous Valued Systems in Transient Operating Regions, IEEE Trans. on Systems, Man and Cybernetics, vol. 29, no. 6, pp. 554-565, Nov. 1999.

Pieter J. Mosterman, and Gautam Biswas,
Deriving Discontinuous State Changes for Reduced Order Systems and the Effect on Compositionality, In Thirteenth Intl. Workshop on Qualitative Reasoning, pages 160-168, Loch Awe, Scotland, June 1999.

Eric-J. Manders, Pieter J. Mosterman, and Gautam Biswas,
Signal to symbol transformation techniques for robust diagnosis in TRANSCEND. In Working Papers of the Tenth Intl. Workshop on Principles of Diagnosis, pages 155-165, Loch Awe, Scotland, June 1999.

Lee Barford, Eric-J. Manders, Gautam Biswas, Pieter J. Mosterman, Vishnu V. Ram, and Joel Barnett,
Derivative estimation for diagnosis. In Proc. of IEEE Intl. Workshop on Emergent Technologies, pages 9-12, Venice, Italy, May 1999.

Eric-J. Manders, Gautam Biswas, Pieter J. Mosterman, Lee Barford, Vishnu Ram, and Joel Barnett,
Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed. In Proc. of the 16th IEEE Instrumentation and Measurement Technology Conference , pages 498-503, Venice, Italy, May 1999.

Pieter J. Mosterman and Gautam Biswas,
A Java Implementation of an Environment for Hybrid Modeling and Simulation of Physical Systems. In Proc. ICBGM99, pages 157-162, San Francisco, California, January 1999.

1998

Pieter J. Mosterman and Gautam Biswas,
A Modeling and Simulation Methodology for Hybrid Dynamic Physical Systems. Journal of the Society for Computer Simulation, June 1998.

Pieter J. Mosterman, Feng Zhao, and Gautam Biswas,
A study of Transitions in Dynamic Behavior of Physical Systems. in Proc. 12th Intl. Workshop on Qualitative Reasoning, Cape Cod, MA, pages 96-105, May 26-29, 1998.

Pieter J. Mosterman and Gautam Biswas,
Hybrid Automata for Modeling Discrete Transition in Complex Dynamic Systems. in Proc. AIRTC '98, Grand Canyon, AZ, Oct. 1998.

Pieter J. Mosterman, Feng Zhao, and Gautam Biswas,
An ontology for transitions in physical dynamic systems. In Proc. of AAAI98, July 1998.

Pieter J. Mosterman, Gautam Biswas, and Eric-J. Manders,
A Comprehensive Framework for Model Based Diagnosis. In Working Papers of the Ninth Intl. Workshop on Principles of Diagnosis, pages 86-94, Cape Cod, Massachusetts, May 1998.

Sriram Narasimhan, Pieter J. Mosterman, and Gautam Biswas,
A systematic analysis of measurement selection algorithms for fault isolation in dynamic systems. In Ninth Intl. Workshop on Principles of Diagnosis, pages 94-101, Cape Cod, Massachussetts, May 1998.

Pieter J. Mosterman, Gautam Biswas, and Martin Otter,
Simulation of discontinuities in physical system models based on conservation principles. In Proc. SCS 98, Reno, Nevada, July 1998.

Pieter J. Mosterman, Gautam Biswas, and Janos Sztipanovits,
A hybrid modeling and verification paradigm for embedded control systems. Control Engineering Practice, 1998.

Pieter J. Mosterman, Jan F. Broenink, and Gautam Biswas,
Model Semantics and Simulation of Time Scale Abstractions in Collision Models. In Eurosim 98, pages 200-237, Helsinki, Finland, April 1998.

Pieter J. Mosterman and Gautam Biswas,
A theory of discontinuities in physical system models. Journal of the Franklin Institute: Engineering and Applied Mathematics, 335B(3):401-439, January 1998.

1997

Gautam Biswas, Ravi Kapadia, and Xudong W. Yu,
Combined Qualitative Quantitative Steady State Diagnosis of Continuous-valued Systems. IEEE Trans. on Systems, Man and Cybernetics - part A, 27(2):167-185, March 1997.

Pieter J. Mosterman and Gautam Biswas,
Principles for modeling, verification, and simulation of hybrid dynamic systems. In Fifth Intl. Conference on Hybrid Systems, pages 21-27, Notre Dame, Indiana, September 1997.

Pieter J. Mosterman, Gautam Biswas, and Sriram Narasimhan,
Measurement Selection and Diagnosability of Complex Dynamic Systems. In Eighth Intl. Workshop on Principles of Diagnosis, pages 79-86, Mont. St. Michel, France, October 1997.

Pieter J. Mosterman and Gautam Biswas,
Formal Specifications for Hybrid Dynamical Systems. In IJCAI-97, pages 568-573, Nagoya, Japan, August 1997.

Pieter J. Mosterman, Sriram Narasimhan, Gautam Biswas, Takashi Washio, and Shinji Yoshikawa,
Process Diagnosis in Transient Operating Regions: Fault detection and isolation in a liquid sodium cooling system. In IJCAI-97 QR Applications in Engineering, August 1997.

Pieter J. Mosterman, Feng Zhao, and Gautam Biswas,
Model semantics and simulation for hybrid systems operating in sliding regimes. In AAAI Fall Symposium on Model Directed Autonomous Systems, 1997.

Pieter J. Mosterman and Gautam Biswas,
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. In AAAI-97, pages 100-105, Rhode Island, August 1997.

Pieter J. Mosterman and Gautam Biswas,
Formal Specifications from Hybrid Bond Graph Models. In Working papers Qualitative Reasoning Workshop, pages 131-142, Cortona, Italy, June 1997.

Pieter J. Mosterman, Gautam Biswas, and Janos Sztipanovits,
Hybrid modeling and verification of embedded control systems. In Proc. of the 7^th IFAC CACSD '97 Symposium, pages 21-26, Gent, Belgium, April 1997.

Pieter J. Mosterman and Gautam Biswas,
Hybrid modeling specifications for dynamic physical systems. In 1997 Intl. Conference on Bond Graph Modeling and Simulation, pages 162-167, Phoenix, Arizona, January 1997. Society for Computer Simulation.

Pieter J. Mosterman,
Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis. PhD dissertation, Vanderbilt University, 1997.

1996

Pieter J. Mosterman and Gautam Biswas,
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. In AAAI-96, pages 985-990, Portland, Oregon, August 1996.

Pieter J. Mosterman and Gautam Biswas,
Analyzing Discontinuities in Physical System Models. In Yumi Iwasaki and Adam Farquhar, editors, Qualitative Reasoning: The Tenth Intl. Workshop, pages 164-173, Stanford Sierra Camp, Fallen Leaf Lake, California, May 1996.

Pieter J. Mosterman and Gautam Biswas,
Verification of dynamic physical system models. In ASME-96, pages 707-714, Atlanta, GA, November 1996.

Pieter J. Mosterman and Gautam Biswas,
An Integrated Architecture for Model-Based Diagnosis of Dynamic Physical Systems. In Working papers Seventh Intl. Workshop on Principles of Diagnosis, pages 167-174, Val Morin, Canada, October 1996.

1995

Pieter J. Mosterman and Gautam Biswas,
Behavior generation using model switching a hybrid bond graph modeling technique. In François E. Cellier and José J. Granada, editors, in Proc. Intl. Conference on Bond Graph Modeling and Simulation , volume 27, number 1 of Simulation, pages 177-182, Las Vegas, January 1995.

Pieter J. Mosterman and Gautam Biswas,
Modeling Discontinuous Behavior with Hybrid Bond Graphs. In Proc. Intl. Conference on Qualitative Reasoning, pages 139-147, Amsterdam, May 1995.

Pieter J. Mosterman, Ravi Kapadia, and Gautam Biswas,
Using Bond Graphs for Diagnosis of Dynamic Physical Systems. In Working papers of the Sixth Intl. Workshop on Principles of Diagnosis, pages 81-85, Goslar, Germany, October 1995.

1993

Gautam Biswas, Stefanos Manganaris, and Xudong W. Yu,
Extending component connection modeling for analyzing complex physical systems. IEEE Expert, 8(1):48-57, 1993.