Pieter J. Mosterman
School of Computer Science
3480 University Street
Canada H3A 2A7
Senior Research Scientist
Design Automation Department
3 Apple Hill Drive
Natick, MA 01760-2098
The SmartAmerica Smart Emergency Response System project that started with this paper is now in full swing. For details see:
Current EventsThe Strategic R&D Opportunities for 21st Century Cyber-Physical Systems report by the NIST Steering Committee for Foundations in Innovation for Cyber-Physical Systems is now available for download
The Smart Manufacturing Robotics Cyber-Physical System (distributed Towers of Hanoi) use case is now available for download from the MATLAB Central File Exchange
A book series from CRC Press on Computational Analysis, Synthesis, and Design of Dynamic Systems is now requesting proposals for book contributions. [pdf version]
My research concentrates on modeling, in particular the use of information technology for modeling of dynamic systems. Specific interests are the abstraction of models, the formalism to define models, the efficient behavior generation from models, relations between models, and model transformation. Specific application areas of interest are computational simulation, code generation, fault detection and isolation, and training.
Since a decade or so, I have been working with Hans Vangheluwe (McGill University) in the field of Computer Automated Multiparadigm Modeling (CAMPaM) which has as main components: (i) multi-formalism modeling, (ii) formalism modeling, and (iii) multi-abstraction modeling. A key element of this is the modeling of model transformations, which has proven to be an enabler for automated tool support in the form of AToM3.
With a background in Artificial Intelligence, my cunning plan would have metamodeling allow us achieve some form of higher intelligence. Another long-standing, and perhaps less attainable, aspiration is to join the Charlatans Sans Frontières, founded by Oded Maler.
Currently, I am Associate Editor of
Before, I was Editor-in-Chief of
Walk of Life
The twists and turns ...
At present, I am a senior research scientist at MathWorks in Natick, MA, where I work on design automation technologies for Simulink®. In 2009, I was appointed Adjunct Professor at the School of Computer Science of McGill University.
From 2005 through 2008, I was Editor-in-Chief of SIMULATION: Transactions of the Society for Modeling and Simulation International for the Methodology section. The tenure of my co-Editor-in-Chief Helen Karatza (for the Applications section) and mine saw the impact factor almost double from 0.404 to 0.783. In 2009, I was awarded the Distinguished Service Award of The Society for Modeling & Simulation International (SCS) as Former Editor-in-Chief for SCS Journals.
1997 - 2001
Before, I was a Research Associate at the DLR Oberpfaffenhofen (German Aerospace Center) where I worked on a grant from the German Science Foundation (DFG) as part of the KONDISK program to investigate continuous/discrete, hybrid, systems. The specific focus of my research was object-oriented modeling of physical systems in the context of which Modelica was designed as the implementation language.
Proof of concept was modeling and simulation of the redundancy management of an elevator control system in aircraft. For this, I modeled the physics of the hydraulic actuator with HYBRSIM, a hybrid bond graph modeling and simulation tool that I wrote in Java. The paper "HYBRSIM - A Modeling and Simulation Environment for Hybrid Bond Graphs" on this tool was awarded the 2003 Donald Julius Groen Prize by IMechE.
1994 - 1997
In 1997, I graduated with a Ph.D. from Vanderbilt University under the direction of Gautam Biswas and Janos Sztipanovits where I studied physics based principles of discontinuities in piecewise continuous models. The underlying language for this extended bond graphs with syntactic and semantic elements to allow abrupt mode changes, resulting in hybrid bond graphs.
The application area was in qualitative reasoning for diagnosis of faults in engineered systems and my dissertation was entitled Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis. In 1998, Gautam Biswas and I received Editor Choice honors for the article "A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems" in SIMULATION: Transactions of the Society for Modeling and Simulation International.
1992 - 1994
In 1992, I started as a Ph.D. student at Vanderbilt University under the direction of John Bourne where I worked in the area of intelligent tutoring systems and reactive learning environments. I was the main creator of the Electronics Laboratory of the Future that was nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. The software was distributed by Falcon Software under the name Electronics Laboratory Simulator (ELS) till about 2005.
Il était une fois ...
Originally, I am from the Netherlands, where in 1991 I graduated with a Master's degree from the University of Twente under the direction of Klaas Wijbrans, Jan F. Broenink, and Job van Amerongen on the topic of structured analysis methods for the specification of control system implementations. I finally got to meet one of my then inspirers, Stephen Mellor, at a workshop on "Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications" that I helped organize in 2009 ...
This page is a fairly substantial modification of my previous homepage.