Výsledky vyhledávání - "Pieter Collins"

Akademický článek

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

Autor: Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Publikováno v: Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)

We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic

Externí odkaz: https://doaj.org/article/8cf88ea70ad8446b89a6be0bf5f72a98

Zobrazit plný text záznamu

A higher order method for input-affine uncertain systems

Autor: Sanja Zivanovic Gonzalez, Luca Geretti, Davide Bresolin, Tiziano Villa, Pieter Collins

Publikováno v: Nonlinear Analysis-Hybrid Systems, 47:101266. Elsevier BV

Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide several the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0a478f59bb4d0b7cbfd8b8cc6e92a73
https://hdl.handle.net/11562/1077167

Zobrazit plný text záznamu

Computable analysis with applications to dynamic systems

Autor: Pieter Collins

Publikováno v: Mathematical Structures in Computer Science, 30(2):096012952000002, 173-233. Cambridge University Press

Numerical computation is traditionally performed using floating-point arithmetic and truncated forms of infinite series, a methodology which allows for efficient computation at the cost of some accuracy. For most applications, these errors are entire

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d6c983666c9e9cb10a00b36a4d00b3c
https://doi.org/10.1017/s096012952000002x

Zobrazit plný text záznamu

ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

Autor: Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger

Publikováno v: Geretti, L, Alexandre Dit Sandretto, J, 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 G Frehse, M Althoff, E Schoitsch & J Guiochet (eds), 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) . EasyChair, EPiC Series in Computing, vol. 90, pp. 58-85, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, 06/09/2022 . https://doi.org/10.29007/fnzc

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid S

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::433d8ae018629c63bc2c4dfc7b11d3d0
https://vbn.aau.dk/da/publications/7b2bc7c4-95bb-487b-a2f4-ee56118e8e5a

Zobrazit plný text záznamu

Computability of the Behaviour of Impacting Systems Beyond Zeno Times

Autor: Pieter Collins, Michal Konečný

Publikováno v: IFAC PAPERSONLINE, 55(30), 85-90

Mathematical models of hybrid systems may exhibit Zeno behaviour, in which infinitely many discrete events occur in a finite time interval. Although this may be considered physically unrealistic, since Zeno behaviour is useful in modelling real-world

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45964006e4bcbd8109218da85852e5c9
https://doi.org/10.1016/j.ifacol.2022.11.033

Zobrazit plný text záznamu

Explainable AI through the Learning of Arguments

Autor: Jonas Bei, David Pomerenke, Lukas Schreiner, Sepideh Sharbaf, Pieter Collins, Nico Roos

Publikováno v: Maastricht University
Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN, 241-255
STARTPAGE=241;ENDPAGE=255;TITLE=Proceedings of BNAIC/BeneLearn 2021

Learning arguments is highly relevant to the field of explainable artificial intelligence. It is a family of symbolic machine learning techniques that is particularly human-interpretable. These techniques learn a set of arguments as an intermediate r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::605c3c829cf51f71f0eed18d8226aaf5

Zobrazit plný text záznamu

Automating Numerical Parameters Along the Evolution of a Nonlinear System

Autor: Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa

Publikováno v: RUNTIME VERIFICATION (RV 2022), 13498, 336-345
Runtime Verification ISBN: 9783031171956

When analysing cyber-physical systems for runtime verification purposes, reachability analysis can be used to identify whether the set of reached points stays within given safe bounds. If the system dynamics exhibits nonlinearity, approximate numeric

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dce6d901cc86e6a3ef3d269edccda979
http://hdl.handle.net/11562/1077066

Zobrazit plný text záznamu

Graph duality in surface dynamics

Autor: Kevin Mitchell, Pieter Collins

Publikováno v: Journal of Nonlinear Science, 29(5), 2103-2135. Springer Verlag

We compare one-dimensional representations for the isotopy stable dynamics of homeomorphisms in two dimensions. We consider the skeleton graph representative, which captures periodic behaviour, and the homotopy graph representative which captures hom

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ace7861e471cf0a1ce108f69b0db9a70
https://doi.org/10.1007/s00332-019-09549-0

Zobrazit plný text záznamu

Plný text ve formátu HTML

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Autor: Pieter Collins, Fabian Immler, Niklas Kochdumper, Christian Schilling, Luis Benet, Alexandre Chapoutot, Julien Alexandre Dit Sandretto, David P. Sanders, Xin Chen, Daniel Freire, Matthias Althoff, Luca Geretti, Marcelo Forets

Publikováno v: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
ARCH
EPiC Series in Computing volume 74

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40e5d218e327298b7d9e22f57c5b92c5

Zobrazit plný text záznamu

A computable and compositional semantics for hybrid automata

Autor: Tiziano Villa, Luca Geretti, Roberto Segala, Pieter Collins, Davide Bresolin, Sanja Živanović Gonzalez

Publikováno v: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 1-11
STARTPAGE=1;ENDPAGE=11;TITLE=HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
HSCC

Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be characterized faithfully using either only discrete or only continuous models. A good framework for hybrid systems should support their compositional descripti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c29c63eaa9c04d69fdefcc586c90985
http://hdl.handle.net/11562/1011864

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání