Computational Topology for Systems and Control April 2005 - March 2010
Collection
Collection
-
Stability Analysis of Switched-Linear Hybrid Systems In Proceedings
January 2007
-
Optimal semicomputable approximations to reachable and invariant sets Article
ACM Transactions on Computer Systems, 41(1), 33-48.January 2007
-
Universal Trellises Article
Journal of Knot Theory and its Ramifications, 16(4), 97-114.April 2007 -
Effective computation for nonlinear systems In Proceedings
July 2007
-
Reachability computation for hybrid systems with Ariadne In Proceedings
L. Benvenuti, D. Bresolin, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, E. Mazzi, T. Villa and A. Sangiovanni-Vincentelli
January 2008
-
Chaotic Dynamics in Hybrid Systems Article
Nonlinear Dynamics and Systems Theory, 8(2), 169-194.January 2008
-
Tangency Bifurcations of Global Poincar\'{e} Maps Article
SIAM Journal on Applied Dynamical Systems, 7(3), 712-754.C.M. Lee, P.J. Collins (Pieter), B. Krauskopf and H.M. Osinga
January 2008
-
January 2008