Research - P.J. Collins - Maastricht University

P.J. Collins

Publications

Most recent publications:

Gonzalez, S. Z., Geretti, L., Bresolin, D., Villa, T., & Collins, P. (2023). A higher order method for input-affine uncertain systems. Nonlinear Analysis-Hybrid Systems, 47, [101266]. https://doi.org/10.1016/j.nahs.2022.101266

More information about this publication
Geretti, L., Collins, P., Bresolin, D., & Villa, T. (2022). Automating Numerical Parameters Along the Evolution of a Nonlinear System. In RUNTIME VERIFICATION (RV 2022) (Vol. 13498, pp. 336-345). Springer International Publishing AG. Lecture Notes in Computer Science Vol. 13498 https://doi.org/10.1007/978-3-031-17196-3_22

More information about this publication
Collins, P., & Konecny, M. (2022). Computability of the Behaviour of Impacting Systems Beyond Zeno Times. In IFAC PAPERSONLINE (30 ed., Vol. 55, pp. 85-90). Elsevier. https://doi.org/10.1016/j.ifacol.2022.11.033

More information about this publication
Brausse, F., Collins, P., & Ziegler, M. (2022). Computer Science for Continuous Data Survey, Vision, Theory, and Practice of a Computer Algebra Analysis System. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING (CASC 2022): Conference proceedings (Vol. 13366, pp. 62-82). Springer International Publishing AG. Lecture Notes in Computer Science Vol. 13366 https://doi.org/10.1007/978-3-031-14788-3_5

More information about this publication
Collins, P. (2022). Monadic Systems. In IFAC PAPERSONLINE (30 ed., Vol. 55, pp. 486-491). Elsevier. https://doi.org/10.1016/j.ifacol.2022.11.100

More information about this publication
Geretti, L., Alexandre dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C., & Wetzlinger, M. (2021). ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In G. Frehse, & M. Althoff (Eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (pp. 32–54). EPiC. EPiC Series in Computing Vol. 80 https://doi.org/10.29007/2jw8

More information about this publication
Bei, J., Pomerenke, D., Schreiner, L., Sharbaf, S., Collins, P., & Roos, N. (2021). Explainable AI through the Learning of Arguments. In Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN (pp. 241-255)

More information about this publication
Collins, P. (2020). Computable analysis with applications to dynamic systems. Mathematical Structures in Computer Science, 30(2), 173-233. [096012952000002]. https://doi.org/10.1017/S096012952000002X

More information about this publication
Ismailoglu, F., Cavill, R., Smirnov, E., Zhou, S., Collins, P., & Peeters, R. (2020). Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 17(1), 347-353. https://doi.org/10.1109/TCBB.2018.2877755

More information about this publication
Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T., & Zivanovic Gonzalez, S. (2020). A computable and compositional semantics for hybrid automata. In HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (pp. 1-11). [18] The Association for Computing Machinery. https://doi.org/10.1145/3365365.3382202

More information about this publication

Go to all publications

Other publications:

Journals

L.C.G.J.M. Habets, P.J. Collins, and J.H. van Schuppen. "Control to facet by piecewise-affine output feedback". IEEE Trans. Automatic Control, 57(11):2831–2843, 2012.
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, and Tiziano Villa. "Assume-guarantee verification of nonlinear hybrid systems with Ariadne". Int. J. Robust Nonlinear Control, 2012.
Pieter Collins, Milad Niqui, and Nathalie Revol. "A validated real function calculus". Math. Comput. Sci., 5:437–467, 2011.
Alexandre Goldsztejn, Wayne Hayes, and Pieter Collins. "Tinkerbell is chaotic". SIAM J. Appl. Dynam. Sys., 10(4):1480–1501, 2011.
Lorenzo Sella and Pieter Collins. "Computation of symbolic dynamics for two-dimensional piecewise-affine maps". Discrete Contin. Dyn. S. (B), 15(3):739–767, 2011.
Pieter Collins and Ivan S. Zapreev. "Computable semantics for CTL* on discrete-time and continuous-space dynamic systems". Int. J. Found. Comput. Sci., 22(4):801–821, 2011.
Pieter Collins. "Semantics and Computability of the Evolution of Hybrid Systems". SIAM J. Control Optimization49(2) 890–925, 2011.
Lorenzo Sella and Pieter Collins. "Computation of symbolic dynamics for one-dimensional maps". J. Comput. Appl. Math.234 418--436, 2010.
Pieter Collins and Daniel Graca. "Effective computability of solutions of differential inclusions --- the ten thousand monkeys approach". J. Univ. Comput. Sci.15(6) 1162--1185, 2009.
Clare Lee, Pieter Collins, Bernd Krauskopf and Hinke Osinga"Tangency bifurcations of global Poincaré maps". SIAM J. Appl. Dyn. Syst.7(3), 71200754, 2008.
Pieter Collins, "Optimal semicomputable approximations to reachable and invariant sets". Theory Comput. Syst.41(1), 33--48, 2007.
Pieter Collins, "Universal Trellises". J. Knot Theory Ramifications16(4), 471-487, 2007.
Luc C. G. J. M. Habets, Pieter Collins and Jan H. van Schuppen. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Automat. Control51(6), 938--948, 2006.
Pieter Collins, "Entropy-minimising models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits". Dyn. Syst.20(4), 369--400, 2005.
Pieter Collins, "Continuity and computability of reachable sets". Theor. Comput. Sci.341, 162--195, 2005.
Pieter Collins, "Forcing relations for homoclinic orbits of the Smale horseshoe map". Experimental Math.14(1), 75--86, 2005.
Pieter Collins, "Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits". Dyn. Syst.19(1), 1--39, 2004.
Pieter Collins and Bernd Krauskopf, "Entropy and bifurcations in a chaotic laser". Phys. Rev. E66(5), 056201, 2002.
Pieter Collins, "Symbolic Dynamics from Homoclinic Tangles". Intern. J. Bifur. Chaos12(3), 605--617, 2002.
Pieter Collins, "Relative periodic point theory". Topology Appl.115(1), 97--114, 2001.

Invited contributions

Pieter Collins, "Chaotic Dynamics in Hybrid Systems", Nonlinear Dynamics and Systems Theory 8(2), 169--194, 2008.

Conference proceedings

Pieter Collins. Computable probability theory and stochastic processes. In Proceedings of the Ninth International Conference on Computability and Complexity in Analysis, 2012.
P. Uyttendaele, F. Thuijsman, P. Collins, R. Peeters, G. Schoenmakers, and R. Westra. Evolutionary games and periodic fitness. In Proceedings of the Fifteenth International Symposium on Dynamic Games and Applications, 2012.
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, and Tiziano Villa. Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis. In Proceedings of the 6th International Workshop on Reachability Problems, volume 7550 of Lecture Notes in Computer Science, pages 79–91, 2012.
Pieter Collins, Davide Bresolin, Luca Geretti, and Tiziano Villa. Computing the evolution of hybrid systems using rigorous function calculus. In Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012.
Milahi Marin, Andrea Benigni, Hakima Lakhdar, Antonello Monti, and Pieter Collins. Towards the implementation of a parallel real-time simulator for DSP cluster. In Proceedings of the 2012 International Simulation Multi-Conference, 2012.
Pieter Collins, Luc C.G.J.M. Habets, Jan H. van Schuppen, Ivana Cerna, Jana Fabrikova, and David Safranek. Abstraction of biochemical reaction systems on polytopes. In Proceedings of the 18th IFAC World Congress, 2011.
Pieter J. Collins, Milad Niqui, and Nathalie Revol. A Taylor function calculus for hybrid system analysis: Validation in Coq (extended abstract). In Third International Workshop on Numerical Software Verification, 2010.
S. Zivanovic and P. Collins. Numerical solutions to noisy systems. In Proceedings of the 49th IEEE Conference on Decision and Control, pages 798 –803, 2010.
Pieter Collins. "A computable type theory for control systems". In Proceedings of the 48th IEEE Conference on Decision and Control, Shanghai, 2009.
Pieter Collins and Ivan Zapreev. "Computable CTL* for discrete-time and continuous-space dynamic systems". In Proceedings of the 3rd Workshop on Reachability Problems, Lecture Notes in Computer Science5797, 107--119, 2009.
D.A. van Beek, P. Collins, D.E. Nadales Agut, J.E. Rooda and R.R.H. Schiffelers. "New concepts in the abstract format of the Compositional Interchange Format". In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza 2009.
Pieter J. Collins, Luc C.G.J.M. Habets, Mihaly Petreczky and Jan H. van Schuppen. "Control of piecewise-affine hybrid systems - Extended abstract". In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza 2009.
Mihaly Petreczky, Dirk A. van Beek, Jacobus E. Rooda, Pieter Collins and Jan H. van Schuppen. "Sampled-data control of hybrid systems with discrete inputs and outputs". In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza 2009.
Pieter Collins, "Controllability and Falsification of Hybrid Systems". Proceedings of the European Control Conference, Budapest, August 2009.
Pieter Collins, "Computability of Homology for Compact Absolute Neighbourhood Retracts". Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Ljubljana, August 2009.
Pieter Collins and Alexandre Goldsztejn, "The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems". Proceedings of the 2nd Workshop on Reachability Problems, Liverpool, July 2008. Electronic Notes in Theoretical Computer Science223, 87--102, 2008.
Pieter Collins, "Computability and Representations of the Zero Set". Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, Hagen, August 2008. Electronic Notes in Theoretical Computer Science221, 37--43, 2008.
Pieter Collins and Daniel S. Graça, "Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach". Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, Hagen, August 2008. Electronic Notes in Theoretical Computer Science221, 103--114, 2008.
Pieter Collins, Luc Habets and Jan H. van Schuppen, "Control-to-facet by piecewise-affine output feedback". Proceedings of the 18th International Symposium on the Mathematical Theory of Networks and Systems, Blacksburg, Virginia, July 2008.
Pieter Collins, "Computability of controllers for discrete-time semicontinuous systems". Proceedings of the 18th International Symposium on the Mathematical Theory of Networks and Systems, Blacksburg, Virginia, July 2008.
Lorenzo Sella and Pieter Collins, "Symbolic Dynamics for a Piecewise-Affine System with Hysteresis". Proceedings of the 18th International Symposium on the Mathematical Theory of Networks and Systems, Blacksburg, Virginia, July 2008.
Luca Benvenuti, Davide Bresolin, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Emanuele Mazzi, Alberto Sangiovanni-Vincentelli and Tiziano Villa, "Reachability computation for hybrid systems with Ariadne", Proceedings of the 17th IFAC World Congress, 2008.
Lorenzo Sella and Pieter Collins, "Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata". Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, Springer-Verlag, 2008.
Pieter Collins, "Effective computation for nonlinear systems", Computation and Logic in the Real World, Lecture Notes in Computer Science 4497, 169--178, Springer-Verlag, 2007.
Lorenzo Sella and Pieter Collins, "Stability Analysis of Switched-Linear Hybrid Systems". Proceedings of the European Control Conference 2007, Kos, Greece, July 2-5, 2007.
Pieter Collins, Luc C.G.J.M. Habets, Anton Kuut, Margreet Nool, Mihaly Petreczky and Jan H. van Schuppen, "ConPAHS - A software package for control of piecewise-affine hybrid systems". Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, 2006.
Pieter Collins, "Generalised Hybrid Trajectory Spaces". Proceedings of the 17th International Symposium on the Mathematical Theory of Networks and Systems, Kyoto, Japan, July 2006.
Andrea Balluchi, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Tiziano Villa and Alberto L. Sangiovanni-Vincentelli, "Ariadne: a framework for reachability analysis of hybrid automata". Proceedings of the 17th International Symposium on the Mathematical Theory of Networks and Systems, Kyoto, Japan, July 2006.
Pieter Collins and John Lygeros, "Computability of finite-time reachable sets for hybrid systems". Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference, Sevilla, 2005.
Pieter Collins, "On the Computability of Reachable and Invariant Sets". Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference, Sevilla, 2005.
Eugene Asarin and Pieter Collins, "Noisy Turing machines". Proceedings of the International Colloquium on Automata, Languages and Programming, Lisbon, 2005.
Pieter Collins and Jan H. van Schuppen, "Observability of Hybrid Systems and Turing Machines". Proceedings of the 43rd IEEE Conference on Decision and Contol, Paradise Island, Bahamas, 2004.
Pieter Collins, "A trajectory-space approach to hybrid systems". Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, Katholiek Univ. Leuven, Belgium, August 2004.
Pieter Collins and Jan H. van Schuppen, "Observability of Piecewise-Affine Hybrid Systems". Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 2623, Springer-Verlag, 2004.
Pieter Collins and Bernd Krauskopf, "Chaotic lasers: manifolds, bifurcations and symbolic dynamics", Proceedings of Equadiff 2003, World Scientific.
Pieter Collins, "Dynamics Forced by Surface Trellises". Geometry and topology in dynamics, Contemp. Math. 246, 1999.

Other

Pieter Collins, "Dynamics of Surface Maps with Homoclinic and Heteroclinic Tangles". Ph.D. Thesis, University of California, Berkeley, 1999
Pieter Collins, "Hybrid trajectory spaces". CWI Research Report MAS-R0501, ISSN 1386-3703, 2005.
Pieter Collins, "Semantics and Computability of the Evolution of Hybrid Systems". CWI Research Report MAS-R0801, ISSN 1386-3703, 2008.
Pieter Collins, "Computable Analysis with Applications to Dynamic Systems". CWI Research Report MAC-1002, ISSN 1386-3703, 2010.
Sanja Živanovic and Pieter Collins, "Higher Order Methods for Differential Inclusions". CWI Research Report MAC-1007, ISSN 1386-3703, 2010.