P.J. Collins
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.
P.J. Collins
Assistent Professor (Universitair Docent) in Mathematical Systems Biology
Dept. of Advanced Computing Sciences
Faculty of Science and Engineering