Filtros de búsqueda

Lista de obras de Sergiy Bogomolov

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx

artículo científico publicado en 2012

Abstraction-Based Parameter Synthesis for Multiaffine Systems

artículo científico publicado en 2015

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

artículo científico publicado en 2015

Adaptive moment closure for parameter inference of biochemical reaction networks

artículo científico publicado en 2016

Composing Reachability Analyses of Hybrid Systems for Safety and Stability

artículo científico publicado en 2010

Counterexample-Guided Refinement of Template Polyhedra

artículo científico publicado en 2017

Discrete Abstraction of Multiaffine Systems

artículo científico publicado en 2016

Eliminating spurious transitions in reachability with support functions

artículo científico publicado en 2015

Falsification using Reachability of Surrogate Koopman Models

artículo científico publicado en 2024

Guided search for hybrid systems based on coarse-grained space abstractions.

artículo científico publicado en 2015

HYST

artículo científico publicado en 2015

HyRG

artículo científico publicado en 2015

Hybrid automata: from verification to implementation

artículo científico publicado en 2017

Parallel reachability analysis for hybrid systems ⬇️

artículo científico publicado en 2016

Parallel reachability analysis of hybrid systems in XSpeed

artículo científico publicado en 2018

Preface

artículo científico publicado en 2015

Quasi-dependent variables in hybrid automata

artículo científico publicado en 2014

Runtime Verification for Hybrid Analysis Tools

artículo científico publicado en 2015

Safety Verification for Random Ordinary Differential Equations

artículo científico publicado en 2020

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

artículo científico publicado en 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

artículo científico publicado en 2016

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

artículo científico publicado en 2015

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda