Pieter Collins

According to our database, Pieter Collins authored at least 61 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Log. Methods Comput. Sci., 2024

A computable and compositional semantics for hybrid systems.

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez

Inf. Comput., 2024

2023

Rigorous Function Calculi in Ariadne.

Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa

CoRR, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Explainable AI through the Learning of Arguments.

Jonas Bei, David Pomerenke, Lukas Schreiner, Sepideh Sharbaf, Pieter Collins, Nico Roos

CoRR, 2022

Automating Numerical Parameters Along the Evolution of a Nonlinear System.

Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System.

Franz Brauße, Pieter Collins, Martin Ziegler

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Computable Random Variables and Conditioning.

Pieter Collins

CoRR, 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes.

Firat Ismailoglu, Rachel Cavill, Evgueni N. Smirnov, Shuang Zhou, Pieter Collins, Ralf Peeters

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Computable analysis with applications to dynamic systems.

Pieter Collins

Math. Struct. Comput. Sci., 2020

Higher Order Method for Differential Inclusions.

Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa

CoRR, 2020

A computable and compositional semantics for hybrid automata.

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Graph Duality in Surface Dynamics.

Pieter Collins, Kevin A. Mitchell

J. Nonlinear Sci., 2019

Rigorous Continuous Evolution of Uncertain Systems.

Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Heterogeneous Domain Adaptation Based on Class Decomposition Schemes.

Firat Ismailoglu, Evgueni N. Smirnov, Ralf Peeters, Shuang Zhou, Pieter Collins

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

2017

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.

Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa

Proceedings of the Testing Software and Systems, 2017

Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression.

David Roschewitz, Kurt Driessens, Pieter Collins

Proceedings of the Artificial Intelligence - 29th Benelux Conference, 2017

2015

Applying Novel Identification Protocols to Markov Models of INa.

Michael Clerx, Pieter Collins, Paul G. A. Volders

Proceedings of the Computing in Cardiology, 2015

2014

Model-Checking in Systems Biology - From Micro to Macro.

Pieter Collins

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

Myokit: A Framework for Computational Cellular Electrophysiology.

Michael Clerx, Paul G. A. Volders, Pieter Collins

Proceedings of the Computing in Cardiology, CinC 2014, 2014

2013

Special issue on control, communication, and complexity.

Charalambos D. Charalambous, Pieter Collins, Fritz Colonius

Math. Control. Signals Syst., 2013

Counterexample Generation for Hybrid Automata.

Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Control to Facet by Piecewise-Affine Output Feedback.

Luc C. G. J. M. Habets, Pieter J. Collins, Jan H. van Schuppen

IEEE Trans. Autom. Control., 2012

Evolutionary Games and Periodic Fitness.

Philippe Uyttendaele, Frank Thuijsman, Pieter Collins, Ralf Peeters, Gijs Schoenmakers, Ronald L. Westra

Dyn. Games Appl., 2012

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.

Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa

Proceedings of the Reachability Problems - 6th International Workshop, 2012

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus.

Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Semantics and Computability of the Evolution of Hybrid Systems.

Pieter Collins

SIAM J. Control. Optim., 2011

Tinkerbell Is Chaotic.

Alexandre Goldsztejn, Wayne B. Hayes, Pieter Collins

SIAM J. Appl. Dyn. Syst., 2011

A Validated Real Function Calculus.

Pieter Collins, Milad Niqui, Nathalie Revol

Math. Comput. Sci., 2011

Computable Semantics for <i>CTL*</i> on Discrete-Time and Continuous-Space Dynamic Systems.

Pieter Collins, Ivan S. Zapreev

Int. J. Found. Comput. Sci., 2011

2010

Computation of symbolic dynamics for one-dimensional maps.

Lorenzo Sella, Pieter Collins

J. Comput. Appl. Math., 2010

Numerical solutions to noisy systems.

Sanja Zivanovic, Pieter Collins

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach.

Pieter Collins, Daniel Silva Graça

J. Univers. Comput. Sci., 2009

Computability and Complexity in Analysis.

Vasco Brattka, Pieter Collins, Robert Rettinger

J. Univers. Comput. Sci., 2009

Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.

Pieter Collins, Ivan S. Zapreev

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Controllability and falsification of hybrid systems.

Pieter Collins

Proceedings of the 10th European Control Conference, 2009

A computable type theory for control systems.

Pieter Collins

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Computability of Homology for Compact Absolute Neighbourhood Retracts.

Pieter Collins

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

Sampled-data control of hybrid systems with discrete inputs and outputs.

Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Control of Piecewise-Affine Hybrid Systems - Extended abstract.

Pieter J. Collins, Luc C. G. J. M. Habets, Mihály Petreczky, Jan H. van Schuppen

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

New Concepts in the Abstract Format of the Compositional Interchange Format.

Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Tangency Bifurcations of Global Poincaré Maps.

Clare M. Lee, Pieter J. Collins, Bernd Krauskopf, Hinke M. Osinga

SIAM J. Appl. Dyn. Syst., 2008

The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems.

Pieter Collins, Alexandre Goldsztejn

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach.

Pieter Collins, Daniel Silva Graça

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

Computability and Representations of the Zero Set.

Pieter Collins

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata.

Lorenzo Sella, Pieter Collins

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Optimal Semicomputable Approximations to Reachable and Invariant Sets.

Pieter Collins

Theory Comput. Syst., 2007

Effective Computation for Nonlinear Systems.

Pieter Collins

Proceedings of the Computation and Logic in the Real World, 2007

2006

Reachability and control synthesis for piecewise-affine hybrid systems on simplices.

Luc C. G. J. M. Habets, Pieter J. Collins, Jan H. van Schuppen

IEEE Trans. Autom. Control., 2006

2005

Continuity and computability of reachable sets.

Pieter Collins

Theor. Comput. Sci., 2005

Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map.

Pieter Collins

Exp. Math., 2005

Noisy Turing Machines.

Eugene Asarin, Pieter Collins

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Computability of finite-time reachable sets for hybrid systems.

Pieter Collins, John Lygeros

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

On the Computability of Reachable and Invariant Sets.

Pieter Collins

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Observability of Piecewise-Affine Hybrid Systems.

Pieter Collins, Jan H. van Schuppen

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Observability of hybrid systems and turing machines.

Pieter Collins, Jan H. van Schuppen

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2002

Symbolic Dynamics from homoclinic tangles.

Pieter Collins

Int. J. Bifurc. Chaos, 2002

2000

On Strict Extensions of Nearness Spaces.

Pieter J. Collins, C. A. Hendrie

Appl. Categorical Struct., 2000