Research in Model-Based Design

16443

More information on this talk can be found in
http://moncs.cs.mcgill.ca/people/mosterman/academic.html

------------------------------------------------------------------------------
Lectures, Tutorials, Laboratories, Seminars, and Colloquia
Lectures
Hybrid Dynamic System Simulation Technologies
Pieter J. Mosterman
Guest Lecture, Universit?t Rostock, Rostock, Germany, November 15, 2007.


An Overview of Hybrid Dynamic System Behaviors and Simulation Technology
Pieter J. Mosterman
Guest Lecture, Universit?t Rostock, Rostock, Germany, November 14, 2007.


Guest Lecture, Ruhr-Universit?t Bochum, Bochum, Germany, November 13, 2007.


Computational Models for the Design of a Power Window Control System
Pieter J. Mosterman
Guest Lecture, Georgia Institute of Technology, Atlanta, GA, September 28,
2007.


Model-Based Design of Embedded Systems
Pieter J. Mosterman
Guest Lecture, University of Tennessee, Knoxville, TN, September 27, 2007.


MATLAB? and Simulink? for Embedded System Design
Pieter J. Mosterman
Lecture, 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
Pieter J. Mosterman
Distinguished Lecturer, in the Spring 2007 Lecture Series at the Electrical
Engineering and Computer Science Department of Vanderbilt University, March 29,
2007.


Guest Lecture, Dutch Institute of Systems and Control (DISC) "Summer School on
Modeling and Control of Hybrid Systems", Eindhoven, Netherlands, June 26, 2003.


Simulation Technologies for Hybrid Dynamic Systems
Pieter J. Mosterman,
Guest Lecture, Dutch Institute of Systems and Control (DISC) "Summer School on
Modeling and Control of Hybrid Systems", Eindhoven, Netherlands, June 26, 2003.


Qualitative Bond Graphs for Fault Detection and Isolation Design
Pieter J. Mosterman,
Guest Lecture, 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.


Computer Automated Multi-Paradigm Modeling
Pieter J. Mosterman and Hans Vangheluwe,
Guest Lecture, Computer Science and Engineering Department, Arizona State
University, AZ, October 15, 2004.


Information Engineering
John R. Bourne and Pieter J. Mosterman
Guest Lecture, Electrical Engineering Department, Vanderbilt University,
Nashville, TN, Spring Semester, 1995.


Introduction to Engineering
John R. Bourne and Pieter J. Mosterman
Guest Lecture, Electrical Engineering Department, Vanderbilt University,
Nashville, TN, Spring Semester, 1994.
Tutorials
Graphical Syntactic Extensions of Haskell for Block Diagrams
Pieter J. Mosterman
Tutorial, 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
Pieter J. Mosterman
Tutorial, 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
Pieter J. Mosterman
Tutorial, 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
Pieter J. Mosterman
Tutorial, 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
Pieter J. Mosterman
Tutorial, 43rd Design Automation Conference, "Tools for Hybrid Embedded
Systems: Modeling, Verification, and Design" tutorial, San Francisco,
California, July 28, 2006.
Laboratories
Information Engineering
John R. Bourne and Pieter J. Mosterman
One Semester Laboratory, Electrical Engineering Department, Vanderbilt
University, Nashville, TN, Fall Semester, 1995.


Introduction to Engineering
John R. Bourne and Pieter J. Mosterman
One Semester Laboratory, Electrical Engineering Department, Vanderbilt
University, Nashville, TN, Fall Semester, 1994.
Presentations
Model-Based Design—Unpolished
Pieter J. Mosterman
Presentation, 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
Pieter J. Mosterman
Presentation, Model-Based Engineering of Embedded Real-Time Systems Dagstuhl
Seminar, Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard
Sch鋞z (organizers), Dagstuhl, Germany, November 7, 2007.


Model-Based Embedded System Design
Pieter J. Mosterman
Presentation, Quantitative Aspects of Embedded Systems Dagstuhl Seminar,
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele (organizers),
Dagstuhl, Germany, March 5, 2007.


Computational Design Using MATLAB? and Simulink?
Pieter J. Mosterman
Invited speaker at the 2nd Annual Computation Day, The Pennsylvania State
University, February 28, 2006.


Challenges and Solution Techniques for Hybrid Simulation: Introduction
Michael Clune and Pieter J. Mosterman
Panel Session 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
Pieter J. Mosterman
Panel Session 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
Pieter J. Mosterman
Presentation, 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
Pieter J. Mosterman
Presentation, Invited Workshop on Computer Automated Multi-paradigm Modeling,
Pieter J. Mosterman and Hans Vangheluwe (organizers), McGill University's
Bellairs campus, Barbados, April 27, 2004.
Seminars and Colloquia
Model-Based Design of a Power Window System: Modeling, Simulation, and
Validation
Pieter J. Mosterman
Seminar, 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
Pieter J. Mosterman
Seminar, Grenoble Institute of Technology (INPG), Grenoble, France, January 10,
2008


Advanced Technologies to Accelerate Mixed Signal Simulation
Pieter J. Mosterman
Seminar, 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
Pieter J. Mosterman
Embedded Systems Group Seminar, Department of Systems and Computer Engineering,
Carleton University, Ottawa, ON, Canada, October 13, 2005.


MATLAB?/Simulink? in Mechanical Engineering
Pieter J. Mosterman
Seminar, Mechanical Engineering Department, University of Aveiro, Aveiro,
Portugal, November 29, 2004.


Mode Transition Behavior in Hybrid Dynamic Systems
Pieter J. Mosterman
Center for Hybrid and Embedded Software Systems (CHESS) Seminar, Department of
Electrical Engineering and Computer Sciences, University of California,
Berkeley, Berkeley, August 16, 2005.


Seminar, Department of Biochemical and Chemical Engineering, University of
Dortmund, Dortmund, Germany, December 1, 2004.


Seminar, Laboratory for Analysis and Architecture of Systems, Toulouse, France,
January 24, 2003.


Colloqium, 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?
Pieter J. Mosterman
Seminar, Computer Science Department, McGill University, Montreal, Canada,
September 17, 2004.


On Multi-Paradigm Modeling
Pieter J. Mosterman
Seminar, 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
Pieter J. Mosterman, Sameer Prabhu, and Jarvis Davis
Seminar, The MathWorks, Inc. Seminar, Indiana, IN, August 15, 2002.


Seminar, The MathWorks, Inc. Seminar, Novi, MI, August 13, 2002.


Simulink? Power Window Controller Specification
Pieter J. Mosterman
Seminar, The MathWorks, Inc. Seminar, Troy, MI, February 14, 2002.


Seminar, The MathWorks, Inc. Seminar, Novi, MI, February 12, 2002.


Hybrid Bond Graphs
Pieter J. Mosterman
Seminar, Electrical Engineering Department, Technical University Twente,
Enschede, Netherlands, 2001.


Qualitative Model Based Diagnosis of Abrupt Faults
Pieter J. Mosterman
Seminar, Institute of Control Engineering, Technical University of
Hamburg-Harburg, Hamburg-Harburg, Germany, 2001.
Hamburg-Harburg, Hamburg-Harburg, Germany, 2001.


Modeling Discontinuities in Physical System Behavior: A hybrid bond graph
approach
Pieter J. Mosterman
Seminar, Computer Science Department, Vanderbilt University, Nashville, TN,
1996.


Seminar, Hewlett-Packard Labs, Palo Alto, CA, 1996.