Picture for Paul Gustafson

Paul Gustafson

Hybrid dynamical type theories for navigation

Add code
Aug 17, 2021
Figure 1 for Hybrid dynamical type theories for navigation
Figure 2 for Hybrid dynamical type theories for navigation
Figure 3 for Hybrid dynamical type theories for navigation
Viaarxiv icon

Conley's fundamental theorem for a class of hybrid systems

Add code
May 07, 2020
Figure 1 for Conley's fundamental theorem for a class of hybrid systems
Figure 2 for Conley's fundamental theorem for a class of hybrid systems
Figure 3 for Conley's fundamental theorem for a class of hybrid systems
Figure 4 for Conley's fundamental theorem for a class of hybrid systems
Viaarxiv icon

Formal composition of hybrid systems

Add code
Nov 04, 2019
Figure 1 for Formal composition of hybrid systems
Viaarxiv icon