PIETER J. MOSTERMAN
72 Nicholas Road #63
Framingham, MA 01701
USA
tel. (508) 788 5098
e-mail: pmosterman [a] yahoo.com
Pieter J. Mosterman
SUMMARY Researcher, innovator, and people connector with 20+ years of engineering experience, more than 100 peer-reviewed publications, and over 100 patents. Passionate about building new programs and leading cutting edge technology initiatives. Oversees the patent portfolio and strategy at MathWorks. Influencer and worldwide leading expert in the model-based design community.

Founder of the MathWorks Advanced Research & Technology Office that is chartered along three dimensions.

  • Innovate and Create Intellectual Property (IP): Defines and leads technology demonstrator (halo) projects. Authors advanced research publications. Oversees patent portfolio development and strategy.
  • Engage the Research Community: Manages and cultivates relationship with expert influencers in academic research. Founded the MathWorks Research Summit network of excellence across academia, government, and industry to strengthen and valorize research. Advises multinational government agencies on strategy and research roadmaps.
  • Transfer Technology: Directs and manages the research grant program for technology research and transfer. Identifies high impact research areas and provides advanced technology thought leadership.
EXPERIENCE
06/16 -
MATHWORKS Natick, MA
Chief Research Scientist and Director, Advanced Research & Technology Office
5/09 - MCGILL UNIVERSITY Montreal, Canada
Adjunct Professor, School of Computer Science
10/01 - 06/16 MATHWORKS Natick, MA
Senior Research Scientist, Design Automation Department
  • Directs and manages technology research and transfer. Defines and leads technology demonstrator projects. Identifies high impact research areas and provides advanced technology thought leadership.
  • Manages and cultivates relationships with influential experts from academia. Founded the MathWorks Research Faculty Summit network of excellence across academia, government, and industry to valorize research.
  • Oversees patent portfolio development and strategy.
  • Advises US, Canadian, and European government agencies on strategy and research roadmaps.
9/97 - 8/01 GERMAN AEROSPACE CENTER (DLR) Oberpfaffenhofen, Germany
Research Associate at the Institute of Robotics and Mechatronics
Implemented a hybrid bond graph modeling and simulation tool HYBRSIM in Java and a hybrid system simulation environment MASIM for object-oriented models of dynamic systems in Java/C++.
1/99 STANFORD UNIVERSITY Stanford, CA
Visiting Researcher
Modeling and diagnosis of physical systems.

6/97 - 8/97
VANDERBILT UNIVERSITY Nashville, TN
Research Associate at the Center for Intelligent Systems
Designed an experimental setup for monitoring, prediction, and fault isolation of the cooling system of a Chevrolet 350 V8 engine.

7/96 - 5/97
Research Assistant at the Center for Intelligent Systems
Developed a hybrid bond graph modeling methodology and applied it to monitoring, prediction, and fault isolation of a secondary cooling system in a nuclear reactor.
6/92 - 6/96 Created a high-fidelity simulation of a one semester undergraduate electronics laboratory in Visual Basic to reduce the need for lab instruction and improve the lab experience of students. Coordinator of the virtual laboratory project that resulted from this work.
8/93 - 4/94 Teaching Assistant
Taught the laboratories for the classes Introduction to Engineering and Informatics Engineering.
2/93 - 5/97 VANDERBILT UNIVERSITY MEDICAL CENTER Nashville, TN
Paradox and FORTRAN consultant for the Pediatrics Department
Maintain a Paradox patient database program and a FORTRAN transplant diagnosis program.
4/90 - 8/90 NORTHERN TELECOM Nashville, TN
Internship, detached at Vanderbilt University
Programmed a team synergy analysis tool in Smalltalk-80 and CLIPS as part of a quality improvement kit.
EDUCATION
4/97
VANDERBILT UNIVERSITY Nashville, Tennessee
Doctor of Philosophy, Electrical and Computer Engineering
Center for Intelligent Systems

6/91
UNIVERSITY OF TWENTE Enschede, The Netherlands
Master of Science, Electrical Engineering, June 1991
Control Systems and Computer Engineering Group
6/87 Bachelor of Science, Electrical Engineering, June 1987
AWARDS AND HONORS The 2014 Spring Simulation Multi-Conference Overall Best Paper Award for the paper "Rule-Based Model Transformation For, and In Simulink" by Joachim Denil, Pieter J. Mosterman, and Hans Vangheluwe
Best Symposium Award for the Symposium on Theory of Modeling and Simulation (TMS'12) at the 2012 Spring Simulation Multiconference (SpringSim'12), March 26-28, Orlando, FL, 2012, with Co-General Chair Gabriel Wainer and Program Chairs Andrea D'Ambrogio and Gregory Zacharewicz
Awarded The Society for Modeling & Simulation International Distinguished Service Award as Former Editor-in-Chief for SCS Journals, 2009
Awarded the IMechE Donald Julius Groen Prize for the article
     Pieter J. Mosterman, "HYBRSIM - A Modeling and Simulation Environment for Hybrid Bond Graphs" in Journal of Systems and Control Engineering, 2003
Awarded Editor Choice honors for the articles
Nominated for The Computerworld Smithsonian Award by Microsoft Corporation, for the Electronics Laboratory Simulator educational software, 1994
GRANTS Awarded a $55,000 grant by Hewlett-Packard Co. as investigator on An Experimental Testbed for Model-Based Monitoring, Prediction and Diagnosis of Physical Systems
Awarded a $100,000, 2 year grant by Mitsubishi as investigator on A Systematic Integrated Methodology for Prediction, Monitoring, and Diagnosis of Complex, Dynamic Systems
Software generated a $400,000, 2 year grant by the Alfred P. Sloan Foundation to test its effectiveness.
GRADUATE STUDENTS Secondary Grader of the Ph.D. work of
  • Andreas Naderlinger, Modeling of Real-time Software Systems Based on Logical Execution Time, University of Salzburg, Austria, 2009 [report]
Member of the Ph.D. Committee of
  • Zhihao Jiang, From Verified Models to Verified Code for Safe Medical Devices, University of Pennsylvania, Philadelphia, PA, 2016
  • Joachim Denil, Design, Verification and Deployment of Software Intensive Systems—A Multi-Paradigm Modelling Approach, University of Antwerp, Antwerp, Belgium, 2013
  • Mehmet Yunt, Dynamic Optimization of Systems with Varying Structure, Massachusetts Institute of Technology, Cambridge, MA, 2011
  • Jan Jacobs, Model-based Application Development for Massively Parallel Embedded Systems, University of Twente, Enschede, Netherlands, 2008
  • Emmanuel Benazera, Diagnosis and Reconfiguration based on Hybrid Concurrent Models. Application to Autonomous Satellites, University Paul-Sabatier, Toulouse, France, 2003
External Examiner of the M.Sc. work of
  • Chahe Adourian, Bidirectional Integration Of Geometric And Dynamic Simulation Tools, McGill University, Montréal, Québec, 2010
Member of the M.Sc. Committee of
EDITORIAL
SERVICE
Series Editor of a Computational Analysis, Synthesis, and Design of Dynamic Systems series of books for CRC Press [pdf version of the Call for Authors] including (2008 - )
Editor-in-Chief of SIMULATION: Transactions of the Society for Modeling and Simulation International for the Methodology section (2005 - 2008)
Mechatronics Area Editor of SIMULATION: Transactions of the Society for Modeling and Simulation International (2002 - 2005)
Guest Editor of
Associate Editor of:
EVENT ORGANIZATION General Chair of
Program Chair of
Industrial Co-Chair of the the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009), September, Zaragoza, Spain, 2009
Invited Sessions Chair of the 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2006), Munich, Germany, 2006
Organizer and chair of
Steering committee of
Expert Committee for the Spaceship European Astronaut Centre (EAC) Workshop (SPACESHIP EAC), June 19-21, 2012
Award Committee for
  • Best student paper of the Hybrid Systems: Computation and Control (HSCC'14) conference, April 15-17, Berlin, Germany, 2014
  • Best Paper of the Symposium on Theory of Modeling and Simulation (TMS'12), March 26-28, Orlando, FL, 2012
  • Outstanding Paper of IEEE Transactions on Control Systems Technology, 2007
Program committee of
TECHNICAL COMMITTEES Chair of the IEEE CSS Virtual Action Group on Hybrid Dynamic Systems for CACSD (1998 - 2010)
Member of
ADVISORY
BOARDS
Advisory Committee of the Analysis, Simulation, and Systems Engineering Software Strategies (ASSESS) initiative (2015 - )
Engineering Advisory Board of the Lifeboat Foundation (2010 - )
Advisory Committee of the Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) (2013 - )
Advisory Board of the Globalization of Modeling Languages (GEMOC) initiative (2013 - )
Industrial Advisory Board of the National Science Foundation research project Expeditions in Computer Augmented Program Engineering, ExCAPE (2012 - )
Industrial Advisory Board of the European Commission research project Model-based synthesis of digital electronic circuits for embedded control, MOBY-DIC (2011 - 2012)
Advisory Board for the Modeling, Simulation & Analysis Program at the Infrastructure and Geophysical Division, Science and Technology Directorate of the U.S. Department of Homeland Security (2009)
Industrial Advisory Board of the European Commission research project Integrated Multi-formalism Tool Support for the Design of networked Embedded Control Systems, MULTIFORM (2009 - 2012)
The Editorial Advisory Board of SIMULATION: Transactions of the Society for Modeling and Simulation International (2008 - )
Advisory Board for a Master of Science and Master of Engineering in Mechatronic Systems Engineering program at Lawrence Technological University (2005 - 2012 )
Physical Modeling MathWorks Automotive Advisory Board (MAAB) Working Group (2005 - 2010)
International Industrial Advisory Board of the 2003 International Conference on Bond Graph Modeling and Simulation (ICBGM'03)
EXTERNAL REVIEWER Expert Panel Member for:
  • the Natural Sciences and Engineering Research Council of Canada
  • the National Science Foundation (2011)
  • the European Commission Seventh Framework Programme (2009)
Expert Reviewer for the European Commission for the ESPRIT project SHE: Interactive training simulator of hydraulic excavators (1998 - 2001)
Reviewer of research proposals for
  • Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Grants competition
  • National Science Foundation (NSF)
  • Department of Homeland Security
  • European Commission
  • Netherlands Organisation for Scientific Research (NWO)
  • Swiss National Science Foundation (SNSF)
INVITED
EVENTS
The Analysis, Simulation, and Systems Engineering Software Strategies congress (ASSESS 2016), Potomac, Maryland, January 20-22, 2016
Joint National Science Foundation (NSF) and German Embassy (BMBF) workshop on Internet of Things (IoT) and Cyber-Physical Systems (CPS), Washington, DC, January 19-20, 2016
Workshop on Research Challenges in Modeling & Simulation for Engineering Complex Systems, Arlington, VA, January 13-14, 2016
Ambassador at the Analysis, Simulation, and Systems Engineering Software Summit (ASSESS 2015), Santa Fe, New Mexico, January 8-9, 2015
Workshop on System Design meets Equation-based Languages, Lund, Sweden, September 19-21, 2012
Defense Sciences Research Council (DSRC) Open Intuitive Multiphysics CAD Workshop, Arlington, Virginia, October 28-29, 2010
Toyota Motor Corporation Workshop on Modeling Language Transformation, Toyota Technical Center facilities, Ann Arbor, Michigan, September 19-21, 2010
Science & Technology Directorate U.S. Department of Homeland Security Workshop on Future Directions in Critical Infrastructure Modeling & Simulation, Virginia Modeling, Analysis and Simulation Center (VMASC), Suffolk, Virginia, October 28-30, 2008
National Science Foundation/Computing Research Association/Computing Community Consortium Roadmapping Workshop on Robotics in Automation and Manufacturing, Arlington, Virginia, June 17, 2008
National Science Foundation Summit on Cyber-Physical Systems, St. Louis, Missouri, April 24-25, 2008
Office of Naval Research (ONR) Kick-off Meeting on the Software and Systems Test Track, Arlington, Virginia, 2006
Office of the Director of Defense Research and Engineering 2006 Workshop on Software-Intensive System Producibility Research, Rosslyn, Virginia, 2006
Dagstuhl Seminars on
Panel sessions on
KEYNOTE
ADDRESSES
"A Changing Technology Landscape With Value Drivers for Modeling & Simulation,"
MODSIM World 2017, Virginia Beach, Virginia, April 26-28, 2017
"A Changing Technology Landscape With Value Drivers for Modeling & Simulation,"
2017 Spring Simulation Multi-Conference (SpringSim'17), Virginia Beach, Virginia, April 23-26, 2017
"Value Drivers in a Changing Landscape of Modeling & Simulation,"
2016 Summer Simulation Multi-Conference (SummerSim'16), Montreal, Quebec, Canada, July 24-27, 2016
"Design of Behaviors that Bridge the Growing Function to Physics Divide,"
28th Euromicro Conference on Real-Time Systems (ECRTS16), Toulouse, France, July 5-8, 2016
"Engineered System Design and Integration—a semantic domain for modeling cyber-physical systems,"
Forum on specification & Design Languages (FDL'13), Paris, France, September 24, 2013
"System integration at the model level—a semantic domain for Cyber-Physical System modeling paradigms,"
Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS) Workshop, Montreal, Canada, June 18, 2013
"Modeling Approximations of Computational Semantics for Cyber-Physical System Design,"
Challenge Workshop on Tools for Modelling, Simulation and Optimization (MSO) of Multiphysics Systems, Berlin, Germany, September 24-26, 2012
"Model Transformations and Testing in Model-Based Design of Cyber-Physical Systems,"
Verification and validation Of model Transformations (VOLT 2012) workshop at the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), Montréal, Canada, April 21, 2012
"Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems,"
Hybrid Autonomous Systems (HAS 2012) workshop at the European Joint Conference on Theory & Practice of Software (ETAPS 2012), Tallinn, Estonia, March 31, 2012
"Advancing Model-Based Design by Modeling Approximations of Computational Semantics,"
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2011), Zürich, Switzerland, September 5, 2011
"Opportunity in Embracing Imperfection: Is simulation the real thing?"
2011 Bellairs Computer Automated Multi-Paradigm Modeling workshop (CAMPaM '11), Bellairs, Barbados, April 15-22, 2011
"Embracing Opportunity in Imperfection: Is simulation the real thing?"
2011 Spring Simulation Multiconference (SpringSim '11), Boston, MA, April 4-7, 2011
"A Computational Semantics of Time-Based Models and Its Role in Model-Based Design,"
10th International Forum on Embedded MPSoC and Multicore (MPSoC'10), Gifu city, Gifu, Japan, June 28 - July 2, 2010
"Towards Computational Hybrid System Semantics for Block Diagrams,"
Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (fetch2010), Chamonix - Mont Blanc, France, January 11-13, 2010
"Model-Based Design at an Enterprise Level: New directions in modeling and simulation research,"
The 48th Conference on Simulation and Modelling, Göteborg (Särö), Sweden, October 29-31, 2007
"Model-Based Design of Embedded Systems,"
2007 International Conference on Microelectronic Systems Education, San Diego, CA, 3-4 June, 2007
"Hybrid Dynamic Systems in Control Design: Application to the Automotive Industry,"
11th Online World Conference on Soft Computing in Industrial Applications, September 18 - October 6, 2006
"Advanced Technologies to Accelerate Mixed Signal Simulation,"
17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, June, 2006
PLENARY PRESENTATIONS
"It is about time to consider physics in software systems,"
2012 Bellairs Computer Automated Multi-Paradigm Modeling workshop (CAMPaM '12), Bellairs, Barbados, April 28 - May 5, 2012
"A Model of Time to Characterize a Computational Framework for the Design of Cyber-Physical Systems,"
The 2nd International Symposium on Interdisciplinary Modelling of Cyber-Physical Systems (IM-CPS 2011), Manchester, UK, May 25-27, 2011
"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"
3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, September 16-18, 2009
"Challenges and Solution Techniques for Hybrid Simulation: An Introduction,"
International Modeling and Simulation Multiconference 2007 (IMSM07), Buenos Aires, Argentina, February 8-10, 2007
"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"
The International Conference on High Level Simulation Languages and Applications (HLSLA'07), San Diego, CA, January 14-18, 2007
"Computational Design Using MATLAB® and Simulink®,"
2nd Annual Computation Day, The Pennsylvania State University, February 28, 2006
"Advanced Technologies to Accelerate Mixed Signal Simulation,"
Canadian Workshop on System-on-Chip, Ottawa, Ontario, Canada, October, 2005
"Mode Transition Behavior in Hybrid Dynamic Systems,"
NWO Workshop on Mathematical Modeling of Open Dynamical Systems, Enschede, September 21-23, 2000 (also available in compressed Powerpoint format)
LECTURES AT
INTERNATIONAL
SCHOOLS
"Simulation Technologies for Hybrid Dynamic Systems,"
Dutch Institute of Systems and Control (DISC) "Summer School on Modeling and Control of Hybrid Systems", under the flag of the Dutch Insitute of Systems and Control (DISC) and the IEEE Technical Committee on Hybrid Systems, Eindhoven, Netherlands, June 26, 2003, advanced topic speaker
"Mode Transition Behavior in Hybrid Dynamic Systems,"
Dutch Institute of Systems and Control (DISC) "Summer School on Modeling and Control of Hybrid Systems", under the flag of the Dutch Insitute of Systems and Control (DISC) and the IEEE Technical Committee on Hybrid Systems, Eindhoven, Netherlands, June 26, 2003, advanced topic speaker
"Qualitative Bond Graphs for Fault Detection and Isolation Design,"
5th Vacation School of the Network for Development and Applications of Methods for Actuator Diagnosis in Industrial Control Systems (DAMADICS) on "Structural Analysis and Bond Graph", Lille, France, April 10, 2003, guest lecturer
GUEST
LECTURES
"Modeling complex engineered systems in industry using MATLAB and Simulink,"
University of Antwerp, Antwerp, Belgium, December 16, 2016
"Computation in Model-Based Design for Cyber-Physical Systems,"
Zurich University of Applied Sciences, Winterthur, Switzerland, September 7, 2011
"A Model of Time to Characterize a Computational Framework for the design of Cyber-Physical Systems,"
Eidgenössische Technische Hochschule Zürich (ETH Zurich), Zürich, Switzerland, September 5, 2011
"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"
Polytechnique Montréal, Montreal, Canada, March 22, 2010
"Hybrid Dynamic System Simulation Technologies,"
Universität Rostock, Rostock, Germany, November 15, 2007
"An Overview of Hybrid Dynamic System Behaviors and Simulation Technology,"
Universität Rostock, Rostock, Germany, November 14, 2007
"An Overview of Hybrid Dynamic System Behaviors and Simulation Technology,"
Ruhr-Universität Bochum, Bochum, Germany, November 13, 2007
"Computational Models for the Design of a Power Window Control System,"
Georgia Institute of Technology, Atlanta, GA, September 28, 2007
"Model-Based Design of Embedded Systems,"
Guest Lecture, University of Tennessee, Knoxville, TN, September 27, 2007
"MATLAB® and Simulink® for Embedded System Design,"
FPGA-based Systems Engineering: Chip-scale to the Global-scale course organized by Andrzej Rucinski for the IEEE Boston Section, Woburn, MA, May 9, 2007
"Mode Transition Behavior in Hybrid Dynamic Systems,"
Distinguished lecturer in the Spring 2007 Lecture Series held at the Electrical Engineering and Computer Science Department of Vanderbilt University
"Computer Automated Multi-Paradigm Modeling,"
Guest Lecture, Computer Science and Engineering Department, Arizona State University, AZ, October 15, 2004
TUTORIALS
"Graphical Syntactic Extensions of Haskell for Block Diagrams,"
Precise Behavioral Semantics for Domain Specific Modeling Languages Object Management Group (OMG) workshop, Jacksonville, Florida, September 25, 2007
"MATLAB® and Simulink® for Embedded System Design,"
Design, Automation and Test in Europe Conference & Exhibition, "Simulink® for Design and Programming Multiprocessor SoC" tutorial, Nice, France, April 16, 2007
"Model-Based Design—An overview and research,"
Quantitative Aspects of Embedded Systems Dagstuhl Seminar, Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele (organizers), Dagstuhl, Germany, March 7, 2007
"Simulink®—An Introduction to the Technology,"
International Conference on Modeling and Simulation—Methodology, Tools, Software Applications (M&S-MTSA'06), Calgary, Canada, August 1, 2006
"Issues in Advanced Mixed-Signal Simulation,"
Tutorial, 43rd Design Automation Conference, "Tools for Hybrid Embedded Systems: Modeling, Verification, and Design" tutorial, San Francisco, California, July 28, 2006
SEMINARS
"Exploring Cyber-Physical Systems in Smart Emergency Response,"
School of Computer Science Colloquium, McGill University, Montreal, Canada, September 19, 2014
"Principles of Engineered System Design and Challenges for Cyber-Physical Systems,"
Center for Information & Systems Engineering Seminar, Boston University, Boston, MA, October 25, 2013
"Executing models in less time—some solver insight,"
  • MathWorks Seminar, Greifensee, Switzerland, September 8, 2011
  • MathWorks Seminar, Turgi, Switzerland, September 6, 2011
"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"
School of Computer Science Colloquium, McGill University, Montreal, Canada, March 19, 2010
"Towards Computational Hybrid System Semantics for Block Diagrams,"
Institute of Automatic Control Engineering, Technische Universität Muenchen, Munich, Germany, September 23, 2009
"Engineering cyber-physical systems: a strategic outlook,"
United Technologies Research Center (UTRC), East Hartford, CT, August 13, 2008
"Computational Models for the Design of a Power Window Control System,"
Seminar, Seoul National University, Seoul, South Korea, July 9, 2008
"Model-Based Design—What it is and what it still needs,"
"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"
  • Massachusetts Institute of Technology, Independent Activity Period (IAP), Cambridge, MA, January 19, 2007
  • CHESS Seminar, University of California, Berkeley, Berkeley, CA, April 8, 2008
"Simulink®—An Introduction to the Technology,"
Grenoble Institute of Technology (INPG), Grenoble, France, January 10, 2008
"Advanced Technologies to Accelerate Mixed Signal Simulation,"
Verification and Simulation of Dynamic Systems Dagstuhl Seminar, Corrado Priami, Hanne Riis Nielson, David Nicol, Harald Ruess, and Adelinde Uhrmacher (organizers), Dagstuhl, Germany, April 18, 2006
"An Industrial Embedded Control System Design Process,"
Embedded Systems Group Seminar, Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada, October 13, 2005
"MATLAB®/Simulink® in Mechanical Engineering,"
Mechanical Engineering Department, University of Aveiro, Aveiro, Portugal, November 29, 2004
"Mode Transition Behavior in Hybrid Dynamic Systems,"
  • Center for Hybrid and Embedded Software Systems (CHESS) Seminar, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, August 16, 2005
  • Department of Biochemical and Chemical Engineering, University of Dortmund, Dortmund, Germany, December 1, 2004
  • Laboratory for Analysis and Architecture of Systems, Toulouse, France, January 24, 2003
  • Computer Science Department, McGill University, Montreal, Canada, May 27, 2002
  • Seminar, Department of Chemical Engineering, Massachusetts Institute of Technology, MA, April 18, 2002
"Multi-formalism Modeling and Simulation Using MATLAB®/Simulink®,"
Computer Science Department, McGill University, Montreal, Canada, September 17, 2004
"On Multi-Paradigm Modeling,"
Grand Challenges for Modeling and Simulation, Richard Fujimoto, Dell Lunceford, Ernest Page, and Adelinde Uhrmacher (organizers), Dagstuhl, Germany, August 29, 2002
"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"
  • The MathWorks, Inc. Seminar, Indiana, IN, August 15, 2002
  • The MathWorks, Inc. Seminar, Novi, MI, August 13, 2002
"Simulink® Power Window Controller Specification,"
  • The MathWorks, Inc. Seminar, Troy, MI, February 14, 2002
  • The MathWorks, Inc. Seminar, Novi, MI, February 12, 2002
"Hybrid Bond Graphs,"
Seminar, Electrical Engineering Department, Technical University Twente, Enschede, Netherlands, 2001
"Qualitative Model Based Diagnosis of Abrupt Faults,"
Seminar, Institute of Control Engineering, Technical University of Hamburg-Harburg, Hamburg-Harburg, Germany, 2001
"Modeling Discontinuities in Physical System Behavior: A hybrid bond graph approach,"
  • Seminar, Computer Science Department, Vanderbilt University, Nashville, TN, 1996
  • Seminar, Hewlett-Packard Labs, Palo Alto, CA, 1996
INVITED
TALKS
"Safety in Freely-Composed Cyber-Physical Systems—Challenges and Opportunities," [video recording] with Akshay Rajhans
Exploring the Dimensions of Trustworthiness: Challenges and Opportunities Workshop, Edward Griffor (Program Chair), National Institute of Standards and Technology (NIST), Gaithersburg, MD, August 30, 2016
"Cyber-Physical System Ensembles: Analyzing Needs and Enabling Opportunity,"
Cyber-Physical Systems Week (CPS Week 2016), industry presentation, Radu Grosu and Thomas A. Henzinger (General Chairs), Vienna, Austria, April 12, 2016
"Requirements Based Model Complexity Selection," with Zhihao Jiang
Software Certification Consortium Meeting #16: "Necessary and Sufficient Safety Assurance Evidence", Alan Wassyng (Program Chair), Philadelphia, PA, January 11, 2016
"Smart emergency response: cyber-physical system opportunities, needs, and directions," with Justyna Zander, Taskin Padir, Yan Wan, and Shengli Fu
NSF Expeditions in Augmented Program Engineering (ExCAPE) Annual Meeting, Rajeev Alur (Program Chair), Cambridge, MA, June 21, 2015
"A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions," with Enes Bilgin (presenter), David Escobar Sanabria, Kun Zhang, and Justyna Zander
INFORMS Annual Meeting (Bridging Data and Decisions), Candace A. Yano (General Chair), San Francisco, CA, November 12, 2014
"Model-Based Design and Medical Devices,"
The Pacemaker Challenge: Developing Certifiable Medical Devices Dagstuhl Seminar, Dominique Méry, Bernhard Schätz, Alan Wassyng (organizers), Dagstuhl, Germany, February 5, 2014
"Heterogeneous Function Composition in Embedded Software Synthesis to Eliminate Direct Relations Between Components,"
2013 Workshop on Software Synthesis (WSS) at the Embedded Systems Week, Montreal, Canada, October 4, 2013
"Implications and challenges of opening up the embedded world to cyber-physical systems,"
[video recording]
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Industrial Session, Philadelphia, PA, April 10, 2013
"Verification of Stiff Hybrid Systems by Modeling the Approximations of Computational Semantics,"
Workshop on System Design meets Equation-based Languages, Lund, Sweden, September 19-21, 2012
"Approximating physics in the design of technical systems,"
Architecture-Driven Semantic Analysis of Embedded Systems Dagstuhl Seminar, Peter Feiler, Jérôme Hugues, Oleg Sokolsky (organizers), Dagstuhl, Germany, July 3, 2012
"Putting the physics in the design of Cyber-Physical Systems,"
Science and Engineering of Cyber-Physical Systems Dagstuhl Seminar, Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits (organizers), Dagstuhl, Germany, November 2, 2011
"Heterogeneous Function Composition to Eliminate a Class of Direct Relationships in Software Components of Dynamic Systems,"
ArtistDesign workshop on Foundations and Applications of Component-based Design (WFCD), Scottsdale, AZ, October 24, 2010
"On Computational Semantics as a Precise Foundation of an Industrial Toolchain for Analysis and Design of Multi-domain Systems,"
closing talk at the 6th User Committee meeting of the Innovative Research Program (IOP) Software Generation, MathWorks, Eindhoven, Netherlands, October 7, 2010
"Computation of Things: Challenges and Solutions for the Needs of Humanity" with Justyna Zander,
H+ Summit @ Harvard—Rise of the Citizen-Scientist, David Orban (organizer), Cambridge, MA, June 13, 2010
"Data Needs in Computational Modeling and Simulation—An Industry Perspective,"
introduction to a plenary industry panel at the Science & Technology Directorate US Department of Homeland Security workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security, Arlington, VA, March 17, 2010
"Software Synthesis for Control System Algorithms in Industrial Applications,"
Model Driven Development for Safe and Dependable Embedded Systems—Solutions, requirements and experiences in the MathWorks and OMG Worlds workshop, Silvia Mazzini (organizer), Pisa, Italy, September 21, 2009
"Model-Based Design of Cyber-Physical Systems,"
panel on "Cross-Disciplinary Cyber-Physical Systems Challenges", Raj Rajkumar and Bruce Krogh (organizers), at the Workshop on Challenges for a Cyber-Physical Systems Community during the NSF Cyber-Physical Systems Information Day, Arlington, VA, December 15, 2008
"Modeling Cross-domain Cascading Infrastructure Effects—a View,"
panel on "State-of-the-art simulations, models, tools and methods for representing and analyzing critical infrastructure", Nabil R. Adam (organizer), Science & Technology Directorate of the U.S. Department of Homeland Security workshop on Future Directions in Critical Infrastructure Modeling & Simulation, Virginia Modeling, Analysis and Simulation Center (VMASC), Suffolk, Virginia, October 29, 2008
"A Cyber-Physical Systems Perspective,"
1st Workshop on Cyber-Physical Systems: Closing the Loop during the Embedded Systems Week, Atlanta, Georgia, October 23, 2008, invited talk
"Model-Based Design—Unpolished,"
Software Engineering for Self-Adaptive Systems Dagstuhl Seminar, Betty H. C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee (organizers), Dagstuhl, Germany, January 17, 2008
"Model-Based Design of Embedded Systems,"
Model-Based Engineering of Embedded Real-Time Systems Dagstuhl Seminar, Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz (organizers), Dagstuhl, Germany, November 7, 2007
"Model-Based Embedded System Design,"
Quantitative Aspects of Embedded Systems Dagstuhl Seminar, Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele (organizers), Dagstuhl, Germany, March 5, 2007
"Challenges and Solution Techniques for Hybrid Simulation: Introduction,"
panel on "Challenges and Solution Techniques for Hybrid Simulation," at the 43rd IEEE Conference on Decision and Control, Pieter J. Mosterman and Michael Clune (organizers), December 14, 2004
"Using Simulink® in Marine Applications,"
panel on "Real-Time and Non Real-Time Simulation Needs for Marine Applications," at The Huntsville Simulation Conference 2004, Narain G. Hingorani and Roy Crosbie (organizers), October 20, 2004
"Computer Automated Multi-Paradigm Modeling: Simulation as an operation on models,"
invited workshop on "Modeling & Simulation Trends: Identifying Promising Contenders," David Gross, Hessam Sarjoughian, and William Tucker (organizers), Arizona State University, Tempe, AZ, October 14, 2004
"Simulink® Power Window Controller Specification,"
invited workshop on Computer Automated Multi-paradigm Modeling, Pieter J. Mosterman and Hans Vangheluwe (organizers), McGill University's Bellairs campus, Barbados, April 27, 2004
AWARDED
PATENTS
Pieter J. Mosterman, Matthew J. Simoneau, Edward W. Gulley, Jay R. Torgerson, and Andrew C. Grace
Analyzing information associated with logic, US Patent #9,729,843, issued August 8, 2017
Joseph Bienkowski, Pieter Johannes Mosterman, Ian Noell, and David Alexander McGraw
Analyzing information associated with logic, US Patent #9,678,718, issued June 13, 2017
Pieter J. Mosterman, Peter S. Szpak, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan
Generic human machine interface for a graphical model, US Patent #9,672,389, issued June 6, 2017
John E. Ciolfi, Pieter J. Mosterman, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan
Linking of model elements to spatial elements, US Patent #9,607,113, issued March 28, 2017
Donald P. Orofino, Pieter J. Mosterman, and David Koh
Using abstract nodes to test the behavior of a dynamic system, US Patent #9,594,854, issued March 14, 2017
Pieter J. Mosterman, Ebrahim Mestchian, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan
Interacting with a model via a three-dimensional (3D) spatial environment, US Patent #9,582,933, issued February 28, 2017
Matthew J. Englehart, Zhi Han, and Pieter J. Mosterman,
Determining conditions associated with accessing data stores, US Patent #9,582,768, issued February 28, 2017
Mazen Kachmar, David Koh, Pieter J. Mosterman, and Murat Belge,
Modifying models based on profiling information, US Patent #9,569,179, issued February 14, 2017
Thomas Gaudette and Pieter J. Mosterman,
Systems and methods using models to evaluate physical components, US Patent #9,547,746, issued January 17, 2017
Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,
Textual code provided in temporal and change operators of a technical computing environment, US Patent #9,547,481, issued January 17, 2017
Alan J. Moore, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,
Systems and methods for generating message sequence diagrams from graphical programs, US Patent #9,547,423, issued January 17, 2017
Pieter J. Mosterman,
Managing an application variable using variable attributes, US Patent #9,542,164, issued January 10, 2017
Pieter J. Mosterman, Srikanth Parupati, Ankit A. Desai, Ashish Uthama, and Michael J. Quinn,
Multimodal input processing, US Patent #9,530,102, issued December 27, 2016
Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,
Graphical function specialization, US Patent #9,513,880, issued December 6, 2016
Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,
Time-based operations via textual code in a technical computing environment, US Patent #9,507,572, issued November 29, 2016
Katalin Maria Popovici, Pieter J. Mosterman, Brian K. Ogilvie, Rajiv Ghosh-Roy, Adam C. Leon, and Jared D. Macdonald,
Unified hardware and software debugging, US Patent #9,489,283, issued November 8, 2016
Srinath Avadhanula, Vijaya Raghavan, Michael D. Tocci, John E. Ciolfi, E. Mehran Mestchian, and Pieter J. Mosterman,
Templatized component, US Patent #9,424,005, issued August 23, 2016
Srinath Avadhanula, Pieter J. Mosterman, Yit Phang Khoo, John P. Dirner, Krishna Balasubramanian, and Ebrahim Mestchian,
Resolution of textual code in a graphical hierarchical model of a technical computing environment, US Patent #9,411,559, issued August 9, 2016
Zhi Han, Fu Zhang, Murali K. Yeddanapudi, and Pieter J. Mosterman,
Code generation for control design, US Patent #9,377,998, issued June 28, 2016
Fu Zhang, Zhi Han, Murali K. Yeddanapudi, and Pieter J. Mosterman,
Bidomain simulator, US Patent #9,354,846, issued May 31, 2016
Jean-Yves Brunel, Nathan E. Brewton, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,
Action languages for unified modeling language model, US Patent #9,256,485, issued April 12, 2016
Alan J. Moore, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,
System and method for generating message sequence diagrams from graphical programs, US Patent #9,256,485, issued February 9, 2016
Pieter J. Mosterman, Andrew C. Grace, and Ebrahim Mestchian,
Altering an attribute of a model based on an observed spatial attribute, US Patent #9,245,068, issued January 26, 2016
Pieter J. Mosterman, Daniel Forrest Higgins, Aditya Agrawal, Simon Greenwold, and Jay Ryan Torgerson,
User interface for a modeling environment, US Patent #9,177,452, issued November 3, 2015
Justyna Zander and Pieter J. Mosterman,
Installation of a technical computing environment customized for a target hardware platform, US Patent #9,141,365, issued September 22, 2015
Pieter J. Mosterman, Mehran Ebrahim Mestchian, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan,
Generating a three-dimensional (3D) report, associated with a model, from a technical computing environment (TCE), US Patent #9,117,039, issued August 25, 2015
Pieter J. Mosterman,
Multiversion model versioning system and method, US Patent #9,047,165, issued June 2, 2015
David Koh, Murat Belge, and Pieter J. Mosterman,
Profiler-based optimization of automatically generated code, US Patent #9,015,684, issued April 21, 2015
Biao Yu, Jim Carrick, and Pieter J. Mosterman,
Scheduling generated code based on target characteristics, US Patent #8,990,783, issued March 24, 2015
Matthew Brian Behr and Pieter J. Mosterman,
Requirements framework,
Zhi Han, Fu Zhang, Murali K. Yeddanapudi, and Pieter Johannes Mosterman,
Graphic theoretic linearization of sensitivity analysis, US Patent #8,935,137, issued January 13, 2015
Fu Zhang, Zhi Han, Murali Yeddanapudi, and Pieter J. Mosterman,
Visualization of data dependency in graphical models,
Michael H. McLernon, Alex Rodriguez, and Pieter J. Mosterman,
Propagation of characteristics in a graphical model environment, US Patent #8,875,039, issued October 28, 2014
Zhi Han, Murali Yeddanapudi, Pieter J. Mosterman, Xiaocang Lin, and Rajesh Pavan Sunkari
System and method for simulating branching behavior, US Patent #8,805,664, issued August 12, 2014
Andrew C. Bartlett and Pieter J. Mosterman,
Properties, instrumentation and automatic scaling for signals in a modeling environment, US Patent #8,805,651, issued August 12, 2014
Joe Conti, Michael Patrick Bushe, Roy Lurie, Joseph F. Hicklin, and Pieter J. Mosterman,
Annotations for dynamic dispatch of threads from scripting language code, US Patent #8,769,491, issued July 1, 2014
Girish Venkataramani, Kiran Kintali, and Pieter J. Mosterman,
Hardware definition language generation for data serialization from executable graphical models,
Mojdeh Shakeri, Michael David Tocci, John Ciolfi, and Pieter J. Mosterman,
Graphical interface for managing and monitoring the status of a graphical model, US Patent #8,745,537, issued June 3, 2014
Aravind Pillarisetti, Peter Szpak, Jesung Kim, Xiaocang Lin, and Pieter J. Mosterman,
Optimization identification, US Patent #8,689,194, issued April 1, 2014
Rohit Shenoy, Pieter J. Mosterman, Bella G. Teverovsky, John Fluet, and Craig Dowley
Testing and error reporting for on-demand software based marketing and sales, US Patent #8,688,491, issued April 1, 2014
Thomas Gaudette and Pieter J. Mosterman
Computer aided design environment with electrical and electronic features
Benjamin Hinkle, Pieter J. Mosterman, Mary Ann Branch Freeman, and Roy E. Lurie
System and method for dynamic symbolic math engine selection,
Aravind Pillarisetti, Peter Szpak, Jesung Kim, Xiaocang Lin, and Pieter J. Mosterman
Auto-generated code validation, US Patent #8,448,130, issued May 21, 2013
Jay Ryan Torgerson, Xiaocang Lin, and Pieter J. Mosterman
Editing suggestions in different formalisms, US Patent #8,370,156, issued February 5, 2013
Andrew Grace and Pieter J. Mosterman
System and method for building graphical instrument panels
Nathan E. Brewton and Pieter J. Mosterman
System and method for performing structural templatization
Matthew Englehart and Pieter J. Mosterman
Proving latency associated with references to a data store
Vijay Raghavan and Pieter J. Mosterman
Non-blocking local events in a state-diagramming environment, US Patent #8,200,807, issued June 12, 2012
David Koh, Murat Belge, and Pieter J. Mosterman
Profiler-based optimization of automatically generated code
Michael David Tocci, John Ciolfi, and Pieter J. Mosterman
Sharing of instructions across model boundaries
Vijay Raghavan, Pieter J. Mosterman, and Yao Ren
Calling an entity of a graphical model with a non-graphical entity and calling a non-graphical entity of a graphical model with a graphical entity
Dongzhe Yang, Robert O. Aberg, and Pieter J. Mosterman
Generation of intermediate representations based on user specified elements in a graphical model that enable simulation, propagation and code generation, US Patent #8,046,202, issued October 25, 2011
Claudia Wey, John Edward Ciolfi, Len Conte, Eric Pressman, Pieter J. Mosterman, Jay Ryan Torgerson, and Murali Yeddanapudi,
Graphical user interface for viewing or editing an executable block diagram model
Pieter J. Mosterman, Farid Antoine Abi-Zeid, Hidayet Tunc Simsek, Claudia Gaudagnini Wey, Mojdeh Shakeri, and Jay Ryan Torgerson,
Collaborative modeling environment
Rohit Shenoy, Pieter J. Mosterman, Bella G. Teverovsky, John Fluet, and Craig Dowley,
System and method for providing sales leads based on-demand software trial usage, US Patent #7,996,255, issued August 9, 2011
Pieter J. Mosterman and Robert O. Aberg,
System and method for graphical model processing, US Patent #7,979,243, issued July 12, 2011
Paul F. Kinnucan, Jr.; Pieter J. Mosterman; and Mehran Ebrahim Mestchian,
User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment
Brian K. Ogilvie and Pieter J. Mosterman,
Hardware definition language generation for frame-based processing
John E. Ciolfi and Pieter J. Mosterman,
System and Method for Block Diagram Simulation Context Restoration
Ricardo Monteiro, Mojdeh Shakeri, Michael David Tocci, Robert O. Aberg, and Pieter J. Mosterman,
Version Control in Modeling Environments,
Michael I. Clune, Andrew Grace, Murali Yeddanapudi, Ramamurthy Mani, Pieter J. Mosterman, and Atul Suri,
Modeling Feedback Loops Using a Discrete Event Execution Modeling Environment, US Patent #7,640,154, issued December 29, 2009
Jay R. Torgerson, Ryo Shimizu, and Pieter J. Mosterman,
Dynamic Generation of Formatted User Interfaces in Software Environments
Mojdeh Shakeri and Pieter J. Mosterman,
Distributed Model Compilation
  • US Patent #9,195,445, issued November 24, 2015
  • US Patent #7,509,244, issued March 24, 2009
  • Pieter J. Mosterman, Mehmet Yunt, Murali Yeddanapudi, and Jay R. Torgerson,
    Multi-Domain Unified Debugger
    Michael D. Tocci, Ricardo Monteiro, Mojdeh Shakeri, and Pieter J. Mosterman,
    Partitioning A Model In Modeling Environments
    Michael I. Clune, Andrew Grace, Murali Yeddanapudi, Ramamurthy Mani, Pieter J. Mosterman, and Atul Suri,
    Modeling Delay Using a Discrete Event Execution Modeling Environment, US Patent #7,487,077, issued February 3, 2009.
    Arwen Warlock and Pieter J. Mosterman,
    Transparent Subsystem Links, US Patent #7,412,367, issued August 12, 2008.
    Pieter J. Mosterman,
    Hierarchical References or Links in Modeling Environments
    Pieter J. Mosterman, Eric J. Manders, and Gautam Biswas,
    Qualitative Diagnosis of Systems With Models That Include a Class of Algebraic Loops, US Patent #7,181,374, issued February 20, 2007.
    John E. Ciolfi and Pieter J. Mosterman,
    Automated Approach to Resolving Artificial Algebraic Loops
    Pieter J. Mosterman,
    A Method for Numerical Simulation of Physical Systems Relying on Differential Equations With Algebraic Constraints on State Variables, European Patent #1 143 347, issued August 3, 2005.
    PUBLISHED
    SOFTWARE
    The MathWorks,
    Simulink®, Using Simulink®, The MathWorks, Inc., Three Apple Hill Drive, Natick, MA, 01760
    The MathWorks,
    Real-Time Workshop®, Real-Time Workshop® User's Guide, The MathWorks, Inc., Three Apple Hill Drive, Natick, MA, 01760
    Pieter J. Mosterman,
    Instrument Emulation Software, Hewlett-Packard Reference Kit, Hewlett-Packard
    Pieter J. Mosterman, J. Olin Campbell, Arthur J. Brodersen, and John R. Bourne,
    The Electronics Laboratory Simulator, Falcon Software, Inc., One Hollis Street, Wellesley, MA, 02181
    Ansgar Smith, Ludo A. Vlieger, and Pieter J. Mosterman,
    Hewlett-Packard Instrument Emulator, Hewlett-Packard Co., P.O. Box 301, Loveland, CO, 80537
    PUBLICATIONS My list of publications is kept separately.