P.J. Collins
Recent publications
-
Geretti, L., Collins, P., Nuzzo, P., & Villa, T. (2024). Constraint-driven nonlinear reachability analysis with automated tuning of tool properties. Nonlinear Analysis-Hybrid Systems, 54, Article 101532. https://doi.org/10.1016/j.nahs.2024.101532More information about this publication
-
Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T., & Gonzalez, S. Z. (2024). A computable and compositional semantics for hybrid systems. Information and Computation, 300, Article 105189. https://doi.org/10.1016/j.ic.2024.105189More information about this publication
-
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J., & Wetzlinger, M. (2024). ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC Series in Computing, 103, 39-63. https://doi.org/10.29007/21chMore information about this publication
-
Park, S., Brausse, F., Collins, P., Kim, S., Konecny, M., Lee, G., Mueller, N., Neumann, E., Preining, N., & Ziegler, M. (2024). Semantics, Specification Logic, And Hoare Logic Of Exact Real Computation. Logical Methods in Computer Science, 20(2), Article 17. https://doi.org/10.46298/LMCS-20(2:17)2024More information about this publication
-
Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M., & Zhuang, D. (2023). ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (Vol. 96, pp. 61-88) https://doi.org/10.29007/93f2More information about this publication
-
Gonzalez, S. Z., Geretti, L., Bresolin, D., Villa, T., & Collins, P. (2023). A higher order method for input-affine uncertain systems. Nonlinear Analysis-Hybrid Systems, 47, Article 101266. https://doi.org/10.1016/j.nahs.2022.101266More information about this publication
-
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C., & Wetzlinger, M. (2022). ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (Vol. 90, pp. 86-112) https://doi.org/10.29007/fnzcMore information about this publication
-
Geretti, L., Collins, P., Bresolin, D., & Villa, T. (2022). Automating Numerical Parameters Along the Evolution of a Nonlinear System. In T. Dang, & V. Stolz (Eds.), Runtime Verification - 22nd International Conference, RV 2022, Proceedings (Vol. 13498, pp. 336-345). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-17196-3_22More information about this publication
-
Collins, P., & Konecny, M. (2022). Computability of the Behaviour of Impacting Systems Beyond Zeno Times. In IFAC PAPERSONLINE (30 ed., Vol. 55, pp. 85-90). Elsevier. https://doi.org/10.1016/j.ifacol.2022.11.033More information about this publication
-
Brausse, F., Collins, P., & Ziegler, M. (2022). Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings (Vol. 13366, pp. 62-82). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-14788-3_5More information about this publication