[1] 
On the Decidability of the Reachability Problem for Planar Differential Inclusions,
Eugene Asarin, Gerardo Schneider, and Sergio Yovine,
in HSCC'2001, number 2034 in LNCS, pages 89104, Rome, Italy, 2001.
(PDF)
(BiBTeX entry)

[2] 
SPeeDI  A Verification Tool for Polygonal Hybrid Systems,
Eugene Asarin, Gordon Pace, Gerardo Schneider and Sergio Yovine,
in ComputerAided Verification (CAV 2002) published
in LNCS 2404,
Copenhagen, Denmark, 2002.
(PDF)
(BiBTeX entry)

[3] 
Towards Computing Phase Portraits of Polygonal Differential Inclusions,
Eugene Asarin, Gerardo Schneider, and Sergio Yovine,
in HSCC'2002, number 2289 in LNCS, pages 4961, Stanford, USA, March 2002.
(PDF)
(BiBTeX entry)

[4] 
Model Checking Polygonal Differential Inclusions Using Invariance Kernels,
Gordon Pace and Gerardo Schneider,
in Verification and Model Checking and Abstract Interpretation (VMCAI 2004) to be published
in LNCS, Venice, Italy, 2004.
(PDF)
(BiBTeX entry)

The technical details of the VMCAI'04 paper are available in
two technical reports: 
[5] 
A New BreadthFirst Search Algorithm for Deciding SPDI Reachability
Gordon Pace,
Department of Computer Science and AI, University of Malta. Technical Report CSAI200301.
(PDF)
(BiBTeX entry)

[6] 
Invariance Kernels of Polygonal Differential Inclusions
Gerardo Schneider,
Department of IT, Uppsala University. Technical Report 2003042.
(PDF)
(BiBTeX entry)

[7] 
Computing Invariance Kernels of Polygonal Hybrid Systems,
Gerardo Schneider,
Nordic Journal of Computing, 11(2):194210, 2004.

[8] 
Static Analysis for StateSpace Reduction of Polygonal Hybrid Systems,
Gordon Pace and Gerardo Schneider,
in Formal Modelling and Analysis of Timed Systems (FORMATS'06),
SpringerVerlag LNCS (to appear), Paris, France. 2006.
(PDF)
(BiBTeX entry)

The above paper with some additional proofs is available as
a University of Oslo technical report. 
[9] 
Static Analysis of SPDIs for StateSpace Reduction,
Gordon Pace and Gerardo Schneider,
Technical Report 336,
Department of Informatics, University of Oslo, PO Box 1080 Blindern, N0316 Oslo, Norway. 2006.
(PDF)
(BiBTeX entry)

[10] 
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems,
Gordon Pace and Gerardo Schneider,
in 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06),
SpringerVerlag LNCS, Tunis, Tunisia. 2006.
(PDF)
(BiBTeX entry)

[11] 
Reachability Analysis of Generalized Polygonal Hybrid Systems,
Gerardo Schneider,
In 23rd Annual ACM Symposium on Applied Computing  Software Verification track (SACSV'08), ACM, March 2008.

[12] 
Algorithmic Analysis of Polygonal Hybrid Systems. Part I: Reachability,
Eugene Asarin, Gerardo Schneider, and Sergio Yovine,
Theoretical Computer Science, 379(12):231265, 2007.

[13] 
Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools,
Eugene Asarin, Gordon Pace, Gerardo Schneider, and Sergio Yovine,
Theoretical Computer Science, 2007.

[14] 
Computation and Visualisation of Phase Portraits of Polygonal Hybrid Systems,
Gordon Pace and Gerardo Schneider,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), SpringerVerlag LNCS, Budapest, Hungary, 2008.


