Rigorous Continuous Evolution of Uncertain Systems

Geretti, Luca; Gonzalez, Sanja Živanović; Collins, Pieter; Bresolin, Davide; Villa, Tiziano

doi:10.1007/978-3-030-28423-7_4

Cited by 2 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The current automaton model does not have an explicit notion of input/output variables and events: instead, the input/output character is deduced based on the product of the components. Work is under way on the modeling of inputs using differential inclusions: evolution for the continuous case is already available [21], while the extension to the hybrid case is next on schedule. Consequently, as soon as differential inclusions are handled in the hybrid domain in Ariadne, it will be possible to perform system decomposition and to provide an experimental evaluation of the proposed methodology.…”

Section: Compositional Implementationsmentioning

confidence: 99%

A computable and compositional semantics for hybrid automata

Bresolin

Collins

Geretti

et al. 2020

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Self Cite

View full text Add to dashboard Cite

published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User

show abstract

Section: Compositional Implementationsmentioning

confidence: 99%

A computable and compositional semantics for hybrid automata

Bresolin

Collins

Geretti

et al. 2020

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Self Cite

View full text Add to dashboard Cite

show abstract

“…In our previous papers [29,30], the algorithm for obtaining an over-approximation in such a way was presented, derivation in the one-dimensional additive case with its corresponding error formula was given, cases of affine, step and sinusoidal auxiliary functions were revealed and some computational results were showcased. Here, we provide full derivation of the local error for a general input-affine system and extract formulas for the error in several cases.…”

Section: Introductionmentioning

confidence: 99%