2008 |
18 | EE | Pieter J. Mosterman,
Don Orofino,
Janos Sztipanovits,
Ahmed Amine Jerraya,
Wido Kruijtzer,
Víctor Reyes,
Christos G. Cassandras,
Grant Martin:
Automatically Realising Embedded Systems from High-Level Functional Models.
DATE 2008 |
2007 |
17 | EE | Juan de Lara,
Tihamer Levendovszky,
Pieter J. Mosterman,
Hans Vangheluwe:
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools.
MoDELS Workshops 2007: 237-246 |
16 | EE | Paul Kinnucan,
Pieter J. Mosterman:
A graphical variant approach to object-oriented modeling of dynamic systems.
SCSC 2007: 513-521 |
2006 |
15 | EE | Grégory Batt,
Jeremy T. Bradley,
Roland Ewald,
François Fages,
Holger Hermanns,
Jane Hillston,
Peter Kemper,
Alke Martens,
Pieter J. Mosterman,
Flemming Nielson,
Oleg Sokolsky,
Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems 2006 |
2005 |
14 | | Pieter J. Mosterman,
Sameer Prabhu,
Andrew Dowd,
John Glass,
Tom Erkkinen,
John Kluza,
Rohit Shenoy:
Embedded Real-Time Control via MATLAB, Simulink, and xPC Target.
Handbook of Networked and Embedded Control Systems 2005: 419-446 |
2003 |
13 | EE | Pieter J. Mosterman:
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems.
Winter Simulation Conference 2003: 623-631 |
2002 |
12 | EE | Pieter J. Mosterman,
Hans Vangheluwe:
Guest editorial: Special issue on computer automated multi-paradigm modeling.
ACM Trans. Model. Comput. Simul. 12(4): 249-255 (2002) |
2001 |
11 | EE | Pieter J. Mosterman:
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.
HSCC 2001: 447-458 |
2000 |
10 | EE | Pieter J. Mosterman,
Gautam Biswas:
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.
HSCC 2000: 324-337 |
9 | EE | Pieter J. Mosterman,
Gautam Biswas:
A comprehensive methodology for building hybrid models of physical systems.
Artif. Intell. 121(1-2): 171-209 (2000) |
1999 |
8 | EE | Pieter J. Mosterman:
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.
HSCC 1999: 165-177 |
7 | EE | Pieter J. Mosterman,
Gautam Biswas:
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.
HSCC 1999: 178-192 |
6 | | Pieter J. Mosterman,
Gautam Biswas:
Diagnosis of continuous valued systems in transient operating regions.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(6): 554-565 (1999) |
1998 |
5 | | Pieter J. Mosterman,
Feng Zhao,
Gautam Biswas:
An Ontology for Transitions in Physical Dynamic Systems.
AAAI/IAAI 1998: 219-224 |
1997 |
4 | | Pieter J. Mosterman,
Gautam Biswas:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems.
AAAI/IAAI 1997: 100-105 |
3 | EE | Pieter J. Mosterman,
Feng Zhao,
Gautam Biswas:
Sliding Mode Model Semantics and Simulation for Hybrid Systems.
Hybrid Systems 1997: 218-237 |
2 | | Pieter J. Mosterman,
Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems.
IJCAI (1) 1997: 568-577 |
1996 |
1 | | Pieter J. Mosterman,
Gautam Biswas:
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models.
AAAI/IAAI, Vol. 2 1996: 985-990 |