Homepage of Pieter J. Mosterman - The MathWorks, Inc.



Publications

This page contains links to publications (co-)authored by Pieter J. Mosterman.

[ Edited Collections | Book Chapters | Government Report | Magazine Articles | Blog Posts | Journal Articles | Conference Papers | Workshop Papers | Technical Reports ]

Edited Collections

2013
Justyna Zander and Pieter J. Mosterman (editors),
Computation for Humanity: Information Technology to Advance Society, CRC Press, Boca Raton, FL, ISBN 9781439883273, November, 2013.
2012
Katalin Popovici and Pieter J. Mosterman (editors),
Real-time Simulation Technologies: Principles, Methodologies, and Applications, CRC Press, Boca Raton, FL, ISBN 9781439846650, June, 2012.
2011
Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman (editors),
Model-Based Testing for Embedded Systems, CRC Press, Boca Raton, FL, ISBN 9781439818459, September, 2011.
2010
Gabriel A. Wainer and Pieter J. Mosterman (editors),
Discrete-Event Modeling and Simulation: Theory and Applications, CRC Press, Boca Raton, FL, ISBN 9781420072334, December, 2010.
2009
Gabriela Nicolescu and Pieter J. Mosterman (editors),
Model-Based Design for Embedded Systems, CRC Press, Boca Raton, FL, ISBN 9781420067842, November, 2009.

Book Chapters

2015
Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhan Clarke, Ulrich Frank, Pieter J. Mosterman, and Janos Sztipanovits,
"Motivating Use Cases for the Globalization of DSLs," in Globalizing Domain-Specific Languages, Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe (editors), Lecture Notes in Computer Science, Volume 9400, pp 21-42, November, 2015
2014
Bill Potter, Pieter Mosterman, and Tom Erkkinen,
"Mathworks Approach to MBD," in Digital Avionics Handbook, Third Edition, Cary R. Spitzer, Uma Ferrell, and Thomas Ferrell (editors), Chapter 40, pp. 40-1--40-9, CRC Press, Boca Raton, FL, ISBN 9781439868614, September, 2014.

Amel Bennaceur, Robert B. France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Akşit, Pär Emmanuelson, Huang Gang, Nikolaos Georgantas, and David Redlich,
"Mechanisms for Leveraging Models at Runtime in Self-adaptive Software," in Models@run.time, Nelly Bencomo, Robert B. France, Betty H. Cheng, and Uwe Aßmann (editors), Lecture Notes in Computer Science (LNCS), vol. 8378, pp. 19-46, Springer, ISBN 978-3-319-08915-7, 2014.
2013
Justyna Zander and Pieter J. Mosterman,
"Computation Taxonomy: Capabilities and Challenges," in Computation for Humanity: Information Technology to Advance Society, Justyna Zander and Pieter J. Mosterman (editors), Chapter 2, CRC Press, Boca Raton, FL, ISBN 9781439883273, November, 2013.
2012
Mirko Conrad and Pieter J. Mosterman,
"Model-Based Design Using Simulink—Modeling, Code Generation, Verification, and Validation," in Formal Methods: Industrial Use from Model to the Code, Jean-Louis Boulanger (editor), Chapter 4, pp 159-178, Wiley, 2012.
2011
Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman,
"A Taxonomy of Model-based Testing for Embedded Systems from Multiple Industry Domains," in Model-Based Testing for Embedded Systems, Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman (editors), Chapter 1, pp 3-22, CRC Press, 2011.
2007
Pieter J. Mosterman,
"Hybrid Dynamic Systems: Modeling and Execution," in Handbook of Dynamic System Modeling, Paul A. Fishwick (editor), Chapter 15, CRC Press, 2007.

Rohit Shenoy, Brian McKay, and Pieter J. Mosterman,
"On Simulation of Simulink Models for Model-Based Design," in Handbook of Dynamic System Modeling, Paul A. Fishwick (editor), Chapter 37, CRC Press, 2007.
2005
Pieter J. Mosterman, Sameer Prabhu, Andrew Dowd, John Glass, Tom Erkkinen, John Kluza, and Rohit Shenoy,
"Embedded Real-Time Control via MATLAB, Simulink, and xPC Target," Chapter 3.4 in Handbook on Networked and Embedded Systems, Dimitrios Hristu-Varsakelis and William S. Levine (editors), Birkhäuser, 2005.
2002
Manuel A. Pereira Remelhe, Sebastian Engell, Martin Otter, André Deparade, and Pieter J. Mosterman,
"An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics,", in Modelling, Analysis, and Design of Hybrid Systems, Sebastian Engell, Goran Frehse, and Eckehard Schnieder (editors), pp 83-105, Lecture Notes in Control and Information Sciences 279, Berlin, Springer, 2002.

Pieter J. Mosterman, Manuel A. Pereira Remelhe, Sebastian Engell, and Martin Otter,
"Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control," in Modelling, Analysis, and Design of Hybrid Systems, Sebastian Engell, Goran Frehse, and Eckehard Schnieder (editors), pp 369-390, Lecture Notes in Control and Information Sciences 279, Berlin, Springer, 2002.

Government Report

2013
Janos Sztipanovits, Susan Ying, Isaac Cohen, David Corman, Jim Davis, Himanshu Khurana, Pieter J. Mosterman, Venkatesh Prasad, and Lonny Stormo,
Strategic R&D Opportunities for 21st Century Cyber-Physical Systems report by the NIST Steering Committee for Foundations in Innovation for Cyber-Physical Systems, January, 2013.

Magazine Articles

2017
Pieter J. Mosterman and Justyna Zander,
"Implementing a Cyber-Physical System with MATLAB and Model-Based Design," in MATLAB Digest, May 22, 2017.
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam,
"Automated closed-loop model checking of implantable pacemakers using abstraction trees," in ACM SIGBED Review Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16), pages 15-23, Volume 14, Issue 2, March, 2017.
Pieter J. Mosterman and Justyna Zander,
"Implementing a Cyber-Physical System with MATLAB and Model-Based Design," in MathWorks News&Notes, February 9, 2017.
2015
Yan Wan, Shengli Fu, Justyna Zander, and Pieter J. Mosterman,
"Transforming On-Demand Emergency Communications with Drones—The needs, analyses and solutions," in Homeland Security Today Magazine, vol. 11, no. 9, pp. 32-35, 2015.
2014
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, and Justyna Zander,
"A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions," in Computing in Science & Engineering, vol. 12, issue 3, pp. 90-95, 2014.
2008
Pieter J. Mosterman,
"Opportunities for Success," in Vanderbilt University School of Engineering Research Report 2008, 2008.
2006
Jason R. Ghidella and Pieter J. Mosterman,
"Applying Model-Based Design to a Fault Detection, Isolation, and Recovery System," in Military Embedded Systems, Summer, 2006.

Blog Posts

2014
Justyna Zander and Pieter J. Mosterman,
"Model-Based Design of a Smart Emergency Response System," in DesignNews, August 28, 2014, guest blog.

Journal Articles

2016
Pieter J. Mosterman and Justyna Zander,
"Industry 4.0 as A Cyber-Physical System Study," in Software & Systems Modeling, Springer Berlin/Heidelberg, ISSN 1619-1366. vol. 15, nr. 1, pp. 17-29, 2016.

Pieter J. Mosterman and Justyna Zander,
"Cyber-Physical Systems Challenges—A Needs Analysis for Collaborating Embedded Software Systems," in Software & Systems Modeling, Springer Berlin/Heidelberg, ISSN 1619-1366. vol. 15, nr. 1, pp. 5-16, 2016.
2015
Justyna Zander, Pieter J. Mosterman, Taskin Padir, Yan Wan, and Shengli Fu,
"Cyber-physical Systems can Make Emergency Response Smart," in Procedia Engineering, vol. 107, pp. 312-318, 2015

Simon J E Taylor, Azam Khan, Katherine L. Morse, Andreas Tolk, Levent Yilmaz, Justyna Zander, and Pieter J. Mosterman,
"Grand Challenges for Modeling and Simulation: Simulation Everywhere - From Cyberinfrastructure to Clouds to Citizens," in SIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 91, nr. 7, pp. 648-665, 2015
2014
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, and Justyna Zander,
"Automating Humanitarian Missions with a Heterogeneous Fleet of Vehicles," in Annual Reviews in Control, vol. 38, issue 2, pp. 259-270, 2014.
2012
Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, and Ben Denckla
"A Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis," in Control Engineering Practice, vol. 20, nr. 1, pp. 2-13, January 2012.
2009
Juan de Lara, Tihamer Levendovszky, and Pieter J. Mosterman,
"Guest Editorial: Special Issue on Multi-paradigm Modeling," in SIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 85, nr. 11/12, pp. 685-687, 2009.
2008
Pieter J. L. Cuijpers, Jan F. Broenink, and Pieter J. Mosterman,
"Constitutive Hybrid Processes: A Process-Algebraic Semantics for Hybrid Bond Graphs," in SIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 84, nr. 7, pp. 339-358, 2008.
2007
Pieter J. Mosterman,
"On the Normal Component of Centralized Frictionless Collision Sequences," ASME Journal of Applied Mechanics, vol. 74, nr. 5, pp. 908-915, September, 2007.
2004
Pieter J. Mosterman and Hans Vangheluwe,
"Computer Automated Multi-Paradigm Modeling: An Introduction," in SIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 80, nr. 9, pp. 433-450, September, 2004. Editor Choice Article.

J. Olin Campbell, John R. Bourne, Pieter J. Mosterman, Mahmood Nahvi, Rassa Rassai, Arthur J. Brodersen, and Martine Dawant,
"Cost-Effective Distributed Learning With Electronics Labs," in Journal of Asynchronous Learning Networks, vol. 8, nr. 3, pp. 5-10, 2004.

Sebastian Engell and Pieter J. Mosterman,
"Guest Editorial: Special Issue on Computer Automated Multiparadigm Modeling," IEEE Transactions on Control System Technology, vol. 12, nr. 2, pp. 221-222, 2004.

Pieter J. Mosterman, Janos Sztipanovits, and Sebastian Engell,
"Computer Automated Multiparadigm Modeling in Control Systems Technology," in IEEE Transactions on Control System Technology special issue on Computer Automated Multiparadigm Modeling, vol. 12, nr. 2, pp. 223-234, 2004.
2002
Pieter J. Mosterman and Hans Vangheluwe,
"Guest Editorial: Special Issue on Computer Automated Multi-Paradigm Modeling," ACM Transactions on Modeling and Computer Simulation, vol. 12, nr. 4, pp. 249-255, 2002

Pieter J. Mosterman and Gautam Biswas,
"A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems," in SIMULATION: Transactions of The Society for Modeling and Simulation International, pp. 5-17, Vol. 78, No. 1, January, 2002. Editor Choice Article.

J. Olin Campbell, John Bourne, Pieter J. Mosterman and Arthur Brodersen,
"The Effectiveness of Learning Simulations for Electronics Laboratories,", Journal of Engineering Education, Vol. 91, No. 1, pp. 81-87, January, 2002.

Pieter J. Mosterman,
"HYBRSIM - A Modeling and Simulation Environment for Hybrid Bond Graphs," in Journal of Systems and Control Engineering, vol. 216, Part I, pp. 35-46, 2002, special issue paper awarded with the IMechE Donald Julius Groen Prize. PDF Version Available
2000
Martin Otter, Manuel A. Pereira Remelhe, Sebastian Engell, and Pieter J. Mosterman
"Hybrid Models of Physical Systems and Discrete Controllers," in at - Automatisierungstechnik, vol. 48, nr. 9, September, pp. 426-437, 2000. PDF Version Available

Eric-Jan Manders, Gautam Biswas, Pieter J. Mosterman, Lee A. Barford, and Robert Joel Barnett,
"Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed," IEEE Transactions on Instrumentation and Measurement, vol. 49, nr. 3, pp. 503-508, June, 2000.

Pieter J. Mosterman and Gautam Biswas,
"A Comprehensive Methodology for Building Hybrid Models of Physical Systems," Artificial Intelligence, 121, pp. 171-209, 2000.
1999
Dieter Moormann, Pieter J. Mosterman and Gertjan Looye,
"Object-Oriented Computational Model Building of Aircraft Flight Dynamics and Systems," Aerospace Science and Technology, no. 3, pp. 115-126, 1999.

Pieter J. Mosterman and Gautam Biswas,
"Diagnosis of Continuous Valued Systems in Transient Operating Regions," IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, nr. 6, pp. 554-565, November, 1999.
1998
Pieter J. Mosterman, Gautam Biswas and Janos Sztipanovits,
"A Hybrid Modeling and Verification Paradigm for Embedded Control Systems," in Control Engineering Practice, Number 6, pp. 511-521, 1998.

Pieter J. Mosterman and Gautam Biswas,
"A Theory of Discontinuities in Physical System Models," Journal of the Franklin Institute, Volume 335B, Number 3, pp. 401-439, January, 1998.
1996
Pieter J. Mosterman, J. Olin Campbell, Arthur J. Brodersen and John R. Bourne,
"Design and Implementation of an Electronics Laboratory Simulator," IEEE Transactions on Education, Volume 39, Number 3, pp. 309-313, August 1996.
1994
Pieter J. Mosterman, Marcel A.M. Dorlandt, J. Olin Campbell, Craig Burow, René Bouw, Arthur J. Brodersen and John R. Bourne,
"Virtual Engineering Laboratories: Design and Experiments," Journal of Engineering Education, pp. 279-285, July 1994.

Conference Papers

2017
Yue Zhang, Christos Cassandras, Wei Li, and Pieter J. Mosterman,
"A SimEvents Model for Hybrid Traffic Simulation," in Proceedings of Winter Simulation Conference (WSC'17), Las Vegas, NV, December 3-6, 2017. invited paper


Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, and Hans Vangheluwe,
"The Experiment Model and Validity Frame in M&S," in Proceedings of the Symposium on the Theory of Modeling and Simulation (TMS'17), pp. 1085-1096, Virginia Beach, VA, April 23-26, 2017.
2016
Wei Li, Ramamurthy Mani, and Pieter J. Mosterman,
"Extensible Discrete-Event Simulation Framework in SimEvents," in Proceedings of the Winter Simulation Conference 2016 (Wintersim 2016), Washington, D.C., December 11-14, 2016.


Wei Li, Ramamurthy Mani, Pieter J. Mosterman, and Teresa Hubscher-Younger,
"Simulating a Multicore Scheduler of Real-Time Control Systems in Simulink," in Proceedings of the Summer Simulation Multi-Conference 2016 (SummerSim 2016), Montreal, Canada, July 24-27, 2016.
2015
Justyna Zander, Pieter J. Mosterman, Taskin Padir, Yan Wan, and Shengli Fu,
"Cyber-Physical Systems Can Make Emergency Response Smart," in Proceedings of Humanitarian Technology: Science, Systems and Global Impact 2015 (HumTech2015), Boston, MA, May 12-14, 2015.
2014
Fu Zhang, Zhi Han, and Pieter J. Mosterman,
"Jacobian Pattern Synthesis and Application for Dynamic System Ensembles Using Boolean Linear Fraction Transformation," in Proceedings of the Summer Simulation Multi-Conference 2014 (SummerSim 2014), Monterey, CA, July 6-10, 2014.


Pieter J. Mosterman, Gabor Simko, Justyna Zander, and Zhi Han,
"A Hyperdense Semantic Domain for Hybrid Dynamic Systems to Model Different Classes of Discontinuities," in Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014), Berlin, Germany, April 15-17, 2014.


Justyna Zander and Pieter J. Mosterman,
"Semantics for an interdisciplinary computation (WIP)," in Proceedings of the Symposium on the Theory of Modeling and Simulation (TMS'14), page 5, Tampa, FL, April 13-16, 2014.


Joachim Denil, Pieter J. Mosterman, and Hans Vangheluwe
"Rule-Based Model Transformation For, and In Simulink," in Proceedings of the Symposium on the Theory of Modeling and Simulation (TMS'14), pp. 314-321, Tampa, FL, April 13-16, 2014. Spring Simulation Multi-Conference Overall Best Paper Award
2013
Péter Fehér, Tamás Mészáros, László Lengyel, and Pieter J. Mosterman,
"Data Type Propagation in Simulink Models with Graph Transformation," in Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2013), Budapest, Hungary, August 29-30, 2013.


Zhi Han, Pieter J. Mosterman, and Fu Zhang,
"A Graph Algorithm for Linearizing Simulink Models," in Proceedings of the Summer Simulation Multi-Conference (SummerSim 2013), pp. 4:1--4:8, Toronto, Canada, July 7-10, 2013.


Péter Fehér, Tamás Mészáros, László Lengyel, and Pieter J. Mosterman,
"A Novel Algorithm for Flattening Virtual Subsystems in Simulink Models," in Proceedings of the IEEE International Conference on System Science and Engineering (ICSSE 2013), pp. 369-375, Budapest, Hungary, July 4-6, 2013.


Zhi Han and Pieter J. Mosterman,
"Towards Sensitivity Analysis of Hybrid Systems Using Simulink," in proceedings of the 16thInternational Conference on Hybrid Systems: Computation and Control, pp. 95-100, Philadelphia, PA, April 8-11, 2013.


Justyna Zander and Pieter J. Mosterman,
"Semantics for an Interdisciplinary Computation," in proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13), San Diego, CA, USA, April 7-10, 2013.


Zhi Han, Pieter J. Mosterman, Justyna Zander, and Fu Zhang,
"Systematic Management of Simulation State for Multi-Branch Simulations in Simulink," in proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13), San Diego, CA, USA, April 7-10, 2013.
2012
Justyna Zander and Pieter J. Mosterman,
"Technical Engine for Democratization of Modeling, Simulations, and Predictions," in proceedings of the Winter Simulation Conference, Berlin, Germany, December 9-12, 2012.


Teresa Hubscher-Younger, Pieter J. Mosterman, Seth DeLand, Omar Orqueda, and Doug Eastman,
"Integrating Discrete-Event and Time-Based Models With Optimization for Resource Allocation," in proceedings of the Winter Simulation Conference, Berlin, Germany, December 9-12, 2012.
2011
Justyna Zander, Pieter J. Mosterman, Grégoire Hamon, and Ben Denckla,
"On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis," in proceedings of the 18th IFAC World Congress, pp. 9581-9586, Milan, Italy, August 28 - September 2, 2011.
2010
Justyna Zander, Pieter J. Mosterman, John S. Kinnebrew, and Gautam Biswas,
"Computation of Things for Human Protection and Fulfillment," in proceedings of the 2010 IEEE International Conference on Technologies for Homeland Security (IEEE-HST 2010), Waltham, MA, November 8-10, 2010.
Zhi Han and Pieter J. Mosterman,
"Detecting Data Store Access Conflict in Simulink by Solving Boolean Satisfiability Problems," in proceedings of the 2010 American Control Conference (ACC'10), pp. 5702 - 5707, Baltimore, MD, June 30-July 2, 2010.
2009
Pieter J. Mosterman, Justyna Zander, Gregoire Hamon, and Ben Denckla,
"Towards Computational Hybrid System Semantics for Time-Based Block Diagrams," in proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), A. Giua, C. Mahulea, M. Silva, and J. Zaytoon (editors), pp. 376-385, Zaragoza, Spain, September 16-18, 2009, plenary paper.

Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, and Alberto Sangiovanni-Vincentelli,
"Automatic Code Generation for Synchronous Reactive Communication," in proceedings of the 6th IEEE International Conference on Embedded Systems and Software (ICESS-09), pp. 40-47, Hangzhou, China, May 25-27, 2009.
2008
Pieter J. Mosterman, Don Bouldin, and Andrzej Rucinski,
"A Peer Reviewed Online Computational Modeling Framework," paper ID pmo131763 in proceedings of the CDEN 2008 Conference, Halifax, Nova Scotia, July 27-29, 2008.

Fu Zhang, Benito R. Fernández, Pieter J. Mosterman, and Timothy Josserand,
"Sliding Mode Control and Feedback Linearization for Nonregular Systems," in 17th IFAC World Congress, pp. 14426-14431, July 6-11, Seoul, Korea, 2008.

Brett Murphy, Chris Hayhurst, Jon Friedman, Coorous Mohtadi, Richard Anderson, and Pieter J. Mosterman,
"Verification and Validation Integrated within Processes Using Model-Based Design," in 17th IFAC World Congress, pp. 1056-1061, July 6-11, Seoul, Korea, 2008.

Fu Zhang, Murali Yeddanapudi, and Pieter J. Mosterman,
"Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation," in 17th IFAC World Congress, pp. 7967-7972, July 6-11, Seoul, Korea, 2008.

Ben Denckla and Pieter J. Mosterman,
"Stream- and State-Based Semantics of Hierarchy in Block Diagrams," in 17th IFAC World Congress, pp. 7955-7960, July 6-11, Seoul, Korea, 2008.

Juan de Lara, Tihamér Levendovszky, Pieter J. Mosterman, and Hans Vangheluwe,
"Current Issues in Multi-Paradigm Modeling," in Models in Software Engineering, pp. 237-246, Lecture Notes in Computer Science, vol. 5002, Springer Berlin, 2008.
2007
Pieter J. Mosterman, Jason R. Ghidella, and Elisabeth M. O'Brien,
"Model-Coverage as a Quality Measure and Teaching Tool for Embedded Control System Design," in proceedings of the 2007 Frontiers in Education Conference (FIE 2007), ISBN: 1-4244-1084-3, pp. T3J-1 through T3J-6, Milwaukee, Wisconsin, October 10-13, 2007.

Jason Ghidella, Pieter J. Mosterman, and Bradley Horton,
"Training of Fault Scenarios in Aerospace through Model Reuse," in proceedings of SimTect 2007, paper ID 82, Brisbane, Australia, June 4-7, 2007.

Paul Kinnucan and Pieter Mosterman,
"A Graphical Variant Approach to Object-Oriented Modeling of Dynamic Systems ," in proceedings of 2007 Summer Computer Simulation Conference (SCSC'07), pp. 513-521, San Diego, CA, July 15-18, 2007.

Pieter J. Mosterman and Elisabeth M. O'Brien,
"Hybrid Dynamic Systems in an Industry Design Application,", Soft Computing in Industrial Applications, ASC 39, Ashraf Saad (editor), pp 1-16, Springer-Verlag, Berlin, 2007, keynote paper.

Indranil Roychoudhury, Matthew Daigle, Gautam Biswas, Xenofon Koutsoukos, and Pieter Mosterman,
"A Method for Efficient Simulation of Hybrid Bond Graphs," in the proceedings of the 8th International Conference on Bond Graph Modeling and Simulation (ICBGM'2007) at the 2007 Western Simulation Multi-Conference, pp. 177-184, January 15-17, San Diego, CA, 2007.
2006
Ben Denckla and Pieter J. Mosterman,
"Block Diagrams as a Syntactic Extension to Haskell," in the proceedings of the Workshop on Multi-Paradigm Modeling: Concepts and Tools at the 9th International Conference on Model-Driven Engineering Languages and Systems, pp. 67-79, October 3, Genova, Italy, 2006.

Pieter J. Mosterman,
"Automatic Code Generation: Facilitating New Teaching Opportunities in Engineering Education," in Proceedings of the 2006 Frontiers in Education Conference (FIE 2006), pp. S1F-1 through S1F-6, October 28-31, San Diego, California, 2006.

Terry Denery, Jason R. Ghidella, Pieter J. Mosterman, and Rohit Shenoy,
"Creating Flight Simulator Landing Gear Models Using Multidomain Modeling Tools," in Proceedings of the AIAA Modeling and Simulations Technologies Conference and Exhibit 2006, paper ID 2006-6821, August 21-24, Keystone, Colorado, 2006.

Christos G. Cassandras, Michael I. Clune, and Pieter J. Mosterman,
"Hybrid System Simulation With SimEvents," in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp. 267-269, June 7-9, Alghero, Sardinia, Italy, 2006.

Christopher D. Beers, Eric-Jan Manders, Gautam Biswas, and Pieter J. Mosterman,
"Building Efficient Simulations From Hybrid Bond Graph Models," in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp. 71-76, June 7-9, Alghero, Sardinia, Italy, 2006.
2005
Ben Denckla and Pieter J. Mosterman,
"Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems," in 44th IEEE Conference on Decision and Control, pp. 4193-4198, December 12-15, Seville, Spain, 2005.

Jason R. Ghidella, Pieter J. Mosterman, and William Aldrich,
"Verifying and Validating Embedded Software using Model-Based Design," in proceedings of Telelogic Americas User Group Conference, October 23-26, Hollywood, CA, 2005, invited paper.

Pieter J. Mosterman, Rohit Shenoy, Jason R. Ghidella, and Brett Murphy,
"Model-Based Design for Test Vector Verification," in Autotestcon 2005, pp. 628-634, September 26-29, Orlando, Florida, 2005.

Jason R. Ghidella and Pieter J. Mosterman,
"Requirements-Based Testing in Aircraft Control Design," Paper ID AIAA 2005-5886 in AIAA Modeling and Simulations Technologies Conference and Exhibit 2005, August 15-18, San Francisco, California, 2005.

Pieter J. Mosterman, Jason Ghidella, and Jon Friedman,
"Model-Based Design for System Integration," in The Second CDEN International Conference on Design Education, Innovation, and Practice, pp. TB-3-1 through TB-3-10, July 18-20, Kananaskis, Alberta, Canada, 2005.
2004
Pieter J. Mosterman and John E. Ciolfi,
"Using Interleaved Execution to Resolve Cyclic Dependencies in Time-Based Block Diagrams," in Proceedings of 43rd IEEE Conference on Decision and Control (CDC'04), pp. 4057-4062, December 14 - 17, Atlantis, Paradise Island, Bahamas, 2004.

Juan de Lara, Hans Vangheluwe, and Pieter J. Mosterman,
"Modelling and Analysis of Traffic Networks based on Graph Transformation," in Proceedings of the FORMS/FORMATS’2004 Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 120-127, December 2 - 3, Braunschweig, Germany, 2004.

Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman,
"Constitutive Hybrid Processes," in Proceedings of the International Mediterranean Modelling Multiconference 2004 (I3M 2004), vol. 1 of the Conference on Conceptual Modeling and Simulation (CMS 2004), pp. 361-367, October, Bergeggi, Italy, 2004.

Simon-Lacoste Julien, Hans Vangheluwe, Juan de Lara, and Pieter Mosterman,
"Meta-Modelling Hybrid Formalisms" in Proceedings of the IEEE Symposium on Computer Aided Control System Design (CACSD 2004), special section on computer automated multi-paradigm modeling, pp. 65-70, September 2 - 4, Taipei, Taiwan, 2004.

Pieter J. Mosterman and Jason Ghidella,
"Model Reuse for the Training of Fault Scenarios in Aerospace," in Proceedings of the AIAA Modeling and Simulation Technologies Conference, CD-ROM, paper 2004-4931, August 16 - 19, Rhode Island Convention Center, Providence, RI, 2004.

Pieter J. Mosterman, Sameer Prabhu, and Tom Erkkinen,
"An Industrial Embedded Control System Design Process," in Proceedings of The Inaugural CDEN Design Conference (CDEN'04), pp. 02B6-1 through 02B6-11, July 29 - 30, Montreal, Quebec, Canada, 2004.

Ben Denckla and Pieter J. Mosterman,
"An Intermediate Representation and Its Application to the Analysis of Block Diagram Execution," in Proceedings of the 2004 Summer Computer Simulation Conference (SCSC'04), pp. 167-172, July 25 - 29, San Jose, CA, 2004.

Sameer M. Prabhu and Pieter J. Mosterman,
"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation," in Proceedings of IMAC-XXII: A Conference on Structural Dynamics, Society for Experimental Mechanics, Inc., ISBN: 0-912053-86-0, CD-ROM, January 26-29, Dearborn, MI, 2004.
2003
Pieter J. Mosterman,
"Mode Transition Behavior in Hybrid Dynamic Systems," in Proceedings of 2003 Winter Simulation Conference, pp. 623-631, December 7-10, New Orleans, LA, 2003, invited paper. PDF Version Available
2002
Pieter J. Mosterman and John E. Ciolfi,
"Embedded Code Generation for Efficient Reinitialization,", in Proceedings of the IFAC Congress, pp. 2949-2954, CD-ROM, 6 pages, Barcelona, Spain, July, 2002.

Pieter J. Mosterman and John E. Ciolfi,
"Automatic Embedded Code Generation for Efficient Re-Initialization Constructs," in Proceedings of the International Conference on Integrated Design and Process Technology (IDPT), page 41 (abstract), full paper on CD-ROM, Pasadena, CA, June, 2002.

Hans L. Vangheluwe, Juan de Lara, and Pieter J. Mosterman,
"An Introduction to Multi-Paradigm Modelling and Simulation,", in Proceedings of the AIS'2002 Conference (AI, Simulation and Planning in High Autonomy Systems), Fernando Barros and Norbert Giambiasi (editors), pp. 9-20, Lisboa, Portugal, April, 2002.
2001
Robert Höpler and Pieter J. Mosterman,
"Model Integrated Computing in Robot Control to Synthesize Real-time Embedded Code," in Proceedings of the IEEE International Conference on Control Applications, pp. 767-772, Mexico City, Mexico, September, 2001, invited paper. PDF Version Available

Pieter J. Mosterman,
"Diagnosis of Physical Systems With Hybrid Models Using Parametrized Causality," in Hybrid Systems: Computation and Control '01, pp. 447-458, Rome, Italy, March, 2001. PDF Version Available

Philippus J. Feenstra, Pieter J. Mosterman, Gautam Biswas, and Peter C. Breedveld,
"Bond Graph Modeling Procedures for Fault Detection and Isolation of Complex Flow Processes," in Proceedings of the International Conference on Bond Graph Modeling and Simulation, pp. 77-82, Phoenix, AZ, January, 2001.
2000
Pieter J. Mosterman,
"Implicit Modeling and Simulation of Discontinuities in Physical System Models," in The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 35-40, Dortmund, Germany, September, 2000, invited paper.

Pieter J. Mosterman, Peter Neumann, and Carsten Preusche,
"Modeling Systems with Variable Algebraic Constraints for Explicit Integration Methods," in The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 251-256, Dortmund, Germany, September, 2000. PDF Version Available

Pieter J. Mosterman and Hans Vangheluwe,
"Computer Automated Multi-Paradigm Modeling in Control System Design," in Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD00), pp. 65-70, Anchorage Hilton, Anchorage, Alaska, USA, September 25-27, 2000. PDF Version Available

Eric J. Manders, Sriram Narasimhan, Gautam Biswas, and Pieter J. Mosterman,
"A Combined Qualitative/Quantitative Approach for Efficient Fault Isolation in Complex Dynamic Systems," in In Proceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp. 1074-1079, Budapest, Hungary, June 2000. PDF Version Available

Philippus J. Feenstra, Eric J. Manders, Pieter J. Mosterman, Gautam Biswas and Joel Barnett
"Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System," in Proceedings of the IEEE SoutheastCon 2000, pp. 365-372, April, Nashville, TN, 2000.
1999
Pieter J. Mosterman and Gautam Biswas,
"Building Hybrid Automata of Complex Physical Systems for Real-Time Applications," in Proceedings of the Conference on Decision and Control, pp. 3514-3519, December, Phoenix, 1999, invited paper.

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," IEEE Instrumentation and Measurement Technology Conference, pp. 498-503, Venice, Italy, May, 1999.

Pieter J. Mosterman and Peter Breedveld,
"Some Guidelines for Stiff Model Implementation with the Use of Discontinuities," in proceedings of the International Conference on Bond Graph Modeling (ICBGM99), pp. 175-180, San Francisco, January, 1999. HTML Version Available

Pieter J. Mosterman and Gautam Biswas,
"A Java Implementation of an Environment for Hybrid Modeling and Simulation of Physical Systems," in proceedings of the International Conference on Bond Graph Modeling (ICBGM99), pp. 157-162, San Francisco, January, 1999. HTML Version Available
1998
Pieter J. Mosterman and Gautam Biswas,
"Hybrid Automata for Modeling Discontinuous State Vector Value Changes in Complex Systems," in IFAC International Symposium on Artificial Intelligence in Real-Time Control, Grand Canyon National Park, AZ, October 1998.

Pieter J. Mosterman, Feng Zhao and Gautam Biswas,
"An Ontology for Transitions in Physical Dynamic Systems," in Proceedings of the National Conference on Artificial Intelligence (AAAI-98), pp. 219-224, July, Madison, WI, 1998.

Pieter J. Mosterman, Gautam Biswas and Martin Otter,
"Simulation of Discontinuities in Physical System Models Based on Conservation Principles," in Proceedings of SCS Summer Conference, pp. 320-325, July 19-21, Reno, Nevada, 1998.

Pieter J. Mosterman, Martin Otter and Hilding Elmqvist,
"Modeling Petri Nets as Local Constraint Equations for Hybrid Systems using Modelica," in Proceedings of SCS Summer Conference, pp. 314-319, July 19-21, Reno, Nevada, 1998.

Pieter J. Mosterman, Jan F. Broenink and Gautam Biswas,
"Model Semantics and Simulation of Time Scale Abstractions in Collision Models," in Proceedings of Eurosim '98, pp. 230-237, April 14-17, Helsinki, Finland, 1998.
1997
Pieter J. Mosterman, Feng Zhao and Gautam Biswas,
"Model Semantics and Simulation for Hybrid Systems Operating in Sliding Regimes," in Proceedings of the AAAI Fall Symposium 97 on Model-directed Autonomous Systems, pp. 48-55, October, Boston, MA, 1997. HTML Version Available

Pieter J. Mosterman and Gautam Biswas,
"Principles for Modeling, Verification, and Simulation of Hybrid Dynamic Systems," In Proceedings of the Fifth International Conference on Hybrid Systems, pp. 21-27, September 11-13, Notre Dame, Indiana, 1997. HTML Version Available

Pieter J. Mosterman and Gautam Biswas,
"Formal Specifications for Hybrid Dynamical Systems," in Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 568-573, August 23-29, Nagoya, Japan, 1997.

Pieter J. Mosterman and Gautam Biswas,
"Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems," in Proceedings of AAAI-97, pp. 100-105, July, Providence, Rhode Island, 1997.

Pieter J. Mosterman, Gautam Biswas and Janos Sztipanovits,
"Hybrid Modeling and Verification of Embedded Control Systems," in Proceedings of the 7th IFAC CACSD '97 Symposium, pp. 21-26, April 28-30, Gent, Belgium, 1997.

Pieter J. Mosterman and Gautam Biswas,
"Hybrid Modeling Specifications for Dynamic Physical Systems," in Proceedings of the 1997 International Conference on Bond Graph Modeling and Simulation (ICBGM '97), pp. 162-167, January 12-15, Phoenix, AZ, 1997.
1996
Pieter J. Mosterman and Gautam Biswas,
"Verification of Hybrid Physical System Models," 1996 ASME International Mechanical Engineering Congress, pp. 707-714, November 17-22, Atlanta, GA, 1996.

Pieter J. Mosterman and Gautam Biswas,
"A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models," Proc. of AAAI-96, pp. 985-990, August 2-4, Portland, Oregon, 1996.
1995
Dean F. Sittig, Robijn Hage, Pieter J. Mosterman, J. Olin Campbell, Arthur J. Brodersen and John R. Bourne,
"All Computer-Based Educational Programs are not Created Equal,"
Proceedings of the 14th National Computer Conference on Computer in Education and Training, pp. 123-135, April 1-4, Riyadh, Kingdom of Saudi Arabia, 1995.

Pieter J. Mosterman and Gautam Biswas,
"Behavior Generation using Model Switching: A Hybrid Bond Graph Modeling Technique," Proceedings of the International Conference on Bond Graph Modeling '95, vol. 27, no. 1, pp. 177-182, Society for Computer Simulation, San Diego, CA, 1995.
1993
Arthur J. Brodersen, John R. Bourne, J. Olin Campbell, René Bouw, Craig Burow, Martine Mommer and Pieter J. Mosterman,
"The ELF Project: Creating the Engineering Laboratory of the Future," Proceedings of the 1993 Frontiers in Education Conference (FIE) Twenty-Third Annual Conference, pp. 277-279, 1993.

Workshop Papers

2016
Ken Vanherpen, Joachim Denil, István Dávid, Paul De Meulenaere, Pieter J. Mosterman, Martin Törngren, Ahsan Qamar and Hans Vangheluwe,
Ontological Reasoning for Consistency in the Design for Cyber-Physical Systems, Cyber-Physical Production Systems (CPPS) workshop, Vienna, Austria, April 12, 2016.


Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam,
Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, Medical Cyber Physical Systems Workshop 2016, Vienna, Austria, April 11, 2016.
2013
Pieter J. Mosterman, Gabor Simko, and Justyna Zander,
"A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models," in proceedings of the 7th International Workshop on Multi-Paradigm Modeling (MPM'13) at the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS) conference, pp. 37-46, Miami, FL, September 30, 2013.


Péter Fehér, Tamás Mészáros, Pieter J. Mosterman, and László Lengyel,
"Flattening Virtual Simulink Subsystems with Graph Transformation," in proceedings of the 6th Complex Systems Modelling and Simulation Workshop (CoSMoS 2013) at the Unconventional Computation & Natural Computation (UCNC) conference, pp. 39-60, Milano, Italy, July 1, 2013.


Pieter J. Mosterman, Justyna Zander, and Zhi Han,
"The Towers of Hanoi as a Cyber-Physical System Education Case Study," in proceedings of the First Workshop on CPS Education, Magnus Egerstedt, Jeff C. Jensen, Rajesh Gupta, and Edward A. Lee (editors), Philadelphia, PA, April 8, 2013.
2012
Pieter J. Mosterman and Justyna Zander,
"Modeling Approximations of Computational Semantics for Cyber-Physical System," in proceedings of the Challenge Workshop MSO-Tools 2012 Modeling, Simulation and Optimisation Tools, Volker Mehrmann and Andreas Steinbrecher (editors), pp. 15, Berlin, Germany, September 24-26, 2012, keynote paper.
2011
Pieter J. Mosterman and Justyna Zander,
"Advancing Model-Based Design by Modeling Approximations of Computational Semantics," in proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2011), François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (editors), pp. 3-7, Zürich, Switzerland, September 5, 2011, keynote paper.
2010
Justyna Zander and Pieter J. Mosterman,
"Computation of Things for Sustainable Development," in proceedings of the Workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security (MSAHS-2010), Arlington, VA, March 17-18, 2010.
2008
Justyna Zander-Nowicka, Pieter J. Mosterman, and Ina Schieferdecker,
"Quality of Test Specification by Application of Patterns," in proceedings of the 2nd International Workshop on Software Patterns and Quality (SPAQu'09) at the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008), ISBN 978-1-60558-151-4, pp. 1-6, Nashville, TN, October 20, 2008.
Pieter J. Mosterman,
"Elements of a Robotics Research Road-map: a Model-based Design Perspective," in proceedings of the Workshop on Manufacturing and Automation, Washington, D.C., June 17, 2008.
2007
Michael V. Woodward and Pieter J. Mosterman,
"Challenges for Embedded Software Development," in proceedings of the IEEE International Northeast Workshop on Circuits and Systems (NEWCAS'07), pp. 630-633, Montreal, Canada, August 5-8, 2007, invited paper.
2006
Pieter J. Mosterman,
"Networked Embedded Systems," Proceedings of Beyond SCADA: Networked Embedded Control for Cyber Physical Systems, paper ID 31, Pittsburgh, PA, November 8-9, 2006.

Michael I. Clune, Pieter J. Mosterman, and Christos G. Cassandras,
"Discrete Event and Hybrid System Simulation with SimEvents," in Proceedings of the 8th International Workshop on Discrete Event Systems, pp. 386-387, July 10-12, Ann Arbor, Michigan, 2006

Gregory Batt, Jeremy Bradley, Roland Ewald, Francois Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde Uhrmacher,
"Working Groups Report: The Challenge of Combining Simulation and Verification," in Dagstuhl Seminar Proceedings 06161: Simulation and Verification of Dynamic Systems, David M. Nicol, Corrado Priami, Hanne Riis Nielson, and Adelinde M. Uhrmacher (eds.), April 17-22, Dagstuhl, Germany, 2006.
2005
Ben Denckla, Pieter J. Mosterman, and Hans Vangheluwe,
"Towards An Executable Denotational Semantics For Causal Block Diagrams," in Proceedings of the 5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05), Tolvanen, J.-P., Sprinkle, J., Rossi, M., (eds.), Computer Science and Information System Reports, Technical Reports, TR-36, University of Jyväskylä, Finland 2005, ISBN 951-39-2202-2, October, 2005.
2000
Pieter J. Mosterman, Eric J. Manders, and Gautam Biswas,
"Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops," in Proceedings of the Eleventh International Workshop on Principles of Diagnosis (DX'00), pp. 155-162, Morelia, Mexico.

Pieter J. Mosterman and Gautam Biswas,
"Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems," in Hybrid Systems: Computation and Control '00, Nancy Lynch and Bruce H. Krogh (eds.), Lecture Notes in Computer Science, vol. 1790, pp. 324-337, March, Pittsburgh, PA, 2000.
1999
Pieter J. Mosterman,
"Towards Model Manipulation for Efficient and Effective Simulation and Instructional Methods," in Proceedings of Distributed Modelling and Simulation of Complex Systems for Education, Training and Knowledge Capitalisation, May 26-29, Eze, 1999, invited paper.

Pieter J. Mosterman, Feng Zhao and Gautam Biswas,
"Sliding Mode Model Semantics and Simulation for Hybrid Systems," in Hybrid System V, Lecture Notes in Computer Science vol. 1567, Panos Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, and Shankar Sastry (eds.), pp. 218-237, 1999.

Pieter J. Mosterman and Gautam Biswas,
"Deriving Discontinuous State Changes for Reduced Order Systems and the Effect on Compositionality," in Proceedings of the Thirteenth International Workshop on Qualitative Reasoning (QR99), pp. 160-168, Lock Awe Hotel, Scotland, June 6-9, 1999.

Eric J. Manders, Pieter J. Mosterman, and Gautam Biswas,
"Signal to Symbol Transformation Techniques for Robust Diagnosis in TRANSCEND," in Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX99), pp. 155-165, Lock Awe Hotel, Scotland, June 8-11, 1999.

Pieter J. Mosterman, Eric J. Manders, and Gautam Biswas,
"Predicting Dynamic Behavior Using Physical System Models with Algebraic Loops," in Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX99), pp. 155-165, Lock Awe Hotel, Scotland, June 8-11, 1999.

Lee Barford, Eric J. Manders, Gautam Biswas, Pieter J. Mosterman, Vishnu Ram, and Joel Barnett,
"Derivative Estimation for Diagnosis," in 1999 IEEE International Workshop On Emerging Technologies, pp. 9-12, Venice, Italy, May 20, 1999.

Pieter J. Mosterman and Gautam Biswas,
"Building Hybrid Observers for Complex Dynamic Systems using Model Abstractions," in Hybrid Systems: Computation and Control '99, Frits W. Vaandrager and Jan H. van Schuppen (eds.), Lecture Notes in Computer Science vol. 1569, pp. 178-192, 1999.

Pieter J. Mosterman,
"An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages," in Hybrid Systems: Computation and Control '99, Frits W. Vaandrager and Jan H. van Schuppen (eds.), Lecture Notes in Computer Science, vol. 1569, pp. 165-177, 1999.
1998
Sriram Narasimhan, Pieter J. Mosterman and Gautam Biswas,
"A Systematic Analysis of Measurement Selection Algorithms for Fault Isolation in Dynamic Systems," in Proceedings of the International Workshop on Diagnosis Principles, pp. 94-101, Cape Cod, MA, 1998.

Pieter J. Mosterman, Gautam Biswas and Eric-Jan Manders,
"A Comprehensive Framework for Model Based Diagnosis," in Proceedings of the International Workshop on Diagnosis Principles, pp. 86-94, Cape Cod, MA, 1998.

Pieter J. Mosterman, Feng Zhao and Gautam Biswas,
"A Study of Transitions in Dynamic Behavior of Physical Systems," in Proceedings of the 12th International Workshop on Qualitative Reasoning, pp. 96-105, Cape Cod, MA, 1998.
1997
Pieter J. Mosterman and Gautam Biswas,
"Model Based Diagnosis of Dynamic Systems," in Seventh Journees du L.I.P.N., pp. 143-154, September 18-19, University of Paris-Nord, Villetaneuse, France, 1997. HTML Version Available

Pieter J. Mosterman, Gautam Biswas and Narasimhan Sriram,
"Measurement Selection and Diagnosability of Complex Physical Systems," Eighth International Workshop on Principles of Diagnosis (DX-97), pp. 79-86, September 15-18, Mont. St. Michel, France, 1997. HTML Version Available

Pieter J. Mosterman, Narasimhan Sriram, Gautam Biswas, Takashi Washio and Shinji Yoshikawa,
"Process Diagnosis in Transient Operating Regions: Fault detection and isolation in a liquid sodium cooling system" in Working Papers - Third Workshop on Engineering Problems for Qualitative Reasoning, pp. 45-54, IJCAI-97, August, Nagoya, Japan, 1997.

Pieter J. Mosterman and Gautam Biswas,
"Formal Specifications from Hybrid Bond Graph Models," In Proceedings of the Eleventh International Workshop on Qualitative Reasoning, pp. 131-142, June 3-6, Tuscany, Italy, 1997.
1996
Pieter J. Mosterman and Gautam Biswas,
"Analyzing Discontinuities in Physical System Models," Proceedings of the 10th International Workshop on Qualitative Reasoning, pp. 164-173, May 20-24, Stanford Sierra Camp, Fallen Leaf Lake, CA, 1996. HTML Version Available
1995
Pieter J. Mosterman, Ravi Kapadia and Gautam Biswas,
"Using Bond Graphs for Diagnosis of Dynamic Physical Systems," Proceedings of DX-95, the Sixth International Workshop on Principles of Diagnosis, pp. 81-85, October 2-4, Goslar, Germany, 1995.

Pieter J. Mosterman and Gautam Biswas,
"Modeling Discontinuous Behavior with Hybrid Bond Graphs," Proceedings of the 9th International Workshop on Qualitative Reasoning about Physical Systems, pp. 139-147, May 16-19, Amsterdam, The Netherlands, 1995.

Technical Reports

2016
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam,
Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, Technical Report MLAB-89, Real-Time and Embedded Systems Lab, University of Pennsylvania, Philadelphia, PA, March, 2016.
2015
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam,
Abstraction-Tree For Closed-loop Model Checking of Medical Devices, Technical Report MLAB-73, Real-Time and Embedded Systems Lab, University of Pennsylvania, Philadelphia, PA, June, 2015.
2004
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman,
Constitutive Hybrid Processes, Technical Report CSR 04-12, Technical University of Eindhoven, Eindhoven, Netherlands, June, 2004.
2002
Pieter J. Mosterman,
Closed Form Solutions for Two Classes of Zero Order Causal Paths in Bond Graphs, technical report DLR-IB-515-02-04, Institute of Robotics and Mechatronics, DLR Oberpfaffenhofen, 2002.
2001
Pieter J. Mosterman,
MASIM - A Hybrid Dynamic Systems Simulator, technical report DLR-IB-515-01-07, Institute of Robotics and Mechatronics, DLR Oberpfaffenhofen, 2001.

Pieter J. Mosterman,
Higher Intelligence in Embedded Systems Design and Operation: A research and development proposal, technical report DLR-IB-515-01-02, Institute of Robotics and Mechatronics, DLR Oberpfaffenhofen, 2001. HTML Version Available
2000
Pieter J. Mosterman,
Handling the Normal Component in Frictionless Collision Sequences With Central Impact, technical report DLR IB 515-00-10, Institute for Robotics and Mechatronics, DLR Oberpfaffenhofen, 2000.

Pieter J. Mosterman,
A Simulation Environment for Hybrid Dynamic Systems, technical report DLR IB 515-00/2, Institute for Robotics and Mechatronics, DLR Oberpfaffenhofen, 2000.
1999
Pieter J. Mosterman,
An Aircraft Elevator System as a Benchmark for Hybrid Dynamic Systems Modeling, technical report DLR IB 515-99/21, Institute for Robotics and System Dynamics, DLR Oberpfaffenhofen, 1999.
1998
Pieter J. Mosterman and Gautam Biswas,
Modeling and Simulation Semantics for Hybrid Dynamic Physical Systems, technical report DLR IB 515-98-26, Institute for Robotics and System Dynamics, DLR Oberpfaffenhofen, 1998.

Pieter J. Mosterman,
State Space Projection onto Linear DAE Manifolds Using Conservation Principles, technical report DLR IB 575-98-29, Institute for Robotics and System Dynamics, DLR Oberpfaffenhofen, 1998. HTML Version Available

Eric J. Manders, Vishnu V. Ram, Joel Barnett, Gautam Biswas and Pieter J. Mosterman,
The Engine Testbed: An Experimental System for Model-Based Monitoring, Prediction and Fault Isolation, technical report #CS-98-03, Computer Science Department, Vanderbilt University, 1998.
1997
Pieter J. Mosterman,
"Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis," Ph.D. Thesis, Vanderbilt University, 1997.
1996
Pieter J. Mosterman,
Hybrid Modeling of Dynamic Physical Systems: An application in diagnosis, area paper, technical report #ECE-96-03, Center for Intelligent Systems, Electrical Engineering Department, Vanderbilt University, 1996.

Pieter J. Mosterman and Gautam Biswas,
Prediction, Monitoring, and Diagnosis in Complex Dynamic Systems, proposal for PNC, technical report #ECE-96-04, Center for Intelligent Systems, Electrical Engineering Department, Vanderbilt University, 1996.
1991
Pieter J. Mosterman,
Structured Specifications for Control System Implementation, MSc. Thesis, technical report #91R076, Control Laboratory, Electrical Engineering Department, University of Twente, The Netherlands, 1991.

Jerry Dehner, John Bourne, Jeff Cantwell, Arthur Brodersen, Pieter J. Mosterman, Zhihe Jiang, Brian Antao, and Martine Dawant,
Building Object-Based Intelligent Tutoring Systems for Industrial Education, technical report #CIS-91-01, Center for Intelligent Systems, Electrical Engineering Department, Vanderbilt University, 1991.
1990
Pieter J. Mosterman,
NPI Workshop Team Synergy Subsystem, technical report #CIS-90-07, Center for Intelligent Systems, Electrical Engineering Department, Vanderbilt University, 1990.
1989
Pieter J. Mosterman,
Implicit modeling of nonlinear systems with neural networks, technical report #89R203, Control Laboratory, Electrical Engineering Department, University of Twente, The Netherlands, 1989.

This page is last updated by Pieter J. Mosterman.