Search Results for author: Daniel Freire

Found 1 papers, 1 papers with code

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

1 code implementation22 Jun 2020 Marcelo Forets, Daniel Freire, Christian Schilling

In this paper we present an approach based on conservative set-based enclosure of the dynamics that can handle systems with uncertain parameters and inputs, where the uncertainties are bound to given intervals.

Cannot find the paper you are looking for? You can Submit a new open access paper.