Pieter J. Mosterman

Affiliations:
  • MathWorks, Natick, USA
  • McGill University, Canada


According to our database1, Pieter J. Mosterman authored at least 73 papers between 1996 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility.
CoRR, 2023

Data-Driven Sequential Change Detection in Privacy-Sensitive Networks.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022
Online Privacy-Preserving Data-Driven Network Anomaly Detection.
IEEE J. Sel. Areas Commun., 2022

2021
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections.
IEEE Control. Syst. Lett., 2021

Specification and Runtime Verification of Temporal Assessments in Simulink.
Proceedings of the Runtime Verification - 21st International Conference, 2021

An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
A Simulator for Trading Traffic Privileges by Selfish Driving Cars.
Proceedings of the Spring Simulation Conference, 2020

2019
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity.
Discret. Event Dyn. Syst., 2019

2018
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.
Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Graphical Hybrid Automata with Simulink and Stateflow.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017
Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Rev., 2017

A simevents model for hybrid traffic simulation.
Proceedings of the 2017 Winter Simulation Conference, 2017

The experiment model and validity frame in M&S.
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

2016
Industry 4.0 as a Cyber-Physical System study.
Softw. Syst. Model., 2016

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems.
Softw. Syst. Model., 2016

Extensible Discrete-Event Simulation framework in SimEvents.
Proceedings of the Winter Simulation Conference, 2016

Simulating a multicore scheduler of real-time control systems in simulink.
Proceedings of the Summer Computer Simulation Conference, 2016

Ontological reasoning for consistency in the design of cyber-physical systems.
Proceedings of the 1st International Workshop on Cyber-Physical Production Systems, 2016

2015
Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens.
Simul., 2015

2014
A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions.
Comput. Sci. Eng., 2014

Automating humanitarian missions with a heterogeneous fleet of vehicles.
Annu. Rev. Control., 2014

Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation.
Proceedings of the 2014 Summer Simulation Multiconference, 2014

Rule-based model transformation for, and in simulink.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Motivating Use Cases for the Globalization of DSLs.
Proceedings of the Globalizing Domain-Specific Languages, 2014

Computation Taxonomy: Capabilities and Challenges.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014

2013
Semantics for an interdisciplinary computation (WIP).
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Systematic management of simulation state for multi-branch simulations in simulink.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

A graph algorithm for linearizing simulink models.
Proceedings of the 2013 Summer Simulation Multiconference, 2013

A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

Towards sensitivity analysis of hybrid systems using simulink.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Data Type Propagation in Simulink Models with Graph Transformation.
Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

2012
Technical engine for democratization of modeling, simulations, and predictions.
Proceedings of the Winter Simulation Conference, 2012

Integrating discrete-event and time-based models with optimization for resource allocation.
Proceedings of the Winter Simulation Conference, 2012

2011
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems.
Proceedings of the American Control Conference, 2010

Model-Based Design for Embedded Systems.
Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC Press, ISBN: 978-1-420-06784-2, 2010

2009
Guest Editorial: Special Issue on Multi-paradigm Modeling.
Simul., 2009

Automatic Code Generation for Synchronous Reactive Communication.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs.
Simul., 2008

Automatically Realising Embedded Systems from High-Level Functional Models.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
On Simulation of Simulink® Models for Model-Based Design.
Proceedings of the Handbook of Dynamic System Modeling., 2007

Hybrid Dynamic Systems.
Proceedings of the Handbook of Dynamic System Modeling., 2007

A graphical variant approach to object-oriented modeling of dynamic systems.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Model-Based Design of Embedded Systems.
Proceedings of the IEEE International Conference on Microelectronic Systems Education, 2007

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

2006
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Hybrid system simulation with SimEvents.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Building Efficient simulations from Hybrid bond Graph Models.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Embedded Real-Time Control via MATLAB, Simulink, and xPC Target.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Computer-automated multiparadigm modeling in control systems technology.
IEEE Trans. Control. Syst. Technol., 2004

Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM).
IEEE Trans. Control. Syst. Technol., 2004

Computer Automated Multi-Paradigm Modeling: An Introduction.
Simul., 2004

Using interleaved execution to resolve cyclic dependencies in time-based block diagrams.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2002
Guest editorial: Special issue on computer automated multi-paradigm modeling.
ACM Trans. Model. Comput. Simul., 2002

A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems.
Simul., 2002

2001
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
Signal interpretation for monitoring and diagnosis, a cooling system testbed.
IEEE Trans. Instrum. Meas., 2000

A comprehensive methodology for building hybrid models of physical systems.
Artif. Intell., 2000

Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Diagnosis of continuous valued systems in transient operating regions.
IEEE Trans. Syst. Man Cybern. Part A, 1999

Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998
An Ontology for Transitions in Physical Dynamic Systems.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Formal Specifications for Hybrid Dynamical Systems.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Sliding Mode Model Semantics and Simulation for Hybrid Systems.
Proceedings of the Hybrid Systems V, 1997

Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996


  Loading...