Pieter Collins
Pieter Collins
Department of Data Science and Knowledge Engineering, Maastricht University
Verified email at maastrichtuniversity.nl
Title
Cited by
Cited by
Year
Reachability and control synthesis for piecewise-affine hybrid systems on simplices
L Habets, PJ Collins, JH van Schuppen
IEEE Transactions on Automatic Control 51 (6), 938-948, 2006
2972006
Observability of piecewise-affine hybrid systems
P Collins, JH Van Schuppen
International Workshop on Hybrid Systems: Computation and Control, 265-279, 2004
1272004
A trajectory-space approach to hybrid systems
P Collins
Proc. 16th MTNS, 2004
752004
Continuity and computability of reachable sets
P Collins
Theoretical Computer Science 341 (1-3), 162-195, 2005
712005
Continuity and computability of reachable sets
P Collins
Theoretical Computer Science 341 (1-3), 162-195, 2005
712005
Ariadne: a framework for reachability analysis of hybrid automata
A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ...
In: Proceedings of the International Syposium on Mathematical Theory of …, 2006
642006
Myokit: a simple interface to cardiac cellular electrophysiology
M Clerx, P Collins, E de Lange, PGA Volders
Progress in biophysics and molecular biology 120 (1-3), 100-114, 2016
592016
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014
592014
Symbolic dynamics from homoclinic tangles
P Collins
International Journal of Bifurcation and Chaos 12 (03), 605-617, 2002
532002
Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits
P Collins
Dynamical Systems 19 (1), 1-39, 2004
462004
Reachability computation for hybrid systems with Ariadne
L Benvenuti, D Bresolin, A Casagrande, P Collins, A Ferrari, E Mazzi, ...
IFAC Proceedings Volumes 41 (2), 8960-8965, 2008
402008
Forcing relations for homoclinic orbits of the Smale horseshoe map
P Collins
Experimental Mathematics 14 (1), 75-86, 2005
382005
Forcing relations for homoclinic orbits of the Smale horseshoe map
P Collins
Experimental Mathematics 14 (1), 75-86, 2005
382005
Computing the evolution of hybrid systems using rigorous function calculus
P Collins, D Bresolin, L Geretti, T Villa
IFAC Proceedings Volumes 45 (9), 284-290, 2012
362012
New concepts in the abstract format of the compositional interchange format
DA van Beek, P Collins, DE Nadales, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 42 (17), 250-255, 2009
352009
New concepts in the abstract format of the compositional interchange format
DA van Beek, P Collins, DE Nadales, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 42 (17), 250-255, 2009
352009
Tangency bifurcations of global Poincaré maps
CM Lee, PJ Collins, B Krauskopf, HM Osinga
SIAM Journal on applied dynamical systems 7 (3), 712-754, 2008
342008
Optimal semicomputable approximations to reachable and invariant sets
P Collins
Theory of Computing Systems 41 (1), 33-48, 2007
322007
Optimal semicomputable approximations to reachable and invariant sets
P Collins
Theory of Computing Systems 41 (1), 33-48, 2007
322007
Computability of finite-time reachable sets for hybrid systems
P Collins, J Lygeros
Proceedings of the 44th IEEE Conference on Decision and Control, 4688-4693, 2005
312005
The system can't perform the operation now. Try again later.
Articles 1–20