This page contains links to publications (co-)authored by Pieter J. Mosterman.
| 2020 |
|
- Pieter J. Mosterman, Akshay Rajhans, Anastasia Mavrommati, and Roberto G. Valenti,
- "Simulation of Hybrid Dynamic Systems,"
in Encyclopedia of Systems and Control, John Baillieul and Tariq Samad (editors), pp. 1-20, Springer, London, May, 2020
- Pieter J. Mosterman,
- Foreword,
in Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, Paulo Carreira, Vasco Amaral, and Hans Vangheluwe (editors), pp. vii-viii, Springer, London, 2020
|
| 2019 |
|
- Sebastian Castro, Pieter J. Mosterman, Akshay H. Rajhans, and Roberto G. Valenti,
- "Challenges in the Operation and Design of Intelligent Cyber-Physical Systems,"
in Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Saurabh Mittal and Andreas Tolk (editors), pp 27-51, Wiley, Hoboken, New Jersey, December, 2019
|
| 2016 |
|
- Christopher Carothers, Alois Ferscha, Richard Fujimoto, David Jefferson, Margaret Loper, Madhav Marathe, Pieter J. Mosterman, Simon J. E. Taylor, and Hamid Vakilzadian,
- "Computational Challenges in Modeling and Simulation,"
in Research Challenges in Modeling & Simulation for Engineering Complex Systems, R. Fujimoto, C. Bock, W. Chen, E. Page, J.H. Panchal (editors), pp 45-74, Springer, Cham, Switzerland, August, 2017
|
| 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.
|
| 2022 |
|
- Mehmet Necip Kurt, Yasin Yılmaz, Xiaodong Wang, and Pieter J. Mosterman,
- "Online Privacy-Preserving Data-Driven Network Anomaly Detection," in IEEE Journal on Selected Areas in Communications, vol. 40, no. 3, pp. 982-998, March 2022.
|
| 2021 |
|
- Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti,
Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, and Hosam Fathy,
- "A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections," in IEEE Control Systems Letters (L-CSS), vol. 5, issue 6, pp. 2144-2149, December, 2021.
|
| 2019 |
|
- Frank Allgöwer, João Borges de Sousa, James Kapinski, Pieter Mosterman, Jens Oehlerking, Patrick Panciatici, Maria Prandini, Akshay Rajhans, Paulo Tabuada, and Philipp Wenzelburger,
- "Position paper on the challenges posed by modern applications to cyber-physical systems theory," in Nonlinear Analysis: Hybrid Systems, ISSN 1751-570X, vol. 34, pp. 147-165, November, 2019.
- Yue Zhang, Christos G. Cassandras, Wei Li, and Pieter J. Mosterman,
- "A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity," in Discrete Event Dynamic Systems, ISSN 0924-6703, vol. 29, issue 3, pp. 265-295, September, 2019.
|
| 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.
|
| 2021 |
|
- Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, and Roberto G. Valenti,
- "Specification and Runtime Verification of Temporal Assessments in Simulink," in Runtime Verification: 21st International Conference, pp. 288-296, October 11-14, 2021.
- Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, and Pieter J. Mosterman,
- "An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators," in 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), pp. 915-920, August 23-27, 2021.
|
| 2020 |
|
- Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, and Roberto G. Valenti,
- "A Simulator for Trading Traffic Privileges by Selfish Driving Cars," in Proceedings of the Spring Simulation Conference (SpringSim'20), virtual conference, May 18-21, 2020.
|
| 2018 |
|
- Andreas Tolk, Fernando Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz,
- "Hybrid simulation for cyber physical systems---a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation," in Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems (SpringSim-MSCIAAS 2018), Baltimore, MD, April 15-18, 2018.
- Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, and Fu Zhang
- "Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow," in Proceedings of 21st International Conference on Hybrid Systems: Computation and Control (HSCC'18), pp. 247-252, Porto, Portugal, April 11-13, 2018.
- Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, and Fu Zhang
- "Graphical Hybrid Automata with Simulink and Stateflow," in Proceedings of 21st International Conference on Hybrid Systems: Computation and Control (HSCC'18), pp. 267-268, Porto, Portugal, April 11-13, 2018.
|
| 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), pp. 1455-1466, 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/FORMATS2004 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.
|
| 2018 |
|
- Yue Zhang, Christos G. Cassandras, Wei Li, and Pieter J. Mosterman,
- A Discrete-Event and Hybrid Simulation Framework Based on SimEvents for Intelligent Transportation System Analysis,
14th Workshop on Discrete Event Systems (WODES 2018), Sorrento Coast, Italy, May 30 - June 1, 2018.
|
| 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.
|
| 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.
|