Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Finished
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
EPSRC
1/08/11 → 31/07/15
Project: Research
Automatic proof procedures for polynomials and special functions
Jackson, P.
EPSRC
1/11/10 → 28/02/15
Project: Research