default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPieter J. Mosterman
- > Home > Persons > Pieter J. Mosterman
Publications
- 2023
[c48]Mehmet Necip Kurt, Xiaodong Wang, Pieter J. Mosterman, Yasin Yilmaz:
Data-Driven Sequential Change Detection in Privacy-Sensitive Networks. Allerton 2023: 1- [i2]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 abs/2306.11647 (2023) - 2022
- [j19]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): 982-998 (2022) - 2021
- [j18]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): 2144-2149 (2021) - [c47]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: 608-613 - [c46]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: 915-920 - [c45]Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti:
Specification and Runtime Verification of Temporal Assessments in Simulink. RV 2021: 288-296 - 2020
- [c44]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: 1-12 - 2019
- [j17]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): 265-295 (2019) - 2018
- [c43]Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang:
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. HSCC 2018: 247-252 - [c42]Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang:
Graphical Hybrid Automata with Simulink and Stateflow. HSCC 2018: 267-268 - [c41]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: 3:1-3:19 - 2017
- [j16]Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam:
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14(2): 15-23 (2017) - [c40]Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe:
The experiment model and validity frame in M&S. SpringSim (TMS) 2017: 10:1-10:12 - [c39]Yue Zhang, Christos G. Cassandras, Wei Li, Pieter J. Mosterman:
A simevents model for hybrid traffic simulation. WSC 2017: 1455-1466 - 2016
- [j15]Pieter J. Mosterman, Justyna Zander:
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. Softw. Syst. Model. 15(1): 5-16 (2016) - [j14]Pieter J. Mosterman, Justyna Zander:
Industry 4.0 as a Cyber-Physical System study. Softw. Syst. Model. 15(1): 17-29 (2016) - [c38]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: 1-8 - [c37]Wei Li, Ramamurthy Mani, Pieter J. Mosterman, Teresa Hübscher-Younger:
Simulating a multicore scheduler of real-time control systems in simulink. SummerSim 2016: 11 - [c36]Wei Li, Ramamurthy Mani, Pieter J. Mosterman:
Extensible Discrete-Event Simulation framework in SimEvents. WSC 2016: 943-954 - 2015
- [j13]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): 648-665 (2015) - 2014
- [j12]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): 259-270 (2014) - [j11]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): 90-95 (2014) - [c35]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: 21-42 - [c34]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: 83-92 - [c33]Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe:
Rule-based model transformation for, and in simulink. SpringSim (TMS-DEVS) 2014: 4 - [c32]Fu Zhang, Zhi Han, Pieter J. Mosterman:
Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation. SummerSim 2014: 51 - [p2]Justyna Zander, Pieter J. Mosterman:
Computation Taxonomy: Capabilities and Challenges. Computation for Humanity 2014: 15-34 - [e4]Justyna Zander, Pieter J. Mosterman:
Computation for Humanity - Information Technology to Advance Society. Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC Press 2014, ISBN 978-1-4398-8327-3 [contents] - 2013
- [c31]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: 127-137 - [c30]Zhi Han, Pieter J. Mosterman:
Towards sensitivity analysis of hybrid systems using simulink. HSCC 2013: 95-100 - [c29]Pieter J. Mosterman, Gabor Simko, Justyna Zander:
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. MPM@MoDELS 2013: 37-46 - [c28]Zhi Han, Pieter J. Mosterman, Fu Zhang:
A graph algorithm for linearizing simulink models. SummerSim 2013: 4 - [c27]Justyna Zander, Pieter J. Mosterman:
Semantics for an interdisciplinary computation (WIP). SpringSim (TMS-DEVS) 2013: 5 - [c26]Zhi Han, Pieter J. Mosterman, Justyna Zander, Fu Zhang:
Systematic management of simulation state for multi-branch simulations in simulink. SpringSim (TMS-DEVS) 2013: 23 - [e3]Gabriel A. Wainer, Pieter J. Mosterman, Fernando J. Barros, Gregory Zacharewicz:
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. ACM 2013, ISBN 978-1-62748-032-1 [contents] - 2012
- [c25]Justyna Zander, Pieter J. Mosterman:
Technical engine for democratization of modeling, simulations, and predictions. WSC 2012: 228:1-228:14 - [c24]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: 238:1-238:15 - [e2]Gabriel A. Wainer, Pieter J. Mosterman:
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. SCS/ACM 2012, ISBN 978-1-61839-786-7 [contents] - 2011
- [c23]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: 19-46 - [c22]Pieter J. Mosterman, Justyna Zander:
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics. EOOLT 2011: 3-7 - [e1]Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman:
Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press 2011, ISBN 978-1-4398-1845-9 [contents] - 2010
- [b1]Gabriela Nicolescu, Pieter J. Mosterman:
Model-Based Design for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC Press 2010, ISBN 978-1-420-06784-2, pp. I-XXIV, 1-739 - [c21]Zhi Han, Pieter J. Mosterman:
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems. ACC 2010: 5702-5707 - 2009
- [j10]Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman:
Guest Editorial: Special Issue on Multi-paradigm Modeling. Simul. 85(11-12): 685-687 (2009) - [c20]Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla:
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. ADHS 2009: 376-385 - [c19]Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli:
Automatic Code Generation for Synchronous Reactive Communication. ICESS 2009: 40-47 - 2008
- [j9]Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman:
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simul. 84(7): 339-358 (2008) - [c18]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 - 2007
- [c17]Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe:
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) 2007: 237-246 - 2006
- [c14]Christopher D. Beers, Eric-Jan Manders, Gautam Biswas, Pieter J. Mosterman:
Building Efficient simulations from Hybrid bond Graph Models. ADHS 2006: 71-76 - [c13]Christos G. Cassandras, Michael I. Clune, Pieter J. Mosterman:
Hybrid system simulation with SimEvents. ADHS 2006: 267-269 - [i1]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 - 2005
- [c12]Ben Denckla, Pieter J. Mosterman:
Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. CDC/ECC 2005: 4193-4198 - 2004
- [j8]Pieter J. Mosterman, Hans Vangheluwe:
Computer Automated Multi-Paradigm Modeling: An Introduction. Simul. 80(9): 433-450 (2004) - [j7]Sebastian Engell, Pieter J. Mosterman:
Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM). IEEE Trans. Control. Syst. Technol. 12(2): 221-222 (2004) - [j6]Pieter J. Mosterman, Janos Sztipanovits, Sebastian Engell:
Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Control. Syst. Technol. 12(2): 223-234 (2004) - 2002
- [j5]Pieter J. Mosterman, Gautam Biswas:
A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems. Simul. 78(1): 5-17 (2002) - [j4]Pieter J. Mosterman, Hans Vangheluwe:
Guest editorial: Special issue on computer automated multi-paradigm modeling. ACM Trans. Model. Comput. Simul. 12(4): 249-255 (2002) - 2000
- [j3]Pieter J. Mosterman, Gautam Biswas:
A comprehensive methodology for building hybrid models of physical systems. Artif. Intell. 121(1-2): 171-209 (2000) - [j2]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): 503-508 (2000) - [c8]Pieter J. Mosterman, Gautam Biswas:
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. HSCC 2000: 324-337 - 1999
- [j1]Pieter J. Mosterman, Gautam Biswas:
Diagnosis of continuous valued systems in transient operating regions. IEEE Trans. Syst. Man Cybern. Part A 29(6): 554-565 (1999) - [c6]Pieter J. Mosterman, Gautam Biswas:
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. HSCC 1999: 178-192 - 1998
- [c5]Pieter J. Mosterman, Feng Zhao, Gautam Biswas:
An Ontology for Transitions in Physical Dynamic Systems. AAAI/IAAI 1998: 219-224 - 1997
- [c4]Pieter J. Mosterman, Gautam Biswas:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. AAAI/IAAI 1997: 100-105 - [c3]Pieter J. Mosterman, Feng Zhao, Gautam Biswas:
Sliding Mode Model Semantics and Simulation for Hybrid Systems. Hybrid Systems 1997: 218-237 - [c2]Pieter J. Mosterman, Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems. IJCAI (1) 1997: 568-577 - 1996
- [c1]Pieter J. Mosterman, Gautam Biswas:
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. AAAI/IAAI, Vol. 2 1996: 985-990
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-29 00:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
