The following pages link to Peter J. Collins (Q857033):
Displayed 43 items.
- (Q4316877) (← links)
- (Q4319102) (← links)
- (Q4371034) (← links)
- (Q4373415) (← links)
- (Q4424984) (← links)
- Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits (Q4470306) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Computing Reachable Sets of Differential Inclusions (Q4560621) (← links)
- (Q4665114) (← links)
- SYMBOLIC DYNAMICS FROM HOMOCLINIC TANGLES (Q4736361) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- Computability and Representations of the Zero Set (Q4918003) (← links)
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach (Q4918008) (← links)
- (Q4941208) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- A computable and compositional semantics for hybrid automata (Q5146382) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices (Q5281859) (← links)
- UNIVERSAL TRELLISES (Q5292247) (← links)
- Hybrid Systems: Computation and Control (Q5307927) (← links)
- (Q5324370) (← links)
- Control to Facet by Piecewise-Affine Output Feedback (Q5353006) (← links)
- A New Look at Azimuthal Wave Propagation Constants of an n-Layered Dielectric Coated PEC Cylinder (Q5356182) (← links)
- Tinkerbell Is Chaotic (Q5388647) (← links)
- (Q5394956) (← links)
- BIFURCATIONS OF NORMALLY HYPERBOLIC INVARIANT MANIFOLDS IN ANALYTICALLY TRACTABLE MODELS AND CONSEQUENCES FOR REACTION DYNAMICS (Q5407265) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Effective Computation for Nonlinear Systems (Q5425318) (← links)
- (Q5484939) (← links)
- Model-Checking in Systems Biology - From Micro to Macro (Q5500398) (← links)
- (Q5592070) (← links)
- PRODUCT AND QUOTIENT TOPOLOGICAL SPACES WITH RESPECT TO A NUCLEUS (Q5609110) (← links)
- On Uniform Connection Properties (Q5609114) (← links)
- Concordant Mappings and the Concordant-Dissonant Factorization of an Arbitrary Continuous Function (Q5613800) (← links)
- (Q5624372) (← links)
- Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits (Q5711994) (← links)
- Automata, Languages and Programming (Q5716850) (← links)
- Monotone normality (Q5894637) (← links)
- Relative periodic point theory (Q5939007) (← links)
- Isomerization dynamics of a buckled nanobeam (Q6233758) (← links)
- Higher Order Methods for Differential Inclusions (Q6234009) (← links)
- Computable Stochastic Processes (Q6254701) (← links)
- Computable Random Variables and Conditioning (Q6357520) (← links)