Pieter J. Mosterman
Affiliations:- MathWorks, Natick, USA
- McGill University, Canada
According to our database1,
Pieter J. Mosterman
authored at least 73 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
2
1
1
1
1
1
1
2
1
2
1
1
3
2
2
1
1
2
1
3
2
3
4
6
2
2
1
2
1
3
3
1
1
1
1
1
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
CoRR, 2023
Proceedings of the 59th Annual Allerton Conference on Communication, 2023
2022
IEEE J. Sel. Areas Commun., 2022
2021
A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections.
IEEE Control. Syst. Lett., 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
2020
Proceedings of the Spring Simulation Conference, 2020
2019
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity.
Discret. Event Dyn. Syst., 2019
2018
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.
Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
2017
Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Rev., 2017
Proceedings of the 2017 Winter Simulation Conference, 2017
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017
2016
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems.
Softw. Syst. Model., 2016
Proceedings of the Winter Simulation Conference, 2016
Proceedings of the Summer Computer Simulation Conference, 2016
Proceedings of the 1st International Workshop on Cyber-Physical Production Systems, 2016
2015
Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens.
Simul., 2015
2014
Comput. Sci. Eng., 2014
Annu. Rev. Control., 2014
Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation.
Proceedings of the 2014 Summer Simulation Multiconference, 2014
Proceedings of the 2014 Spring Simulation Multiconference, 2014
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
Computation Taxonomy: Capabilities and Challenges.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014
2013
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013
Proceedings of the 2013 Summer Simulation Multiconference, 2013
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013
2012
Proceedings of the Winter Simulation Conference, 2012
Integrating discrete-event and time-based models with optimization for resource allocation.
Proceedings of the Winter Simulation Conference, 2012
2011
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
2010
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems.
Proceedings of the American Control Conference, 2010
Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC Press, ISBN: 978-1-420-06784-2, 2010
2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
2008
Simul., 2008
Proceedings of the Design, Automation and Test in Europe, 2008
2007
Proceedings of the Handbook of Dynamic System Modeling., 2007
Proceedings of the Handbook of Dynamic System Modeling., 2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Proceedings of the IEEE International Conference on Microelectronic Systems Education, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
2006
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Embedded Real-Time Control via MATLAB, Simulink, and xPC Target.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005
2004
IEEE Trans. Control. Syst. Technol., 2004
IEEE Trans. Control. Syst. Technol., 2004
Using interleaved execution to resolve cyclic dependencies in time-based block diagrams.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
2002
ACM Trans. Model. Comput. Simul., 2002
Simul., 2002
2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
2000
IEEE Trans. Instrum. Meas., 2000
Artif. Intell., 2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
1999
IEEE Trans. Syst. Man Cybern. Part A, 1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Formal Specifications for Hybrid Dynamical Systems.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Hybrid Systems V, 1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1996
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996