AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Reachability analysis for hybrid systems with nonlinear guard sets

HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydne..., pp.1-10, (2020)

Cited by: 0|Views4
EI
Get fulltext within 24h
Bibtex

Abstract

Reachability analysis is one of the most important methods for formal verification of hybrid systems. The main difficulty for hybrid system reachability analysis is to calculate the intersection between reachable set and guard sets. While there exist several approaches for guard sets defined by hyperplanes or polytopes, only few methods a...More

Code:

Data:

Author
Niklas Kochdumper
Niklas Kochdumper
Your rating :
0

 

Tags
Comments
小科