Pieter Mosterman
#78,796
Most Influential Person Now
Dutch computer scientist
Pieter Mosterman's AcademicInfluence.com Rankings
Pieter Mostermancomputer-science Degrees
Computer Science
#3709
World Rank
#3899
Historical Rank
Software Engineering
#329
World Rank
#335
Historical Rank
Database
#8278
World Rank
#8641
Historical Rank
Download Badge
Computer Science
Pieter Mosterman's Degrees
- PhD Computer Science Delft University of Technology
- Masters Electrical Engineering Delft University of Technology
Similar Degrees You Can Earn
Why Is Pieter Mosterman Influential?
(Suggest an Edit or Addition)According to Wikipedia, Pieter Johannes Mosterman was Chief Research Scientist and Director of the MathWorks Advanced Research & Technology Office at MathWorks in Natick, Massachusetts. He also holds an Adjunct Professorship at the School of Computer Science at McGill University in Montreal, Canada. His primary research interests are in Computer Automated Multiparadigm Modeling with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration.
Pieter Mosterman's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Diagnosis of continuous valued systems in transient operating regions (1999) (326)
- Model-Based Testing for Embedded Systems (2011) (182)
- Industry 4.0 as a Cyber-Physical System study (2016) (182)
- Computer Automated Multi-Paradigm Modeling: An Introduction (2004) (177)
- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages (1999) (175)
- A theory of discontinuities in physical system models (1998) (167)
- The Effectiveness of Learning Simulations for Electronic Laboratories (2002) (124)
- Discrete-Event Modeling and Simulation : Theory and Applications (2010) (107)
- Virtual Engineering Laboratories: Design and Experiments (1994) (92)
- Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems (2016) (83)
- Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation (2008) (75)
- Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica (1998) (71)
- A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems (2000) (69)
- Grand challenges for modeling and simulation: simulation everywhere—from cyberinfrastructure to clouds to citizens (2015) (58)
- A comprehensive methodology for building hybrid models of physical systems (2000) (55)
- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software (2014) (51)
- Model-Based Design of Embedded Systems (2007) (48)
- Design and implementation of an electronics laboratory simulator (1996) (47)
- Discrete Event and Hybrid System Simulation with SimEvents (2006) (47)
- Computer-automated multiparadigm modeling in control systems technology (2004) (46)
- Guest editorial: Special issue on computer automated multi-paradigm modeling (2002) (45)
- Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems (1997) (43)
- Bond Graph Modeling Procedures for Fault Detection and Isolation of Complex Flow Processes (2001) (43)
- Real-Time Simulation Technologies: Principles, Methodologies, and Applications (2012) (40)
- A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions (2014) (40)
- A Systematic Analysis of Measurement Selection Algorithms for Fault Isolation in Dynamic Systems (1998) (39)
- Object-oriented computational model building of aircraft flight dynamics and systems (1999) (39)
- Sliding Mode Model Semantics and Simulation for Hybrid Systems (1997) (37)
- Signal interpretation for monitoring and diagnosis, a cooling system testbed (1999) (36)
- A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models (1996) (35)
- Formal Specifications for Hybrid Dynamical Systems (1997) (34)
- Requirements-Based Testing in Aircraft Control Design (2005) (34)
- Modeling Discontinuous Behavior with Hybrid Bond Graphs (2003) (34)
- Computer automated multi-paradigm modeling (2002) (32)
- Simulation of Discontinuities in Physical System Models Based on Conservation Principles (1998) (31)
- Signal to Symbol Transformation Techniques for Robust Diagnosis in TRANSCEND (1999) (30)
- Computation for Humanity - Information Technology to Advance Society (2013) (29)
- A computational model of time for stiff hybrid systems applied to control synthesis (2012) (29)
- Model-Based Design of a Power Window System: Modeling, Simulation, and Validation (2003) (28)
- Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems (2005) (28)
- Ontological reasoning for consistency in the design of cyber-physical systems (2016) (28)
- A hybrid modeling and verification paradigm for embedded control systems (1998) (27)
- A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems (2002) (27)
- Embedded Real-Time Control via MATLAB, Simulink, and xPC Target (2005) (27)
- Towards Computational Hybrid System Semantics for Time-Based Block Diagrams (2009) (26)
- A Method for Efficient Simulation of Hybrid Bond Graphs (2006) (26)
- Cyber-physical Systems can Make Emergency Response Smart☆ (2015) (26)
- An Ontology for Transitions in Physical Dynamic Systems (1998) (26)
- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems (2000) (24)
- Position paper on the challenges posed by modern applications to cyber-physical systems theory (2019) (24)
- Automating humanitarian missions with a heterogeneous fleet of vehicles (2014) (24)
- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions (1999) (22)
- Hybrid Dynamic Systems (2007) (20)
- A Java Implementation of an Environment for Hybrid Modeling and Simulation of Physical Systems (1999) (20)
- Hybrid Models of Physical Systems and Discrete Controllers (2000) (20)
- Challenges for embedded software development (2007) (19)
- Extensible Discrete-Event Simulation framework in SimEvents (2016) (19)
- The experiment model and validity frame in M&S (2017) (18)
- Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality (2001) (17)
- Stream and State-Based Semantics of Hierarchy in Block Diagrams (2008) (17)
- Implicit Modeling and Simulation of Discontinuities in Physical System Models (2000) (17)
- AN INDUSTRIAL EMBEDDED CONTROL SYSTEM DESIGN PROCESS (2011) (17)
- Building Efficient simulations from Hybrid bond Graph Models (2006) (16)
- Using interleaved execution to resolve cyclic dependencies in time-based block diagrams (2004) (16)
- Rule-based model transformation for, and in simulink (2014) (15)
- AdvancingModel-Based Design by Modeling Approximations of Computational Semantics (2011) (15)
- Principles for Modeling, Verification, and Simulation of Hybrid Dynamics Systems (1997) (14)
- Derivative Estimation for Diagnosis (1999) (14)
- Modeling and instrumentation for fault detection and isolation of a cooling system (2000) (13)
- Automatic Code Generation: Facilitating New Teaching Opportunities in Engineering Education (2006) (13)
- Creating Flight Simulator Landing Gear Models Using Multidomain Modeling Tools (2006) (13)
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow (2018) (13)
- Model Based Diagnosis of Dynamic Systems (1997) (12)
- Integrating discrete-event and time-based models with optimization for resource allocation (2012) (12)
- Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation (2018) (12)
- Measurement Selection and Diagnosability of Complex Physical Systems (1997) (11)
- On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis (2011) (11)
- An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics (2002) (11)
- A Comprehensive Framework for Model Based Diagnosis (1998) (11)
- Hybrid system simulation with SimEvents (2006) (11)
- A graphical variant approach to object-oriented modeling of dynamic systems (2007) (10)
- Model Reuse for the Training of Fault Scenarios in Aerospace (2004) (10)
- A Discrete-Event and Hybrid Simulation Framework Based on SimEvents for Intelligent Transportation System Analysis (2018) (10)
- On the Normal Component of Centralized Frictionless Collision Sequences (2007) (10)
- Towards sensitivity analysis of hybrid systems using simulink (2013) (10)
- Deriving Discontinuous State Changes for Reduced Order Systems and the Effect on Compositionality (1999) (10)
- Model integrated computing in robot control to synthesize real-time embedded code (2001) (10)
- A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity (2019) (9)
- TOWARDS AN EXECUTABLE DENOTATIONAL SEMANTICS FOR CAUSAL BLOCK DIAGRAMS (2005) (9)
- COST-EFFECTIVE DISTRIBUTED LEARNING WITH ELECTRONICS LABS (2019) (9)
- Model Semantics and Simulation for Hybrid Systems Operating in Sliding Regimes (1997) (9)
- Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems (1998) (9)
- Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs (2008) (9)
- A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models (2013) (8)
- Automatic Code Generation for Synchronous Reactive Communication (2009) (8)
- Modelling and analysis of traffic networks based on graph transformation (2005) (8)
- Some Guidelines for Stiff Model Implementation with the Use of Discontinuities (1999) (8)
- Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control (2002) (8)
- 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification (2006) (7)
- Qualitative Dynamic Behavior of Physical System Models with Algebraic Loops (2000) (7)
- A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities (2014) (7)
- MASIM - A Hybrid Dynamic Systems Simulator (2001) (7)
- Data Type Propagation in Simulink Models with Graph Transformation (2013) (7)
- Model Semantics and Simulation of Time Scale Abstractions in Collision Models (1998) (6)
- Constitutive hybrid processes (2004) (6)
- State Space Projection onto Linear DAE Manifolds Using Conservation Principles (1998) (6)
- Using Bond Graphs for Diagnosis of Dynamic Physical Systems (2012) (6)
- Modeling and Simulation Semantics for Hybrid Dynamic Physical Systems (1998) (6)
- Computational analysis, synthesis, and design of dynamic systems series (2013) (6)
- Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems (2003) (6)
- EMBEDDED CODE GENERATION FOR EFFICIENT REINITIALIZATION (2002) (6)
- A PEER REVIEWED ONLINE COMPUTATIONAL MODELING FRAMEWORK (2011) (5)
- Simulating a multicore scheduler of real-time control systems in simulink (2016) (5)
- Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools (2008) (5)
- A simevents model for hybrid traffic simulation (2017) (5)
- Quality of test specification by application of patterns (2008) (5)
- Mode transition behavior in hybrid dynamic systems (2003) (5)
- Block Diagrams as a Syntactic Extension to (2006) (5)
- Technical engine for democratization of modeling, simulations, and predictions (2012) (5)
- The Towers of Hanoi as a Cyber-Physical System Education Case Study (2013) (5)
- Computational Challenges in Modeling and Simulation (2017) (5)
- Towards Model Manipulation for Efficient and Effective Simulation and Instructional Methods (1999) (5)
- A novel algorithm for flattening virtual subsystems in Simulink models (2013) (4)
- 2 Modeling physical systems 2 . 1 Constitutive equations (2004) (4)
- Motivating Use Cases for the Globalization of DSLs (2014) (4)
- Hybrid Modeling and Verification of Embedded Control Systems (1997) (4)
- Formal Specifications from Hybrid Bond Graph Models (2003) (4)
- Model‐Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation (2013) (4)
- Detecting data store access conflict in Simulink by solving Boolean satisfiability problems (2010) (4)
- On Simulation of Simulink® Models for Model-Based Design (2007) (3)
- Online Privacy-Preserving Data-Driven Network Anomaly Detection (2022) (3)
- Abstraction-Tree For Closed-loop Model Checking of Medical Devices (2015) (3)
- Graphical Hybrid Automata with Simulink and Stateflow (2018) (3)
- Modeling Systems with Variable Algebraic Constraints for Explicit Integration Methods (2000) (3)
- Challenges in the Operation and Design of Intelligent Cyber‐Physical Systems (2019) (3)
- Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, part of the 2015 Spring Simulation Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15, 2015 (2012) (3)
- Verification and Validation Integrated within Processes Using Model-Based Design (2008) (3)
- Model coverage as a quality measure and teaching Tool for embedded control system design (2007) (3)
- A Study of Transitions in Dynamic Behavior of Physical Systems (1998) (2)
- Flattening Virtual Simulink Subsystems with Graph Transformation (2013) (2)
- Model-based design for test vector verification (2005) (2)
- Computation of things for human protection and fulfillment (2010) (2)
- An Introduction to Computer Automated Multi-Paradigm Modeling (2004) (2)
- The Engine Testbed: An Experimental System for Model-Based Monitoring, Prediction and Fault Isolation (1998) (2)
- Systematic management of simulation state for multi-branch simulations in simulink (2013) (2)
- Specification and Runtime Verification of Temporal Assessments in Simulink (2021) (2)
- Guest Editorial: Special Issue on Multi-paradigm Modeling (2009) (2)
- Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM) (2004) (2)
- Mil Tech Trends Applying Model-Based Design to a Fault Detection , Isolation , and Recovery system (2006) (2)
- Automated closed-loop model checking of implantable pacemakers using abstraction trees (2017) (1)
- Analyzing Discontinuities in Physical System (1996) (1)
- Current Issues in Multi-Paradigm Modeling (2008) (1)
- Sliding Mode Control and Feedback Linearization for Non-regular Systems (2008) (1)
- Process Diagnosis in Transient Operating Regions Fault detection and isolation in a liquid sodium cooling system (1997) (1)
- Tools and Applications (2012) (1)
- Semantics for an interdisciplinary computation (WIP) (2013) (1)
- Hybrid Dynamic Systems in an Industry Design Application (2007) (1)
- Requirement-Guided Model Refinement (2014) (1)
- A graph algorithm for linearizing simulink models (2013) (1)
- Erratum to: Computational Challenges in Modeling and Simulation (2017) (0)
- Higher Intelligence in Embedded Systems Design and Operation: A research and development proposal (2001) (0)
- Name : string Position : [ ] Block gain : float Gain Inputs : string Sum Name : int Port Inport Outport Denominator (2014) (0)
- Monitoring , Predic and Fault Isolation in Dynamic (1999) (0)
- Industry 4.0 as a Cyber-Physical System study (2015) (0)
- Basic Simulation Technologies and Fundamentals (2012) (0)
- Real-Time and Performance Analysis in Heterogeneous Embedded Systems (2009) (0)
- Automatically Realising Embedded Systems from High-Level Functional Models (2008) (0)
- Methodology and Tools (2010) (0)
- Qualitative Model Based Diagnosis of Abrupt Faults (2000) (0)
- Design Tools and Methodology for Multiprocessor System-on-Chip (2009) (0)
- Simulation of Hybrid Dynamic Systems (2020) (0)
- Heterogeneous Function Composition to Eliminate a Class of Direct Relationships in Software Components of Dynamic Systems (2010) (0)
- An Aircraft Elevator System as a Benchmark for Hybrid Dynamic Systems Modeling (1999) (0)
- Hybrid Automata for Modeling Discontinuous State Vector Value Changes in Complex Systems (1999) (0)
- Session details: Applications of hybrid systems (2014) (0)
- Session details: New real-time scheduling approaches and their applications (2008) (0)
- Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications Call for Posters (2009) (0)
- What the experts have to say about Model-Based Testing for Embedded Systems (2011) (0)
- Multi-Paradigm Modeling in System Design (2000) (0)
- and Fault Isolation in Dynamic (1997) (0)
- A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections (2021) (0)
- A Simulation Environment for Hybrid Dynamic Systems (2000) (0)
- Hierarchical Hybrid Block Diagrams (2006) (0)
- Qualitative Diagnosis of Systems With Models That Include a Class of Algebraic Loops (2000) (0)
- Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation (2014) (0)
- Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems (2015) (0)
- Design Tools and Methodology for Multidomain Embedded Systems (2009) (0)
- Title: Modeling of Real-time Software Systems Based on Logical Execution Time— Tdl Extensions, Simulation, Tools (2010) (0)
- Session details: Model-based design for embedded systems (2008) (0)
- Parallel and Distributed Real-Time Simulation (2012) (0)
- Handling the Normal Component in Frictionless Collision Sequences With Central Impact (2000) (0)
- Heterogeneous Function Composition in Embedded Software Synthesis to Eliminate Direct Relations Between Components (2013) (0)
- AC 2008-2722: A PEER REVIEWED ONLINE COMPUTATIONAL MODELING FRAMEWORK (2008) (0)
- Model-Based Design (2007) (0)
- Nonlinear Analysis: Hybrid Systems (2019) (0)
- A Study of ' I ~ ransitions in Dynamic Behavior of Physical Systems 96 QR-98 (2003) (0)
- Networked Embedded Systems (2006) (0)
- A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections (2021) (0)
- Mathworks Approach to MBD (2014) (0)
- Creating sorted list for simulink models with graph transformation (2013) (0)
- Computation Taxonomy: Capabilities and Challenges (2014) (0)
- An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators (2021) (0)
- A Simulator for Trading Traffic Privileges by Selfish Driving Cars (2020) (0)
- Real-Time Simulation for System Design (2012) (0)
- On Computational Semantics as a Precise Foundation of an Industrial Toolchain for Analysis and Design of Multi-domain Systems (2010) (0)
- VERIFICATION OF HYBRID PHYSICAL SYSTEM MODELS (2005) (0)
This paper list is powered by the following services:
Other Resources About Pieter Mosterman
What Schools Are Affiliated With Pieter Mosterman?
Pieter Mosterman is affiliated with the following schools:
