A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. - Pieter J. Mosterman; Gautam Biswas (AAAI/IAAI, Vol. 2, 1996)

Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. - Pieter J. Mosterman; Gautam Biswas (AAAI/IAAI, 1997)

Sliding Mode Model Semantics and Simulation for Hybrid Systems. - Pieter J. Mosterman; Feng Zhao 001; Gautam Biswas (Hybrid Systems, 1997)

Formal Specifications for Hybrid Dynamical Systems. - Pieter J. Mosterman; Gautam Biswas (IJCAI (1), 1997)

An Ontology for Transitions in Physical Dynamic Systems. - Pieter J. Mosterman; Feng Zhao 001; Gautam Biswas (AAAI/IAAI, 1998)

An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. - Pieter J. Mosterman (HSCC, 1999)

Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. - Pieter J. Mosterman; Gautam Biswas (HSCC, 1999)

Diagnosis of continuous valued systems in transient operating regions. - Pieter J. Mosterman; Gautam Biswas (IEEE Trans. Syst. Man Cybern. Part A, 1999)

Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. - Pieter J. Mosterman; Gautam Biswas (HSCC, 2000)

A comprehensive methodology for building hybrid models of physical systems. - Pieter J. Mosterman; Gautam Biswas (Artif. Intell., 2000)

Signal interpretation for monitoring and diagnosis, a cooling system testbed. - Eric-Jan Manders; Gautam Biswas; Pieter J. Mosterman; Lee A. Barford; Robert Joel Barnett (IEEE Trans. Instrum. Meas., 2000)

Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. - Pieter J. Mosterman (HSCC, 2001)

A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems. - Pieter J. Mosterman; Gautam Biswas (Simul., 2002)

Guest editorial: Special issue on computer automated multi-paradigm modeling. - Pieter J. Mosterman; Hans Vangheluwe (ACM Trans. Model. Comput. Simul., 2002)

Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems. - Pieter J. Mosterman (WSC, 2003)

Using interleaved execution to resolve cyclic dependencies in time-based block diagrams. - Pieter J. Mosterman; John E. Ciolfi (CDC, 2004)

Computer Automated Multi-Paradigm Modeling: An Introduction. - Pieter J. Mosterman; Hans Vangheluwe (Simul., 2004)

Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM). - Sebastian Engell; Pieter J. Mosterman (IEEE Trans. Control. Syst. Technol., 2004)

Computer-automated multiparadigm modeling in control systems technology. - Pieter J. Mosterman; Janos Sztipanovits; Sebastian Engell (IEEE Trans. Control. Syst. Technol., 2004)

Embedded Real-Time Control via MATLAB, Simulink, and xPC Target. - Pieter J. Mosterman; Sameer Prabhu; Andrew Dowd; John Glass; Tom Erkkinen; John Kluza; Rohit Shenoy (Handbook of Networked and Embedded Control Systems, 2005)

Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. - Ben Denckla; Pieter J. Mosterman (CDC/ECC, 2005)

Building Efficient simulations from Hybrid bond Graph Models. - Christopher D. Beers; Eric-Jan Manders; Gautam Biswas; Pieter J. Mosterman (ADHS, 2006)

Hybrid system simulation with SimEvents. - Christos G. Cassandras; Michael I. Clune; Pieter J. Mosterman (ADHS, 2006)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - 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 (Simulation and Verification of Dynamic Systems, 2006)

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. - Juan de Lara; Tihamer Levendovszky; Pieter J. Mosterman; Hans Vangheluwe (MoDELS (Workshops), 2007)

Model-Based Design of Embedded Systems. - Pieter J. Mosterman (MSE, 2007)

A graphical variant approach to object-oriented modeling of dynamic systems. - Paul Kinnucan; Pieter J. Mosterman (SCSC, 2007)

Hybrid Dynamic Systems. - Pieter J. Mosterman (Handbook of Dynamic System Modeling, 2007)

On Simulation of Simulink® Models for Model-Based Design. - Rohit Shenoy; Pieter J. Mosterman; Brian McKay (Handbook of Dynamic System Modeling, 2007)

Automatically Realising Embedded Systems from High-Level Functional Models. - Pieter J. Mosterman; Don Orofino; Janos Sztipanovits; Ahmed Amine Jerraya; Wido Kruijtzer; Víctor Reyes; Christos G. Cassandras; Grant Martin (DATE, 2008)

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. - Pieter J. L. Cuijpers; Jan F. Broenink; Pieter J. Mosterman (Simul., 2008)

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. - Pieter J. Mosterman; Justyna Zander; Grégoire Hamon; Ben Denckla (ADHS, 2009)

Automatic Code Generation for Synchronous Reactive Communication. - Guoqiang Wang; Marco Di Natale; Pieter J. Mosterman; Alberto L. Sangiovanni-Vincentelli (ICESS, 2009)

Guest Editorial: Special Issue on Multi-paradigm Modeling. - Juan de Lara; Tihamer Levendovszky; Pieter J. Mosterman (Simul., 2009)

Model-Based Design for Embedded Systems. - Gabriela Nicolescu; Pieter J. Mosterman (CRC Press, 2010)

Detecting data store access conflict in Simulink by solving Boolean satisfiability problems. - Zhi Han; Pieter J. Mosterman (ACC, 2010)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. - Amel Bennaceur; Robert B. France; Giordano Tamburrelli; Thomas Vogel 001; Pieter J. Mosterman; Walter Cazzola; Fábio M. Costa; Alfonso Pierantonio; Matthias Tichy; Mehmet Aksit; Pär Emmanuelson; Gang Huang 001; et al. (Models@run.time@Dagstuhl, 2011)

AdvancingModel-Based Design by Modeling Approximations of Computational Semantics. - Pieter J. Mosterman; Justyna Zander (EOOLT, 2011)

Integrating discrete-event and time-based models with optimization for resource allocation. - Teresa Hübscher-Younger; Pieter J. Mosterman; Seth DeLand; Omar Orqueda; Doug Eastman (WSC, 2012)

Technical engine for democratization of modeling, simulations, and predictions. - Justyna Zander; Pieter J. Mosterman (WSC, 2012)

Data Type Propagation in Simulink Models with Graph Transformation. - Péter Fehér; Tamás Mészáros; László Lengyel; Pieter J. Mosterman (ECBS-EERC, 2013)

Towards sensitivity analysis of hybrid systems using simulink. - Zhi Han; Pieter J. Mosterman (HSCC, 2013)

A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. - Pieter J. Mosterman; Gabor Simko; Justyna Zander (MPM@MoDELS, 2013)

A graph algorithm for linearizing simulink models. - Zhi Han; Pieter J. Mosterman; Fu Zhang 003 (SummerSim, 2013)

Systematic management of simulation state for multi-branch simulations in simulink. - Zhi Han; Pieter J. Mosterman; Justyna Zander; Fu Zhang 003 (SpringSim (TMS-DEVS), 2013)

Semantics for an interdisciplinary computation (WIP). - Justyna Zander; Pieter J. Mosterman (SpringSim (TMS-DEVS), 2013)

Computation Taxonomy: Capabilities and Challenges. - Justyna Zander; Pieter J. Mosterman (Computation for Humanity, 2014)

Motivating Use Cases for the Globalization of DSLs. - Betty H. C. Cheng; Thomas Degueule; Colin Atkinson 001; Siobhán Clarke; Ulrich Frank; Pieter J. Mosterman; Janos Sztipanovits (Globalizing Domain-Specific Languages, 2014)

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. - Pieter J. Mosterman; Gabor Simko; Justyna Zander; Zhi Han (HSCC, 2014)

Rule-based model transformation for, and in simulink. - Joachim Denil; Pieter J. Mosterman; Hans Vangheluwe (SpringSim (TMS-DEVS), 2014)

Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation. - Fu Zhang 003; Zhi Han; Pieter J. Mosterman (SummerSim, 2014)

Automating humanitarian missions with a heterogeneous fleet of vehicles. - Pieter J. Mosterman; David Escobar Sanabria; Enes Bilgin; Kun Zhang; Justyna Zander (Annu. Rev. Control., 2014)

A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions. - Pieter J. Mosterman; David Escobar Sanabria; Enes Bilgin; Kun Zhang; Justyna Zander (Comput. Sci. Eng., 2014)

Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens. - Simon J. E. Taylor; Azam Khan; Katherine L. Morse; Andreas Tolk; Levent Yilmaz 001; Justyna Zander; Pieter J. Mosterman (Simul., 2015)

Ontological reasoning for consistency in the design of cyber-physical systems. - Ken Vanherpen; Joachim Denil; István Dávid; Paul De Meulenaere; Pieter J. Mosterman; Martin Törngren; Ahsan Qamar; Hans Vangheluwe (CPPS@CPSWeek, 2016)

Simulating a multicore scheduler of real-time control systems in simulink. - Wei Li 033; Ramamurthy Mani; Pieter J. Mosterman; Teresa Hübscher-Younger (SummerSim, 2016)

Extensible Discrete-Event Simulation framework in SimEvents. - Wei Li 033; Ramamurthy Mani; Pieter J. Mosterman (WSC, 2016)

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. - Pieter J. Mosterman; Justyna Zander (Softw. Syst. Model., 2016)

Industry 4.0 as a Cyber-Physical System study. - Pieter J. Mosterman; Justyna Zander (Softw. Syst. Model., 2016)

The experiment model and validity frame in M&S. - Joachim Denil; Stefan Klikovits; Pieter J. Mosterman; Antonio Vallecillo; Hans Vangheluwe (SpringSim (TMS), 2017)

A simevents model for hybrid traffic simulation. - Yue Zhang 019; Christos G. Cassandras; Wei Li 033; Pieter J. Mosterman (WSC, 2017)

Automated closed-loop model checking of implantable pacemakers using abstraction trees. - Zhihao Jiang; Houssam Abbas; Pieter J. Mosterman; Rahul Mangharam (SIGBED Rev., 2017)

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Graphical Hybrid Automata with Simulink and Stateflow. - Akshay Rajhans; Srinath Avadhanula; Alongkrit Chutinan; Pieter J. Mosterman; Fu Zhang 003 (HSCC, 2018)

Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. - Andreas Tolk; Fernando J. Barros; Andrea D'Ambrogio; Akshay Rajhans; Pieter J. Mosterman; Sachin S. Shetty; Mamadou K. Traoré; Hans Vangheluwe; Levent Yilmaz 001 (SpringSim (MSCIAAS), 2018)

A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. - Yue Zhang 019; Christos G. Cassandras; Wei Li 033; Pieter J. Mosterman (Discret. Event Dyn. Syst., 2019)

A Simulator for Trading Traffic Privileges by Selfish Driving Cars. - Zhan Tu; Anastasios Dimas; Mehmet Necip Kurt; Anastasia Mavrommati; Pieter J. Mosterman; Akshay Rajhans; Roberto G. Valenti (SpringSim, 2020)

An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators. - Anastasia Mavrommati; Carlos Osorio; Roberto G. Valenti; Akshay Rajhans; Pieter J. Mosterman (CASE, 2021)

Specification and Runtime Verification of Temporal Assessments in Simulink. - Akshay Rajhans; Anastasia Mavrommati; Pieter J. Mosterman; Roberto G. Valenti (RV, 2021)

A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. - Manuel Rodriguez; Xiangxue Zhao; Hayley Song; Anastasia Mavrommati; Roberto G. Valenti; Akshay Rajhans; Pieter J. Mosterman; Yancy Diaz-Mercado; Hosam K. Fathy (IEEE Control. Syst. Lett., 2021)

Online Privacy-Preserving Data-Driven Network Anomaly Detection. - Mehmet Necip Kurt; Yasin Yilmaz; Xiaodong Wang 001; Pieter J. Mosterman (IEEE J. Sel. Areas Commun., 2022)

Data-Driven Sequential Change Detection in Privacy-Sensitive Networks. - Mehmet Necip Kurt; Xiaodong Wang 001; Pieter J. Mosterman; Yasin Yilmaz (Allerton, 2023)

Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility. - Abenezer Taye; Roberto G. Valenti; Akshay Rajhans; Anastasia Mavrommati; Pieter J. Mosterman; Peng Wei (CoRR, 2023)

When tiny is big: design alive. - Pieter J. Mosterman; Hans Vangheluwe (Simul., 2024)