Pieter J. Mosterman

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