Pieter J. Mosterman

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 21

Top Topics

Physical Systems

Ontological Reasoning

Predictive Control

Top Venues

SpringSim (TMS-DEVS)

Softw. Syst. Model.

Publications

Mehmet Necip Kurt, Xiaodong Wang, Pieter J. Mosterman, Yasin Yilmaz
Data-Driven Sequential Change Detection in Privacy-Sensitive Networks. Allerton (2023)
Abenezer Taye, Roberto G. Valenti, Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Peng Wei
Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility. CoRR (2023)
Mehmet Necip Kurt, Yasin Yilmaz, Xiaodong Wang, Pieter J. Mosterman
Online Privacy-Preserving Data-Driven Network Anomaly Detection. IEEE J. Sel. Areas Commun. 40 (3) (2022)
Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. IEEE Control. Syst. Lett. 5 (6) (2021)
Manuel Rodriguez, Xiangxue Zhao, Hayley Song, Anastasia Mavrommati, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman, Yancy Diaz-Mercado, Hosam K. Fathy
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections. ACC (2021)
Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti
Specification and Runtime Verification of Temporal Assessments in Simulink. RV (2021)
Anastasia Mavrommati, Carlos Osorio, Roberto G. Valenti, Akshay Rajhans, Pieter J. Mosterman
An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators. CASE (2021)
Zhan Tu, Anastasios Dimas, Mehmet Necip Kurt, Anastasia Mavrommati, Pieter J. Mosterman, Akshay Rajhans, Roberto G. Valenti
A Simulator for Trading Traffic Privileges by Selfish Driving Cars. SpringSim (2020)
Yue Zhang, Christos G. Cassandras, Wei Li, Pieter J. Mosterman
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. Discret. Event Dyn. Syst. 29 (3) (2019)
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Hybrid Automata with Simulink and Stateflow. HSCC (2018)
Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. SpringSim (MSCIAAS) (2018)
Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. HSCC (2018)
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14 (2) (2017)
Yue Zhang, Christos G. Cassandras, Wei Li, Pieter J. Mosterman
A simevents model for hybrid traffic simulation. WSC (2017)
Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe
The experiment model and validity frame in M&S. SpringSim (TMS) (2017)
Wei Li, Ramamurthy Mani, Pieter J. Mosterman, Teresa Hübscher-Younger
Simulating a multicore scheduler of real-time control systems in simulink. SummerSim (2016)
Pieter J. Mosterman, Justyna Zander
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. Softw. Syst. Model. 15 (1) (2016)
Wei Li, Ramamurthy Mani, Pieter J. Mosterman
Extensible Discrete-Event Simulation framework in SimEvents. WSC (2016)
Ken Vanherpen, Joachim Denil, István Dávid, Paul De Meulenaere, Pieter J. Mosterman, Martin Törngren, Ahsan Qamar, Hans Vangheluwe
Ontological reasoning for consistency in the design of cyber-physical systems. CPPS@CPSWeek (2016)
Pieter J. Mosterman, Justyna Zander
Industry 4.0 as a Cyber-Physical System study. Softw. Syst. Model. 15 (1) (2016)
Simon J. E. Taylor, Azam Khan, Katherine L. Morse, Andreas Tolk, Levent Yilmaz, Justyna Zander, Pieter J. Mosterman
Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens. Simul. 91 (7) (2015)
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, Justyna Zander
Automating humanitarian missions with a heterogeneous fleet of vehicles. Annu. Rev. Control. 38 (2) (2014)
Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits
Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages (2014)
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, Justyna Zander
A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions. Comput. Sci. Eng. 16 (3) (2014)
Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe
Rule-based model transformation for, and in simulink. SpringSim (TMS-DEVS) (2014)
Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. HSCC (2014)
Fu Zhang, Zhi Han, Pieter J. Mosterman
Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation. SummerSim (2014)
Pieter J. Mosterman, Gabor Simko, Justyna Zander
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. MPM@MoDELS (2013)
Zhi Han, Pieter J. Mosterman, Fu Zhang
A graph algorithm for linearizing simulink models. SummerSim (2013)
Justyna Zander, Pieter J. Mosterman
Semantics for an interdisciplinary computation (WIP). SpringSim (TMS-DEVS) (2013)
Péter Fehér, Tamás Mészáros, László Lengyel, Pieter J. Mosterman
Data Type Propagation in Simulink Models with Graph Transformation. ECBS-EERC (2013)
Zhi Han, Pieter J. Mosterman, Justyna Zander, Fu Zhang
Systematic management of simulation state for multi-branch simulations in simulink. SpringSim (TMS-DEVS) (2013)
Zhi Han, Pieter J. Mosterman
Towards sensitivity analysis of hybrid systems using simulink. HSCC (2013)
Justyna Zander, Pieter J. Mosterman
Technical engine for democratization of modeling, simulations, and predictions. WSC (2012)
Teresa Hübscher-Younger, Pieter J. Mosterman, Seth DeLand, Omar Orqueda, Doug Eastman
Integrating discrete-event and time-based models with optimization for resource allocation. WSC (2012)
Amel Bennaceur, Robert B. France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Aksit, Pär Emmanuelson, Gang Huang, Nikolaos Georgantas, David Redlich
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. Models@run.time@Dagstuhl (2011)
Pieter J. Mosterman, Justyna Zander
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics. EOOLT (2011)
Zhi Han, Pieter J. Mosterman
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems. ACC (2010)
Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. ADHS (2009)
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman
Guest Editorial: Special Issue on Multi-paradigm Modeling. Simul. 85 (11-12) (2009)
Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli
Automatic Code Generation for Synchronous Reactive Communication. ICESS (2009)
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simul. 84 (7) (2008)
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)
Pieter J. Mosterman
Model-Based Design of Embedded Systems. MSE (2007)
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) (2007)
Paul Kinnucan, Pieter J. Mosterman
A graphical variant approach to object-oriented modeling of dynamic systems. SCSC (2007)
Christos G. Cassandras, Michael I. Clune, Pieter J. Mosterman
Hybrid system simulation with SimEvents. ADHS (2006)
Christopher D. Beers, Eric-Jan Manders, Gautam Biswas, Pieter J. Mosterman
Building Efficient simulations from Hybrid bond Graph Models. ADHS (2006)
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)
Ben Denckla, Pieter J. Mosterman
Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. CDC/ECC (2005)
Pieter J. Mosterman, Hans Vangheluwe
Computer Automated Multi-Paradigm Modeling: An Introduction. Simul. 80 (9) (2004)
Pieter J. Mosterman, Janos Sztipanovits, Sebastian Engell
Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Control. Syst. Technol. 12 (2) (2004)
Sebastian Engell, Pieter J. Mosterman
Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM). IEEE Trans. Control. Syst. Technol. 12 (2) (2004)
Pieter J. Mosterman, John E. Ciolfi
Using interleaved execution to resolve cyclic dependencies in time-based block diagrams. CDC (2004)
Pieter J. Mosterman
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems. WSC (2003)
Pieter J. Mosterman, Gautam Biswas
A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems. Simul. 78 (1) (2002)
Pieter J. Mosterman, Hans Vangheluwe
Guest editorial: Special issue on computer automated multi-paradigm modeling. ACM Trans. Model. Comput. Simul. 12 (4) (2002)
Pieter J. Mosterman
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. HSCC (2001)
Eric-Jan Manders, Gautam Biswas, Pieter J. Mosterman, Lee A. Barford, Robert Joel Barnett
Signal interpretation for monitoring and diagnosis, a cooling system testbed. IEEE Trans. Instrum. Meas. 49 (3) (2000)
Pieter J. Mosterman, Gautam Biswas
A comprehensive methodology for building hybrid models of physical systems. Artif. Intell. 121 (1-2) (2000)
Pieter J. Mosterman, Gautam Biswas
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. HSCC (2000)
Pieter J. Mosterman, Gautam Biswas
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. HSCC (1999)
Pieter J. Mosterman
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. HSCC (1999)
Pieter J. Mosterman, Gautam Biswas
Diagnosis of continuous valued systems in transient operating regions. IEEE Trans. Syst. Man Cybern. Part A 29 (6) (1999)
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
An Ontology for Transitions in Physical Dynamic Systems. AAAI/IAAI (1998)
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
Sliding Mode Model Semantics and Simulation for Hybrid Systems. Hybrid Systems (1997)
Pieter J. Mosterman, Gautam Biswas
Formal Specifications for Hybrid Dynamical Systems. IJCAI (1) (1997)
Pieter J. Mosterman, Gautam Biswas
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. AAAI/IAAI (1997)
Pieter J. Mosterman, Gautam Biswas
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. AAAI/IAAI, Vol. 2 (1996)